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

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)

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"
}