Verifying The Correctness Of Cryptographic Protocols Using "Convince".

Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin

Browse the full ACSAC paper archive.