Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
OČENÁŠEK, P.
Originální název
Evolutionary Approach in the Security Protocols Design
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
This paper proposes an evolutionary method that serves for designing security protocols. The principles of security protocols are outlined, followed by the specification of modal logic that is used to encode the belief and knowledge of communicating parties. The second part introduces the evolutionary optimization framework and proposes the techniques that can be used to automatically evolve basic security protocols.
Klíčová slova
Security protocol, design, verification, modal logic, genetic algorithm, evolution, chromosome, crossover, state space exploring
Autoři
Rok RIV
2005
Vydáno
15. 12. 2005
Nakladatel
Springer Verlag
Místo
University of Glamorgan
ISBN
1-84628-311-6
Kniha
Proceedings of the First European Conference on Computer Network Defence
Strany od
147
Strany do
156
Strany počet
10
URL
http://www.springerlink.com/content/t1j8n3500n6p6g4m/
BibTex
@inproceedings{BUT18276, author="Pavel {Očenášek}", title="Evolutionary Approach in the Security Protocols Design", booktitle="Proceedings of the First European Conference on Computer Network Defence", year="2005", pages="147--156", publisher="Springer Verlag", address="University of Glamorgan", isbn="1-84628-311-6", url="http://www.springerlink.com/content/t1j8n3500n6p6g4m/" }