Přístupnostní navigace
E-application
Search Search Close
Publication detail
OČENÁŠEK, P.
Original Title
Evolutionary Approach in the Security Protocols Design
Type
conference paper
Language
English
Original Abstract
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.
Keywords
Security protocol, design, verification, modal logic, genetic algorithm, evolution, chromosome, crossover, state space exploring
Authors
RIV year
2005
Released
15. 12. 2005
Publisher
Springer Verlag
Location
University of Glamorgan
ISBN
1-84628-311-6
Book
Proceedings of the First European Conference on Computer Network Defence
Pages from
147
Pages to
156
Pages count
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/" }