Result Details

Verifikace bezpečnostních protokolů

OČENÁŠEK, P. Verifikace bezpečnostních protokolů. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003. s. 211-213. ISBN: 80-214-2377-3.

Type

conference paper

Language

Czech

Authors

Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT)

Abstract

Práce se zabývá analýzou metod používaných k verifikaci bezpečnostních protokolů.

Keywords

formální verifikace, bezpečnostní protokoly

English keywords

formal verification, security protocols

Published

2003

Pages

211–213

Proceedings

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Conference

Student EEICT 2003

ISBN

80-214-2377-3

Publisher

Fakulta elektrotechniky a komunikačních technologií VUT v Brně

Place

Brno

BibTeX

@inproceedings{BUT14207,
  author="Pavel {Očenášek}",
  title="Verifikace bezpečnostních protokolů",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="211--213",
  publisher="Fakulta elektrotechniky a komunikačních technologií VUT v Brně",
  address="Brno",
  isbn="80-214-2377-3"
}

Research groups

NES@FIT - Networks and distributed systems research group (RG NES@FIT)

Departments

Department of Information Systems (DIFS)