A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System

2005 - Michael Backes, Markus Dürmuth

In Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW '05), June 2005.