Publication Details

Tools for Analysis and Simulation of Protocol Communication

OČENÁŠEK, P. Tools for Analysis and Simulation of Protocol Communication. EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007. p. 87-91. ISBN: 978-80-214-3470-7.

Czech title

Nástroje pro analýzu a simulaci protokolové komunikace

Type

conference paper

Language

English

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)

Keywords

Network, Tools, Protocol, Communication

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.

Published

2007

Pages

87–91

Proceedings

EDS '07 IMAPS CS International Conference Proceedings

Conference

International Conference on Electronic Devices and Systems 2007, Brno, CZ

ISBN

978-80-214-3470-7

Publisher

Brno University of Technology

Place

Brno

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