Publication result detail

Tools for Analysis and Simulation of Protocol Communication

OČENÁŠEK, P.

Original Title

Tools for Analysis and Simulation of Protocol Communication

English Title

Tools for Analysis and Simulation of Protocol Communication

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

Network, Tools, Protocol, Communication

Key words in English

Network, Tools, Protocol, Communication

Authors

OČENÁŠEK, P.

Released

20.09.2007

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3470-7

Book

EDS '07 IMAPS CS International Conference Proceedings

Pages from

87

Pages to

91

Pages count

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