An Approach to Automated Design of Security Protocols

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

  author =       "Pavel Ocenasek and Miroslav Sveda",
  title =        "An Approach to Automated Design of Security
  year =         "2006",
  booktitle =    "International Conference on Networking, International
                 Conference on Systems and International Conference on
                 Mobile Communications and Learning Technologies
  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

Genetic Programming entries for Pavel Ocenasek Miroslav Sveda