Publication Details

AVISPA: Towards Practical Verification of Communication Properties

OČENÁŠEK Pavel and ŠVÉDA Miroslav. AVISPA: Towards Practical Verification of Communication Properties. In: Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1, vol. 2009. Ostrava: IFAC, 2009, pp. 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
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
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
IFAC-PapersOnLine, 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, Rožnov pod Radhoštěm, CZ
ISBN
978-3-902661-41-8
Publisher
IFAC
Place
Ostrava, CZ
DOI
10.3182/20090210-3-CZ-4002.00030
BibTeX 
@INPROCEEDINGS{FITPUB8809,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Miroslav \v{S}v\'{e}da",
   title = "AVISPA: Towards Practical Verification of Communication Properties",
   pages = "153--156",
   booktitle = "Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems",
   series = "Programmable Devices and Embedded Systems, Volume \# 9 | Part\# 1",
   journal = "IFAC-PapersOnLine",
   volume = 2009,
   number = 2,
   year = 2009,
   location = "Ostrava, CZ",
   publisher = "IFAC",
   ISBN = "978-3-902661-41-8",
   ISSN = "1474-6670",
   doi = "10.3182/20090210-3-CZ-4002.00030",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8809"
}
Back to top