VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel.

Published in: SBMF (2018)

Keyphrases

comprehensive analysis
security mechanisms
payment systems
kernel function
feature space
third party
resource constrained