Conference paper

OČENÁŠEK Pavel. Evolutionary Approach in the Security Protocols Design. In: Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005, pp. 147-156. ISBN 1-84628-311-6.
Publication language:english
Original title:Evolutionary Approach in the Security Protocols Design
Title (cs):Evoluční přístup při návrhu bezpečnostních protokolů
Pages:147-156
Proceedings:Proceedings of the First European Conference on Computer Network Defence
Conference:1st European Conference on Computer Network Defence
Place:University of Glamorgan, GB
Year:2005
ISBN:1-84628-311-6
Publisher:Springer Verlag
URL:http://www.springerlink.com/content/t1j8n3500n6p6g4m/ [HTML]
Keywords
Security protocol, design, verification, modal logic, genetic algorithm, evolution, chromosome, crossover, state space exploring
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek},
   title = {Evolutionary Approach in the Security Protocols
	Design},
   pages = {147--156},
   booktitle = {Proceedings of the First European Conference on Computer
	Network Defence},
   year = 2005,
   location = {University of Glamorgan, GB},
   publisher = {Springer Verlag},
   ISBN = {1-84628-311-6},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7951}
}

Your IPv4 address: 3.81.28.94
Switch to https