AVISPA: Towards Practical Verification of Communication Properties

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU82555" target="_blank" >RIV/00216305:26230/09:PU82555 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.3182/20090210-3-CZ-4002.00030" target="_blank" >http://dx.doi.org/10.3182/20090210-3-CZ-4002.00030</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3182/20090210-3-CZ-4002.00030" target="_blank" >10.3182/20090210-3-CZ-4002.00030</a>

Result language
angličtina
Original language name
AVISPA: Towards Practical Verification of Communication Properties
Original language description
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).
Czech name
—
Czech description
—

Project
<a href="/en/project/GA102%2F08%2F1429" target="_blank" >GA102/08/1429: Safety and security of networked embedded system applications</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems
ISBN
978-3-902661-41-8
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
153-156
Publisher name
IFAC
Place of publication
Ostrava
Event location
Rožnov pod Radhoštěm
Event date
Feb 10, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)