Formal Verification of Cryptographic Protocols: A Survey (1995)

Cached

Download Links

by Catherine A. Meadows
Citations:98 - 1 self