Formal Analysis of the EMV Protocol Suite.

Joeri de RuiterErik Poll
Published in: TOSCA (2011)