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
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
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" }