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

Michael Backes, Markus Dürmuth

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

Tags: