Andre Scedrov Ran Canetti Joshua D. Guttman David Wagner Michael Waidner Relating Cryptography and Cryptographic Protocols. 111-114 2001 conf/csfw/2001 CSFW http://csdl.computer.org/comp/proceedings/csfw/2001/1146/00/11460111.pdf db/conf/csfw/csfw2001.html#ScedrovCGWW01