Detail publikace
Tools for Analysis and Simulation of Protocol Communication
OČENÁŠEK, P.
Originální název
Tools for Analysis and Simulation of Protocol Communication
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
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.
Klíčová slova
Network, Tools, Protocol, Communication
Autoři
OČENÁŠEK, P.
Rok RIV
2007
Vydáno
20. 9. 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"
}