Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:Specification of Traces in the Security Protocols Analysis
Název (cs):Specifikace kroků při analýze bezpečnostních protokolů
Strany:115-118
Sborník:Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Konference:33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Místo vydání:Dubrovnik, HR
Rok:2011
ISBN:978-953-7138-20-2
Vydavatel:Institute of Electrical and Electronics Engineers
Klíčová slova
Needham Schroeder, security protocol, analysis, verificaton.
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenáš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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9625}
}

Vaše IPv4 adresa: 54.80.69.152
Přepnout na IPv6 spojení

DNSSEC [dnssec]