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