Formal Analysis of the EMV Protocol Suite.

Joeri de Ruiter Erik Poll

Published in: TOSCA (2011)

Keyphrases

formal analysis
payment protocol
ban logic
formal methods
comprehensive analysis
agent model
low cost