Rong Du, Ernest Foo, Colin Boyd, Kim-Kwang Raymond Choo. Formal analysis of secure contracting protocol for e-tendering. In Rajkumar Buyya, Tianchi Ma, Reihaneh Safavi-Naini, Chris Steketee, Willy Susilo, editors, The proceedings of the Fourth Australasian Symposium on Grid Computing and e-Research (AusGrid 2006) and the Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), Hobart, Tasmania, Australia, January 2006. Volume 54 of CRPIT, pages 155-164, Australian Computer Society, 2006. [doi]
Abstract is missing.