Publication detail

On Inductive Approach in Security Protocol Verification

OČENÁŠEK, P.

Original Title

On Inductive Approach in Security Protocol Verification

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

inductive approach, communication protocols, security, formal verification

Authors

OČENÁŠEK, P.

RIV year

2004

Released

29. 4. 2004

Publisher

Faculty of Electrical Engineering and Communication BUT

Location

Brno

ISBN

80-214-2635-7

Book

Proceedings of the 10th Conference and Competition STUDENT EEICT 2004

Pages from

272

Pages to

276

Pages count

5

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