Publication Details

Specification of Traces in the Security Protocols Analysis

OČENÁŠEK, P. Specification of Traces in the Security Protocols Analysis. Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES. Dubrovnik: Institute of Electrical and Electronics Engineers, 2011. p. 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
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
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
ISBN
978-953-7138-20-2
Publisher
Institute of Electrical and Electronics Engineers
Place
Dubrovnik
BibTeX 
@inproceedings{BUT76347,
  author="Pavel {Očenášek}",
  title="Specification of Traces in the Security Protocols Analysis",
  booktitle="Proceedings of 33rd International Conference on INFORMATION TECHNOLOGY INTERFACES",
  year="2011",
  pages="115--118",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Dubrovnik",
  isbn="978-953-7138-20-2"
}
Back to top