Result 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.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., DIFS (FIT)
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
Published
2007
Pages
87–91
Proceedings
EDS '07 IMAPS CS International Conference Proceedings
Conference
IMAPS CS International Conference Electronic Devices and Systems 2007
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"
}
Projects
A Framework for Formal Specifications and Prototyping of Information System's Network Applications, GACR, Standardní projekty, GA102/05/0723, start: 2005-01-01, end: 2007-12-31, completed
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Architectures of Embedded Systems Networks, GACR, Standardní projekty, GA102/05/0467, start: 2005-01-01, end: 2007-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments