Detail výsledku

On Inductive Approach in Security Protocol Verification

OČENÁŠEK, P. On Inductive Approach in Security Protocol Verification. Proceedings of the 10th Conference and Competition STUDENT EEICT 2004. Brno: Faculty of Electrical Engineering and Communication BUT, 2004. p. 272-276. ISBN: 80-214-2635-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
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

Rok
2004
Strany
272–276
Sborník
Proceedings of the 10th Conference and Competition STUDENT EEICT 2004
Konference
Student EEICT 2004
ISBN
80-214-2635-7
Vydavatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
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"
}
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru