An Approach to Automated Design of Security Protocols

Created by W.Langdon from gp-bibliography.bib Revision:1.8051

@InProceedings{10.1109/ICNICONSMCL.2006.47,

• author = "Pavel Ocenasek and Miroslav Sveda",
• title = "An Approach to Automated Design of Security Protocols",
• year = "2006",
• booktitle = "International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06)",
• pages = "77",
• publisher = "IEEE Computer Society",
• keywords = "genetic algorithms, genetic programming",
• ISBN = "0-7695-2552-0",
• DOI = "doi:10.1109/ICNICONSMCL.2006.47",
• abstract = "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. automated system to designing protocols that can establish secure communication. Moreover, we compare analytical and automated technique that might be used in the design process.",

}

Genetic Programming entries for Pavel Ocenasek Miroslav Sveda

Citations