Formal models and techniques for analyzing security protocols
by Cortier, Véronique Kremer, Steve
Title Statements
- Full title :Formal models and techniques for analyzing security protocols.
Edition Statements
- Publication Date:2011.
Publication Statements
- Publisher(s):IOS
- Place of Publication:Amsterdam
- Language:eng
- Publication Date:2011.
The Physical Object
- Description:? ; : 303.
Edition Identifiers
- ISBN:9781607507130, 1607507137
- oclc:ocn840445074
Table of Contents
Machine generated contents note: Verifying a Bounded Number of Sessions and Its Complexity / Mathieu Turuani -- Constraint Solving Techniques and Enriching the Model with Equational Theories / Jonathan K. Millen -- Analysing Security Protocols Using CSP / Gavin Lowe -- Using Horn Clauses for Analyzing Security Protocols / Bruno Blanchet -- Applied pi Calculus / Ben Smyth -- Types for Security Protocols / Matteo Maffei -- Protocol Composition Logic / Stephan Hyeonjun Stiller -- Shapes: Surveying Crypto Protocol Runs / Joshua D. Guttman -- Security Analysis Using Rank Functions in CSP / Steve Schneider -- Computational Soundness -- The Case of Diffie-Hellman Keys / Bogdan Warinschi.
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Cybersecurity and applied mathematics
Epidemics and Rumours in Complex Networks
Rate & Review