A cryptographically sound Dolev-Yao style security proof of an electronic payment system (2005)

by Michael Backes, Markus Duermuth
Venue:In Proc. 18th IEEE Computer Security Foundations Workshop (CSFW’05