A Methodology for Protocol Verification Applied to EMV® 1.

Leo Freitas Paolo Modesti Martin Emms

Published in: SBMF (2018)

Keyphrases

comprehensive analysis
formal analysis
cryptographic protocols
information systems
lightweight
real time
data sharing