Fakulta informačních technologií VUT v Brně

Detail publikace

Automatic Design of Security Protocols

OČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovenská akademie věd, 2006, s. 49-54. ISBN 80-969202-2-7.
Název česky
Automatický návrh bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
URL
Abstrakt
Článek pojednává o automatickém návrhu bezpečnostních protokolů.
Rok
2006
Strany
49-54
Sborník
Počítačové architektúry & diagnostika 2006
Konference
Počítačové architektúry & diagnostika 2006 , Hotel Podjavorník, Papradno, Považská Bystrica, SK
ISBN
80-969202-2-7
Vydavatel
Slovenská akademie věd
Místo
Bratislava, SK
BibTeX
@INPROCEEDINGS{FITPUB8158,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Automatic Design of Security Protocols",
   pages = "49--54",
   booktitle = "Po\v{c}\'{i}ta\v{c}ov\'{e} architekt\'{u}ry \& diagnostika 2006",
   year = 2006,
   location = "Bratislava, SK",
   publisher = "Slovak Academy of Science",
   ISBN = "80-969202-2-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8158"
}
Nahoru