Detail publikačního výsledku

AVISPA: Towards Practical Verification of Communication Properties

OČENÁŠEK, P.; ŠVÉDA, M.

Original Title

AVISPA: Towards Practical Verification of Communication Properties

English Title

AVISPA: Towards Practical Verification of Communication Properties

Type

Paper in proceedings outside WoS and Scopus

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

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

Keywords

AVISPA, tool, HLPSL, communication properties, verification, education

Key words in English

AVISPA, tool, HLPSL, communication properties, verification, education

Authors

OČENÁŠEK, P.; ŠVÉDA, M.

RIV year

2010

Released

10.02.2009

Publisher

IFAC

Location

Ostrava

ISBN

978-3-902661-41-8

Book

Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems

Edition

Programmable Devices and Embedded Systems, Volume # 9 | Part# 1

ISBN

1474-6670

Periodical

Programmable devices and systems

Volume

2009

Number

2

State

United Kingdom of Great Britain and Northern Ireland

Pages from

153

Pages to

156

Pages count

4

Full text in the Digital Library

http://hdl.handle.net/

BibTex

@inproceedings{BUT33717,
  author="Pavel {Očenášek} and Miroslav {Švéda}",
  title="AVISPA: Towards Practical Verification of Communication Properties",
  booktitle="Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems",
  year="2009",
  series="Programmable Devices and Embedded Systems, Volume # 9 | Part# 1",
  journal="Programmable devices and systems",
  volume="2009",
  number="2",
  pages="153--156",
  publisher="IFAC",
  address="Ostrava",
  doi="10.3182/20090210-3-CZ-4002.00030",
  isbn="978-3-902661-41-8",
  issn="1474-6670"
}