DMCA

A Logic for Automatic Verification of Cryptographic Protocols (2007)

Cached

Download Links

by Jihong Han, et al.