Conference paper

OČENÁŠEK Pavel and ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, p. 4. ISBN 0-7695-2552-0.
Publication language:english
Original title:An Approach to Automated Design of Security Protocols
Title (cs):Přístup pro automatický návrh bezpečnostních protokolů
Pages:4
Proceedings:Proceedings of the International Conference on Networking (ICN 2006)
Conference:5th IEEE International Conference on Networking
Place:Los Alamitos, US
Year:2006
ISBN:0-7695-2552-0
Publisher:IEEE Computer Society
Keywords
Security Protocol, Automated Design, Verification, Evolutionary Approach, Genetic Algorithm, Genetic Programming
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek and Miroslav
	{\v{S}}v{\'{e}}da},
   title = {An Approach to Automated Design of Security
	Protocols},
   pages = {4},
   booktitle = {Proceedings of the International Conference on Networking
	(ICN 2006)},
   year = {2006},
   location = {Los Alamitos, US},
   publisher = {IEEE Computer Society},
   ISBN = {0-7695-2552-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8064}
}

Your IPv4 address: 34.230.84.215
Switch to https