Detail publikace

AVISPA: Towards Practical Verification of Communication Properties

Originální název

AVISPA: Towards Practical Verification of Communication Properties

Anglický název

AVISPA: Towards Practical Verification of Communication Properties

Jazyk

en

Originální abstrakt

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).

Anglický abstrakt

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{BUT33717,
  author="Pavel {Očenášek} and Miroslav {Švéda}",
  title="AVISPA: Towards Practical Verification of Communication Properties",
  annote="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).",
  address="IFAC",
  booktitle="Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems",
  chapter="33717",
  doi="10.3182/20090210-3-CZ-4002.00030",
  edition="Programmable Devices and Embedded Systems, Volume # 9 | Part# 1",
  howpublished="print",
  institution="IFAC",
  journal="Programmable devices and systems",
  number="2",
  year="2009",
  month="february",
  pages="153--156",
  publisher="IFAC",
  type="conference paper"
}