Result Details
Evolutionary Approach in the Security Protocols Design
OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design. Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005. p. 147-156. ISBN: 1-84628-311-6.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Abstract
This paper proposes an evolutionary method that serves for designingsecurity protocols. The principles of security protocols are outlined,followed by the specification of modal logic that is used to encode thebelief and knowledge of communicating parties. The second partintroduces the evolutionary optimization framework and proposes thetechniques that can be used to automatically evolve basic securityprotocols.
Keywords
Security protocol, design, verification, modal logic, genetic algorithm, evolution, chromosome, crossover, state space exploring
URL
Published
2005
Pages
147–156
Proceedings
Proceedings of the First European Conference on Computer Network Defence
Conference
1st European Conference on Computer Network Defence
ISBN
1-84628-311-6
Publisher
Springer Verlag
Place
University of Glamorgan
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/"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Research groups
Departments