Detail publikace

Verifikace bezpečnostních protokolů

OČENÁŠEK, P.

Originální název

Verifikace bezpečnostních protokolů

Anglický název

Verification of Security Protocols

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

čeština

Originální abstrakt

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

Anglický abstrakt

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.

Klíčová slova

formální verifikace, bezpečnostní protokoly

Klíčová slova v angličtině

formal verification, security protocols

Autoři

OČENÁŠEK, P.

Rok RIV

2004

Vydáno

24. 4. 2003

Nakladatel

Fakulta elektrotechniky a komunikačních technologií VUT

Místo

Brno

ISBN

80-214-2377-3

Kniha

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Strany od

211

Strany do

213

Strany počet

3

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",
  address="Brno",
  isbn="80-214-2377-3"
}