Detail publikace

On Inductive Approach in Security Protocol Verification

OČENÁŠEK, P. On Inductive Approach in Security Protocol Verification. Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004. p. 272-276. ISBN: 80-214-2635-7.
Název česky
Induktivní přístup při verifikaci bezpečnostních protokolů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS)
Klíčová slova

inductive approach, communication protocols, security, formal verification

Abstrakt

Tento příspěvek nastiňuje některé induktivní metody, které se používají pro verifikaci bezpečnostních protokolů. Nejprve je představena hlavní myšlenka induktivního přístupu, následuje popis nástroje Isabelle. Druhá část se zabývá popisem spi-kalkulu, který se používá při analýze bezpečnostních protokolů jako procesů využívajících komunikačních kanálů.

Rok
2004
Strany
272–276
Sborník
Proceedings of the 10th Conference and Competition STUDENT EEICT 2004
ISBN
80-214-2635-7
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
BibTeX 
@inproceedings{BUT16916,
  author="Pavel {Očenášek}",
  title="On Inductive Approach in Security Protocol Verification",
  booktitle="Proceedings of the 10th Conference and Competition STUDENT EEICT 2004",
  year="2004",
  pages="272--276",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2635-7"
}
Nahoru