Rong Du Ernest Foo Colin Boyd Kim-Kwang Raymond Choo Formal analysis of secure contracting protocol for e-tendering. 155-164 2006 conf/acsw/2006 ACSW Frontiers http://doi.acm.org/10.1145/1151828.1151847 db/conf/acsw/acsw2006.html#DuFBC06