6 search results - page 2 / 2 » Modeling Temporal Primitives: Back to Basics |
135
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...