Original title: Prostředky pro analýzu kryptografických protokolů
Translated title: Tools for analyzing security protocols
Authors: Duchovič, Adam ; Burda, Karel (referee) ; Pelka, Tomáš (advisor)
Document type: Master’s theses
Year: 2011
Language: slo
Publisher: Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií
Abstract: [slo] [eng]

Keywords: AVISPA; outputs copmaring methodology; Scyther; security protocol; verification

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: http://hdl.handle.net/11012/5373

Permalink: http://www.nusl.cz/ntk/nusl-598812


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Master’s theses
 Record created 2024-04-02, last modified 2024-04-03


No fulltext
  • Export as DC, NUŠL, RIS
  • Share