Publication Details

Using AVISPA in the Education of Network Security

OČENÁŠEK Pavel and TRCHALÍK Roman. Using AVISPA in the Education of Network Security. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 8. ISBN 978-80-214-3717-3.

Czech title

Použití nástroje AVISPA ve výuce bezpečnosti počítačových sítí

Type

conference paper

Language

english

Authors

Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Trchalík Roman, Mgr., Ph.D. (FIT BUT)

Keywords

AVISPA, education

Abstract

The paper presents the AVISPA tool in the education of network security.

Published

2008

Pages

Proceedings

EDS '08 IMAPS CS International Conference Proceedings

Conference

15th Electronic Devices and Systems IMAPS CS International Conference, Brno, CZ

ISBN

978-80-214-3717-3

Publisher

Brno University of Technology

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB8624,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Roman Trchal\'{i}k",
   title = "Using AVISPA in the Education of Network Security",
   pages = 8,
   booktitle = "EDS '08 IMAPS CS International Conference Proceedings",
   year = 2008,
   location = "Brno, CZ",
   publisher = "Brno University of Technology",
   ISBN = "978-80-214-3717-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8624"
}