A New Method for Formalizing Optimistic Fair Exchange Protocols.

Ming Chen, Kaigui Wu, Jie Xu, Pan He

Browse the full ICICS paper archive.