Conference paper

OČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006, pp. 49-54. ISBN 80-969202-2-7.
Publication language:english
Original title:Automatic Design of Security Protocols
Title (cs):Automatický návrh bezpečnostních protokolů
Pages:49-54
Proceedings:Počítačové architektúry & diagnostika 2006
Conference:Počítačové architektúry & diagnostika 2006
Place:Bratislava, SK
Year:2006
ISBN:80-969202-2-7
Publisher:Slovak Academy of Science
URL:http://www.ui.sav.sk/diag/pad06/program.html [HTML]
Keywords
Security Protocol, Design, Verification, Evolutionary Approach
Annotation
Security protocols are becoming widely used and many new protocols are being proposed. Since security protocols are notoriously difficult to design, computer assistance in the design process is desirable. This paper gives actual research results of the automated security protocols design. The research topic is very close to the author's dissertation.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=8158}
}

Your IPv4 address: 35.175.200.4