Detail publikace

Verifikace bezpečnostních protokolů

OČENÁŠEK, P.

Originální název

Verifikace bezpečnostních protokolů

Český název

Verifikace bezpečnostních protokolů

Typ

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

Jazyk

cs

Originální abstrakt

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

Český abstrakt

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

Klíčová slova

formální verifikace, bezpečnostní protokoly

Rok RIV

2004

Vydáno

24.04.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ů",
  annote="Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.",
  address="Fakulta elektrotechniky a komunikačních technologií VUT",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  chapter="14207",
  institution="Fakulta elektrotechniky a komunikačních technologií VUT",
  year="2003",
  month="april",
  pages="211--213",
  publisher="Fakulta elektrotechniky a komunikačních technologií VUT",
  type="conference paper"
}