Sign in

A formalization of card-based cryptographic protocols via abstract machine.

Takaaki MizukiHiroki Shizuya
Published in: Int. J. Inf. Sec. (2014)
Keyphrases
  • cryptographic protocols
  • abstract machine
  • smart card
  • authentication protocol
  • data model
  • standard model
  • security properties
  • low cost
  • security protocols
  • formal model
  • formal verification