Conference paper

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. Ostrava: IFAC, 2009, pp. 153-156. ISBN 978-3-902661-41-8. ISSN 1474-6670.
Publication language:english
Original title:AVISPA: Towards Practical Verification of Communication Properties
Title (cs):AVISPA: Praktické ověřování komunikačních vlastností
Pages:153-156
Proceedings:Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
Conference:IFAC Workshop on Programmable Devices and Embedded Systems
Series:Programmable Devices and Embedded Systems, Volume # 9 | Part# 1
Place:Ostrava, CZ
Year:2009
ISBN:978-3-902661-41-8
Journal:IFAC-PapersOnLine, Vol. 2009, No. 2, Laxenburg, AT
ISSN:1474-6670
Publisher:IFAC
Keywords
AVISPA, tool, HLPSL, communication properties, verification, education
Annotation
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).
BibTeX:
@INPROCEEDINGS{
   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},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8809}
}

Your IPv4 address: 54.81.195.240
Switch to IPv6 connection

DNSSEC [dnssec]