Detail výsledku

AVISPA: Towards Practical Verification of Communication Properties

OČENÁŠEK, P.; ŠVÉDA, M. AVISPA: Towards Practical Verification of Communication Properties. Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. no. 2, p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), UIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

This paper proposed an application of AVISPA tool in the area of verification of communication properties. The main part of the paper presents the AVISPA tool and its components and basic ideas of the HLPSL language. The paper concludes with the recent experiences of AVISPA application in the education of network security at the Faculty of Information Technology (Brno University of Technology, CZ).

Klíčová slova

AVISPA, tool, HLPSL, communication properties, verification, education

Rok
2009
Strany
153–156
Časopis
Programmable devices and systems, roč. 2009, č. 2, ISSN 1474-6670
Sborník
Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
Řada
Programmable Devices and Embedded Systems, Volume # 9 | Part# 1
Konference
IFAC Workshop on Programmable Devices and Embedded Systems
ISBN
978-3-902661-41-8
Vydavatel
IFAC
Místo
Ostrava
DOI
10.3182/20090210-3-CZ-4002.00030
BibTeX 
@inproceedings{BUT33717,
  author="Pavel {Očenášek} and Miroslav {Švéda}",
  title="AVISPA: Towards Practical Verification of Communication Properties",
  booktitle="Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems",
  year="2009",
  series="Programmable Devices and Embedded Systems, Volume # 9 | Part# 1",
  journal="Programmable devices and systems",
  volume="2009",
  number="2",
  pages="153--156",
  publisher="IFAC",
  address="Ostrava",
  doi="10.3182/20090210-3-CZ-4002.00030",
  isbn="978-3-902661-41-8",
  issn="1474-6670"
}
Projekty
ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, MZ, Ostatní programy MZ, ATLANTIS-DESIRE, zahájení: 2008-10-01, ukončení: 2013-09-30, ukončen
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-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