Formal analysis of an anonymous fair exchange e-commerce protocol | IEEE Conference Publication | IEEE Xplore