An Approach to the Formal Verification of Cryptographic Protocols (1996)

Cached

Download Links

by Dominique Bolignano
Venue:In Third ACM Conference on Computer and Communications Security
Citations:45 - 2 self