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