Detail publikace

AVISPA: Towards Practical Verification of Communication Properties

OČENÁŠEK, P. ŠVÉDA, M.

Originální název

AVISPA: Towards Practical Verification of Communication Properties

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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

Autoři

OČENÁŠEK, P.; ŠVÉDA, M.

Rok RIV

2009

Vydáno

10. 2. 2009

Nakladatel

IFAC

Místo

Ostrava

ISBN

978-3-902661-41-8

Kniha

Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems

Edice

Programmable Devices and Embedded Systems, Volume # 9 | Part# 1

ISSN

1474-6670

Periodikum

Programmable devices and systems

Ročník

2009

Číslo

2

Stát

Spojené království Velké Británie a Severního Irska

Strany od

153

Strany do

156

Strany počet

4

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"
}