Detail publikace

On Inductive Approach in Security Protocol Verification

OČENÁŠEK, P.

Originální název

On Inductive Approach in Security Protocol Verification

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

inductive approach, communication protocols, security, formal verification

Autoři

OČENÁŠEK, P.

Rok RIV

2004

Vydáno

29. 4. 2004

Nakladatel

Faculty of Electrical Engineering and Communication BUT

Místo

Brno

ISBN

80-214-2635-7

Kniha

Proceedings of the 10th Conference and Competition STUDENT EEICT 2004

Strany od

272

Strany do

276

Strany počet

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