Anish Mathuria Using a Formal Technique for Protocol Idealization: A Cautionary Note. 468-472 2002 conf/dexaw/2002 DEXA Workshops http://computer.org/proceedings/dexa/1668/16680468abs.htm db/conf/dexaw/dexaw2002.html#Mathuria02