Conference paper

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.
Publication language:czech
Original title:Verifikace bezpečnostních protokolů
Title (en):Verification of Security Protocols
Pages:211-213
Proceedings:Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Conference:ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003
Place:Brno, CZ
Year:2003
ISBN:80-214-2377-3
Publisher:Faculty of Electrical Engineering and Communication BUT
Keywords
formal verification, security protocols
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7285}
}

Your IPv4 address: 54.221.76.68
Switch to IPv6 connection

DNSSEC [dnssec]