Category: Cryptography 2006 Proxy cryptography Apr 22 2006 Automatically verifying security properties Apr 12 2006