Steve Kremer: Formal Models and Techniques for Analyzing Security Protocols

Formal Models and Techniques for Analyzing Security Protocols

Véronique Cortier and Steve Kremer, editors. Formal Models and Techniques for Analyzing Security Protocols, Cryptology and Information Security Series 5, IOS Press, 2011.

Download

[HTML]

Abstract

(unavailable)

BibTeX

@book{CK-ios2011,
  editor =        {Cortier, V\'{e}ronique and Kremer, Steve},
  publisher =     {{IOS} Press},
  series =        {Cryptology and Information Security Series},
  title =         {Formal Models and Techniques for Analyzing Security
                   Protocols},
  volume =        {5},
  year =          {2011},
  url =           {http://www.iospress.nl/loadtop/load.php?isbn=9781607507130},
}