The EMVCo (EMV® is a registered trademark or trademark of EMVCo, LLC in the US and other countries.) organisation (i.e. MasterCard, Visa, etc.) protocols facilitate worldwide interoperability of secure electronic payments. Despite recent advances, it has proved difficult for academia to provide an acceptable solution to construction of secure applications within industry’s constraints. In this paper, we describe a methodology we have applied to EMV1. It involves domain specific languages and verification tools targeting different analysis of interest. We are currently collaborating with EMVCo on their upcoming EMV® 2 nd Generation (EMV2) specifications.
CITATION STYLE
Freitas, L., Modesti, P., & Emms, M. (2018). A methodology for protocol verification applied to EMV® 1. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11254 LNCS, pp. 180–197). Springer Verlag. https://doi.org/10.1007/978-3-030-03044-5_12
Mendeley helps you to discover research relevant for your work.