Location & Availability for: Formal models and techniques for analyzi

 Staff view

You must be logged in to Tag Records

Formal models and techniques for analyzing security protocols [electronic resource] /

edited by VĂ©ronique Cortier and Steve Kremer.

Book Cover
Published: Washington, D.C. : IOS Press, 2011.
Series: Cryptology and information security series ; v. 5.
Topics: Computer security.
Genres: Electronic books.
Online Access: Link to Formal models and techniques for analyzing security protocols (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Formal models and techniques for analyzi