Formal Analysis of E-Cash Protocols.

Jannik Dreier Ali Kassem Pascal Lafourcade

Published in: SECRYPT (2015)

Keyphrases

formal analysis
payment protocol
smart card
formal methods
electronic cash
agent model
lightweight
security protocols
ban logic
database
multi agent systems
software engineering
low cost