A Methodology for Protocol Verification Applied to EMV 1

Leo Freitas, Paolo Modesti, Martin Emms

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    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.

    Original languageEnglish
    Title of host publicationFormal Methods
    Subtitle of host publicationFoundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings
    EditorsTiago Massoni, Mohammad Reza Mousavi
    PublisherSpringer
    Pages180-197
    Number of pages18
    Volume11254
    ISBN (Print)9783030030438
    DOIs
    Publication statusPublished - 2018

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume11254 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Fingerprint Dive into the research topics of 'A Methodology for Protocol Verification Applied to EMV 1'. Together they form a unique fingerprint.

  • Profiles

    Cite this

    Freitas, L., Modesti, P., & Emms, M. (2018). A Methodology for Protocol Verification Applied to EMV 1. In T. Massoni, & M. R. Mousavi (Eds.), Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings (Vol. 11254, pp. 180-197). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11254 LNCS). Springer. https://doi.org/10.1007/978-3-030-03044-5_12