Verification of Security Properties in Electronic Payment Protocols (2002)

by M Panti, L Spalazzi, S Tacconi
Venue:In: Proceedings of the ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security