Detail publikace

On Inductive Approach in Security Protocol Verification

OČENÁŠEK Pavel. On Inductive Approach in Security Protocol Verification. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
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
Konference
Student EEICT 2004, Brno, CZ
ISBN
80-214-2635-7
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7421,
   author = "Pavel O\v{c}en\'{a}\v{s}ek",
   title = "On Inductive Approach in Security Protocol Verification",
   pages = "272--276",
   booktitle = "Proceedings of the 10th Conference and Competition STUDENT EEICT 2004",
   year = 2004,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2635-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7421"
}
Nahoru