Publication Details

Verifikace bezpečnostních protokolů

OČENÁŠEK, P. Verifikace bezpečnostních protokolů. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003. s. 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. (FIT)

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

Student EEICT 2003, Brno, CZ

ISBN

80-214-2377-3

Publisher

Fakulta elektrotechniky a komunikačních technologií VUT v Brně

Place

Brno

BibTeX

@inproceedings{BUT14207,
  author="Pavel {Očenášek}",
  title="Verifikace bezpečnostních protokolů",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="211--213",
  publisher="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
  address="Brno",
  isbn="80-214-2377-3"
}