Faculty of Information Technology, BUT

Publication Details

Specification of Traces in the Security Protocols Analysis

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.
Czech title
Specifikace kroků při analýze bezpečnostních protokolů
Type
conference paper
Language
english
Authors
Keywords
Needham Schroeder, security protocol, analysis, verificaton.
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.
Published
2011
Pages
115-118
Proceedings
Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES
Conference
33rd International Conference on INFORMATION TECHNOLOGY INTERFACES, Cavtat/Dubrovník, HR
ISBN
978-953-7138-20-2
Publisher
Institute of Electrical and Electronics Engineers
Place
Dubrovnik, HR
BibTeX
@INPROCEEDINGS{FITPUB9625,
   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 = "https://www.fit.vut.cz/research/publication/9625"
}
Back to top