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

Takaaki Mizuki Hiroki 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