Detail publikace

Towards Selected Problems in the Security Protocol Design and Verification

OČENÁŠEK, P. Towards Selected Problems in the Security Protocol Design and Verification. Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005. p. 1-9.
Název česky
Vybrané problémy návrhu a verifikace bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
URL
Klíčová slova

security protocol, design, verification

Abstrakt

Příspěvek nastiňuje vybrané problémy návrhu a verifikace bezpečnostních protokolů.

Rok
2005
Strany
1–9
Sborník
Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
Vydavatel
Faculty of Informatics MU
Místo
Brno
BibTeX 
@inproceedings{BUT18068,
  author="Pavel {Očenášek}",
  title="Towards Selected Problems in the Security Protocol Design and Verification",
  booktitle="Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)",
  year="2005",
  pages="1--9",
  publisher="Faculty of Informatics MU",
  address="Brno",
  url="http://www.fi.muni.cz/memics05/program.html"
}
Nahoru