Článek ve sborníku konference

 
Očenášek, P.: Specification of Traces in the Security Protocols Analysis, In: Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Dubrovnik, HR, IEEE, 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?id=9625}
}