Detail publikace
Towards Selected Problems in the Security Protocol Design and Verification
OČENÁŠEK Pavel. Towards Selected Problems in the Security Protocol Design and Verification. In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Fakulta informatiky MU, 2005, s. 9.
Název česky
Vybrané problémy návrhu a verifikace bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
URL
Abstrakt
Příspěvek nastiňuje vybrané problémy návrhu a verifikace bezpečnostních protokolů.
Rok
2005
Strany
9
Sborník
Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Konference
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS 2005, Znojmo, CZ
Vydavatel
Fakulta informatiky MU
Místo
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB7892, author = "Pavel O\v{c}en\'{a}\v{s}ek", title = "Towards Selected Problems in the Security Protocol Design and Verification", pages = 9, booktitle = "Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)", year = 2005, location = "Brno, CZ", publisher = "Faculty of Informatics MU", language = "english", url = "https://www.fit.vut.cz/research/publication/7892" }