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.
Michael Backes, Markus Dürmuth
In Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW '05), June 2005.