Detail publikačního výsledku

An Approach to Automated Design of Security Protocols

OČENÁŠEK, P.; ŠVÉDA, M.

Originální název

An Approach to Automated Design of Security Protocols

Anglický název

An Approach to Automated Design of Security Protocols

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

OČENÁŠEK, P.; ŠVÉDA, M.

Rok RIV

2010

Vydáno

23.04.2006

Nakladatel

IEEE Computer Society

Místo

Los Alamitos

ISBN

0-7695-2552-0

Kniha

Proceedings of the International Conference on Networking (ICN 2006)

Strany od

192

Strany do

195

Strany počet

4

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"
}