Verification of Security Protocols

1 pages•Published: May 15, 2012

Abstract

Security protocols are short programs aiming at securing communications over a network. They are widely used in our everyday life. Their verification using symbolic models has shown its interest for detecting attacks and proving security properties. In particular, several automatic tools have been developed and are used to efficiently detect flaws.

In this talk, we will first review results and techniques that allow automatic analysis of security protocols. In a second part, we will present recent results that demonstrate that formal abstract models used for verification are actually sound with respect to much richer models that considers issues of complexity and probability. As a consequence, it is possible to derive strong, clear security guarantees still keeping the simplicity of reasoning in symbolic models.

In: Markus Aderhold, Serge Autexier and Heiko Mantel (editors). VERIFY-2010. 6th International Verification Workshop, vol 3, pages 1.

Links:	https://easychair.org/publications/paper/14T
	https://doi.org/10.29007/2dc6

BibTeX entry

@inproceedings{VERIFY-2010:Verification_Security_Protocols,
  author    = {Vèronique Cortier},
  title     = {Verification of Security Protocols},
  booktitle = {VERIFY-2010. 6th International Verification Workshop},
  editor    = {Markus Aderhold and Serge Autexier and Heiko Mantel},
  series    = {EPiC Series in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/14T},
  doi       = {10.29007/2dc6},
  pages     = {1},
  year      = {2012}}

Download PDF Open PDF in browser