Faculty of Information Technology, BUT

Publication Details

Tools for Analysis and Simulation of Protocol Communication

OČENÁŠEK Pavel. Tools for Analysis and Simulation of Protocol Communication. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007, pp. 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
Keywords
Network, Tools, Protocol, Communication
Abstract
This paper deals with the tools used for analysis of communication protocols. It is focused particularly on the area of security protocols. In the first 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 is given along with their characteristics for the use with security protocols. The final part of the paper summarizes the advantages and disadvantages of different principles that are used in the presented tools.
Published
2007
Pages
87-91
Proceedings
EDS '07 IMAPS CS International Conference Proceedings
Conference
IMAPS CS International Conference Electronic Devices and Systems 2007, Brno, CZ
ISBN
978-80-214-3470-7
Publisher
Brno University of Technology
Place
Brno, CZ
BibTeX
@INPROCEEDINGS{FITPUB8385,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "Tools for Analysis and Simulation of Protocol Communication",
   pages = "87--91",
   booktitle = "EDS '07 IMAPS CS International Conference Proceedings",
   year = 2007,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-3470-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8385"
}
Back to top