Detail publikace

An Approach to Automated Design of Security Protocols

OČENÁŠEK, P.; ŠVÉDA, M. An Approach to Automated Design of Security Protocols. In Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006. p. 192-0. 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
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

Security Protocol, Automated Design, Verification, Evolutionary Approach, Genetic Algorithm, Genetic Programming

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)
ISBN
0-7695-2552-0
Vydavatel
IEEE Computer Society
Místo
Los Alamitos
BibTeX 
@inproceedings{BUT22200,
  author="Pavel {Očenášek} and Miroslav {Švéda}",
  title="An Approach to Automated Design of Security Protocols",
  booktitle="Proceedings of the International Conference on Networking (ICN 2006)",
  year="2006",
  pages="4",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="0-7695-2552-0"
}
Nahoru