Publication Details

Verifikace bezpečnostních protokolů

OČENÁŠEK Pavel. Verifikace bezpečnostních protokolů. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 211-213. ISBN 80-214-2377-3.
English title
Verification of Security Protocols
Type
conference paper
Language
czech
Authors
Keywords

formal verification, security protocols

Abstract

Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified in detail, we cannot be certain what constitutes a flaw. The paper attempts to draw some general lessons on the use of formalism. It outlines the problem area, emphasizing the notion of freshness. It describes how a protocol can be specified using several formal methods.

Published
2003
Pages
211-213
Proceedings
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Conference
ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003, Brno, CZ
ISBN
80-214-2377-3
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7285,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Verifikace bezpe\v{c}nostn\'{i}ch protokol\r{u}",
   pages = "211--213",
   booktitle = "Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
   year = 2003,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2377-3",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/7285"
}
Back to top