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