Conference paper

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, pp. 115-118. ISBN 978-953-7138-20-2.
Publication language:english
Original title:Specification of Traces in the Security Protocols Analysis
Title (cs):Specifikace kroků při analýze bezpečnostních protokolů
Pages:115-118
Proceedings:Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Conference:33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Place:Dubrovnik, HR
Year:2011
ISBN:978-953-7138-20-2
Publisher:Institute of Electrical and Electronics Engineers
Keywords
Needham Schroeder, security protocol, analysis, verificaton.
Annotation
The paper demonstrates the security protocol analysis with the step-by-step approach. The analysis is performed from each party's point of view and is followed with the operational analysis of message exchanges.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=9625}
}

Your IPv4 address: 23.20.86.177
Switch to IPv6 connection

DNSSEC [dnssec]