Omer Horvitz Virgil D. Gligor Weak Key Authenticity and the Computational Completeness of Formal Encryption. 530-547 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2729&spage=530 2003 conf/crypto/2003 CRYPTO db/conf/crypto/crypto2003.html#HorvitzG03