Publication detail

Verifikace bezpečnostních protokolů

OČENÁŠEK, P.

Original Title

Verifikace bezpečnostních protokolů

Czech Title

Verifikace bezpečnostních protokolů

Language

cs

Original Abstract

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

Czech abstract

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

Documents

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