DocumentCode
548670
Title
Specification of traces in the security protocols analysis
Author
Ocenasek, Pavel
Author_Institution
Fac. of Inf. Technol., Brno Univ. of Technol., Brno, Czech Republic
fYear
2011
fDate
27-30 June 2011
Firstpage
115
Lastpage
118
Abstract
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.
Keywords
cryptographic protocols; formal specification; message exchanges; security protocols analysis; step-by-step approach; Needham Schroeder; analysis; security protocol; verificaton;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology Interfaces (ITI), Proceedings of the ITI 2011 33rd International Conference on
Conference_Location
Dubrovnik
ISSN
1330-1012
Print_ISBN
978-1-61284-897-6
Electronic_ISBN
1330-1012
Type
conf
Filename
5974005
Link To Document