| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 722031 | IFAC Proceedings Volumes | 2009 | 4 Pages |
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).
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
