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

researchr

You are not signed in
Sign in
Sign up

Michael Backes, Markus Dürmuth. A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System. In 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France. pages 78-93, IEEE Computer Society, 2005. [doi]

This author has not been identified. Look up 'Michael Backes' in GoogleThis author has not been identified. Look up 'Markus Dürmuth' in Google

runs on WebDSL