Sign in

A Methodology for Protocol Verification Applied to EMV® 1.

Leo FreitasPaolo ModestiMartin Emms
Published in: SBMF (2018)
Keyphrases
  • comprehensive analysis
  • formal analysis
  • cryptographic protocols
  • information systems
  • lightweight
  • real time
  • data sharing