Result 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. no. 2, p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670.
Type
conference paper
Language
English
Authors
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), DIFS (FIT)
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
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).
Keywords
AVISPA, tool, HLPSL, communication properties, verification, education
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
Conference
IFAC Workshop on Programmable Devices and Embedded Systems
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"
}
Projects
ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience, MZ, Ostatní programy MZ, ATLANTIS-DESIRE, start: 2008-10-01, end: 2013-09-30, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-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
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-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