Detail publikace

Specification of Traces in the Security Protocols Analysis

OČENÁŠEK, P. Specification of Traces in the Security Protocols Analysis. Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 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
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Klíčová slova

Needham Schroeder, security protocol, analysis, verificaton.

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
ISBN
978-953-7138-20-2
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Dubrovnik
BibTeX 
@inproceedings{BUT76347,
  author="Pavel {Očenášek}",
  title="Specification of Traces in the Security Protocols Analysis",
  booktitle="Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES",
  year="2011",
  pages="115--118",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Dubrovnik",
  isbn="978-953-7138-20-2"
}
Nahoru