Publication Details
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. p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
Czech title
AVISPA: Praktické ověřování komunikačních vlastností
Type
conference paper
Language
English
Authors
Keywords
AVISPA, tool, HLPSL, communication properties, verification, education
Abstract
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).
Published
2009
Pages
153–156
Journal
Programmable devices and systems, vol. 2009, no. 2, ISSN 1474-6670
Proceedings
Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
Series
Programmable Devices and Embedded Systems, Volume # 9 | Part# 1
ISBN
978-3-902661-41-8
Publisher
IFAC
Place
Ostrava
DOI
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"
}