Detail publikace

Security Protocols: Analysis and Design

OČENÁŠEK, P.

Originální název

Security Protocols: Analysis and Design

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

The security protocols are used to establish secure communication over insecure open networks and distributed systems. In the first part of this paper the brief introduction to the analysis and design area is given, followed by the description of the author's presented evolutionary approach, which seems to be useful for automating the security protocol design.

Klíčová slova

Security protocol, analysis, design, verification, genetic algorithm, evolutionary approach

Autoři

OČENÁŠEK, P.

Rok RIV

2006

Vydáno

19. 4. 2006

Nakladatel

Technical University Wien

Místo

Vienna

ISBN

3-902463-05-8

Kniha

Proceedings of the Junior Scientist Conference 2006

Strany od

51

Strany do

52

Strany počet

2

BibTex

@inproceedings{BUT22184,
  author="Pavel {Očenášek}",
  title="Security Protocols: Analysis and Design",
  booktitle="Proceedings of the Junior Scientist Conference 2006",
  year="2006",
  pages="51--52",
  publisher="Technical University Wien",
  address="Vienna",
  isbn="3-902463-05-8"
}