Detail publikace

An Approach to Automated Design of Security Protocols

OČENÁŠEK Pavel a ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, s. 4. ISBN 0-7695-2552-0.
Název česky
Přístup pro 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)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt

Tento článek prezentuje formální přístup, který je určen pro podporu návrhu bezpečnostních protokolů.

Rok
2006
Strany
4
Sborník
Proceedings of the International Conference on Networking (ICN 2006)
Konference
5th IEEE International Conference on Networking , Morne, MU
ISBN
0-7695-2552-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos, US
BibTeX 
@INPROCEEDINGS{FITPUB8064,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Miroslav \v{S}v\'{e}da",
   title = "An Approach to Automated Design of Security Protocols",
   pages = 4,
   booktitle = "Proceedings of the International Conference on Networking (ICN 2006)",
   year = 2006,
   location = "Los Alamitos, US",
   publisher = "IEEE Computer Society",
   ISBN = "0-7695-2552-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8064"
}
Nahoru