Result 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.
Abstract

Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.

English 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.

Keywords

formální verifikace, bezpečnostní protokoly

English keywords

formal verification, security protocols

Published
2003
Pages
211–213
Proceedings
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Conference
Student EEICT 2003
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"
}
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top