An Approach to Automated Design of Security Protocols

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

@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