Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
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

Rok
2007
Strany
87–91
Sborník
EDS '07 IMAPS CS International Conference Proceedings
Konference
IMAPS CS International Conference Electronic Devices and Systems 2007
ISBN
978-80-214-3470-7
Vydavatel
Brno University of Technology
Místo
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"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru