Analysis of an Anonymous Fair Exchange Protocol

Summary

We modeled and analyzed the protocol described in Indrakshi and Indrajit Ray’s paper “An Anonymous Fair Exchange E-commerce Protocol”. We modeled the protocol in the Reactive Modules language of Mocha

Project report: html, pdf

Presentation Slides: ppt, pdf

Source Files: download

Last updated: November 19, 2004.