Článek ve sborníku konference

 
Očenášek, P.: 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, CZ, FI MUNI, 2005, s. 9
Jazyk publikace:angličtina
Název publikace:Towards Selected Problems in the Security Protocol Design and Verification
Název (cs):Vybrané problémy návrhu a verifikace bezpečnostních protokolů
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
Místo vydání:Brno, CZ
Rok:2005
Vydavatel:Fakulta informatiky MU
URL:http://www.fi.muni.cz/memics05/program.html [HTML]
Klíčová slova
security protocol, design, verification
Anotace
Příspěvek nastiňuje vybrané problémy návrhu a verifikace bezpečnostních protokolů.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenáš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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=7892}
}