Publication detail

On Inductive Approach in Security Protocol Verification

OČENÁŠEK, P.

Original Title

On Inductive Approach in Security Protocol Verification

English Title

On Inductive Approach in Security Protocol Verification

Type

conference paper

Language

en

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.

English 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

RIV year

2004

Released

29.04.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",
  annote="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.", address="Faculty of Electrical Engineering and Communication BUT", booktitle="Proceedings of the 10th Conference and Competition STUDENT EEICT 2004", chapter="16916", institution="Faculty of Electrical Engineering and Communication BUT", year="2004", month="april", pages="272--276", publisher="Faculty of Electrical Engineering and Communication BUT", type="conference paper" }