Publication Details

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: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 272-276. ISBN 80-214-2635-7.

Czech title

Induktivní přístup při verifikaci bezpečnostních protokolů

Type

conference paper

Language

english

Authors

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

Keywords

inductive approach, communication protocols, security, formal verification

Abstract

This paper outlines some inductive methods that are used in verification of security protocols. The basic idea of inductive proof is outlined, followed by the description of the popular theorem prover Isabelle. The second part covers the description of spi-calculus which can be used
to analyze security protocols as concurrent processes over communication channels.

Published

2004

Pages

272-276

Proceedings

Proceedings of the 10th Conference and Competition STUDENT EEICT 2004

Conference

Student EEICT 2004, Brno, CZ

ISBN

80-214-2635-7

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

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"
}