Detail publikačního výsledku

Tools for Analysis and Simulation of Protocol Communication

OČENÁŠEK, P.

Originální název

Tools for Analysis and Simulation of Protocol Communication

Anglický název

Tools for Analysis and Simulation of Protocol Communication

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This paper deals with the tools used for analysis of communicationprotocols. It is focused particularly on the area of security protocols. In thefirst part the introduction to the analysis and formal methods is given,followed by the description of the tools available in the area of network protocols.Above the state of the art presentation, the comparison of presented tools isgiven along with their characteristics for the use with security protocols. Thefinal part of the paper summarizes the advantages and disadvantages ofdifferent principles that are used in the presented tools.

Anglický abstrakt

This paper deals with the tools used for analysis of communicationprotocols. It is focused particularly on the area of security protocols. In thefirst part the introduction to the analysis and formal methods is given,followed by the description of the tools available in the area of network protocols.Above the state of the art presentation, the comparison of presented tools isgiven along with their characteristics for the use with security protocols. Thefinal part of the paper summarizes the advantages and disadvantages ofdifferent principles that are used in the presented tools.

Klíčová slova

Network, Tools, Protocol, Communication

Klíčová slova v angličtině

Network, Tools, Protocol, Communication

Autoři

OČENÁŠEK, P.

Vydáno

20.09.2007

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

978-80-214-3470-7

Kniha

EDS '07 IMAPS CS International Conference Proceedings

Strany od

87

Strany do

91

Strany počet

5

BibTex

@inproceedings{BUT28810,
  author="Pavel {Očenášek}",
  title="Tools for Analysis and Simulation of Protocol Communication",
  booktitle="EDS '07 IMAPS CS International Conference Proceedings",
  year="2007",
  pages="87--91",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3470-7"
}