Result Details

An Approach to Automated Design of Security Protocols

OČENÁŠEK, P.; ŠVÉDA, M. An Approach to Automated Design of Security Protocols. Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006. p. 192-195. ISBN: 0-7695-2552-0.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Abstract

This paper deals with a formal specification approach that supports the design of security protocols. After introduction to communication protocols and description of the current problems in the design process, the subsequent section of the paper reviews a framework that is based on the genetic-programming approach. The original contribution consists of presentation of automated system to demonstrate the utilization of this approach for designing protocols that can establish secure communication. Moreover, this paper compares analytical and automated technique that might be used in the design process.

Keywords

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

Published
2006
Pages
192–195
Proceedings
Proceedings of the International Conference on Networking (ICN 2006)
Conference
5th IEEE International Conference on Networking
ISBN
0-7695-2552-0
Publisher
IEEE Computer Society
Place
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="192--195",
  publisher="IEEE Computer Society",
  address="Los Alamitos",
  isbn="0-7695-2552-0"
}
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
Research groups
NES@FIT - Networks and distributed systems research group (RG NES@FIT)
Departments
Department of Information Systems (DIFS)
Back to top