Mauricio Papa Oliver Bremer John Hale Sujeet Shenoi Formal Analysis of E-Commerce Protocols. 19-28 2001 ISADS http://computer.org/proceedings/isads/1065/10650019abs.htm db/conf/isads/isads2001.html#PapaBHS01