Formal models and techniques for analyzing security protocols

Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer. - Washington, D.C. : IOS Press, 2011. - vii, 303 p. : ill. - Cryptology and information security series, v. 5 1871-6431 ; . - Cryptology and information security series ; v. 5. .

Includes bibliographical references and index.


Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.






Computer security.


Electronic books.

QA76.9.A25 / F67 2011eb