Normal view MARC view ISBD view

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Blanchet

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif - Now Foundations and Trends 2017-12-15

ISBN: 9781680832068 9781680832075

Subjects--Topical Terms:
Computing and Processing

Print
Suggest for purchase
Send to device
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)