Inproceedings,

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

, and .
CSFW, page 78-93. IEEE Computer Society, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews