Detail publikace

Specification of Traces in the Security Protocols Analysis

OČENÁŠEK Pavel. Specification of Traces in the Security Protocols Analysis. In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011, s. 115-118. ISBN 978-953-7138-20-2.
Název česky
Specifikace kroků při analýze bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Abstrakt

Tento článek demonstruje analýzu bezpečnostního protokolu při použití přístupu "krok-za-krokem". Analýza je provedena z pohledu jednotlivých subjektů a tuto pak následuje analýza výměny zpráv.

Rok
2011
Strany
115-118
Sborník
Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Konference
33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Cavtat/Dubrovník, HR
ISBN
978-953-7138-20-2
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Dubrovnik, HR
BibTeX 
@INPROCEEDINGS{FITPUB9625,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Specification of Traces in the Security Protocols Analysis",
   pages = "115--118",
   booktitle = "Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES",
   year = 2011,
   location = "Dubrovnik, HR",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-953-7138-20-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9625"
}
Nahoru