A Methodology for Protocol Verification Applied to EMV 1

Leo Freitas; Paolo Modesti; Martin Emms

doi:10.1007/978-3-030-03044-5_12

A Methodology for Protocol Verification Applied to EMV 1

Leo Freitas, Paolo Modesti, Martin Emms

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

162 Downloads (Pure)

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 language	English
Title of host publication	Formal Methods
Subtitle of host publication	Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings
Editors	Tiago Massoni, Mohammad Reza Mousavi
Publisher	Springer
Pages	180-197
Number of pages	18
Volume	11254
ISBN (Print)	9783030030438
DOIs	https://doi.org/10.1007/978-3-030-03044-5_12
Publication status	Published - 2018

Publication series

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

Access to Document

10.1007/978-3-030-03044-5_12Licence: Unspecified

Full textAccepted author manuscript, 197 KBLicence: CC BY-NC-ND

https://doi.org/10.1007/978-3-030-03044-5_12Licence: Unspecified

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

Freitas, Leo ; Modesti, Paolo ; Emms, Martin. / A Methodology for Protocol Verification Applied to EMV 1. Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. editor / Tiago Massoni ; Mohammad Reza Mousavi. Vol. 11254 Springer, 2018. pp. 180-197 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{783eea3aa4ec4af5a7af367df5962af3,

title = "A Methodology for Protocol Verification Applied to EMV 1",

abstract = "The EMVCo (EMV{\textregistered} 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{\textquoteright}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{\textregistered} 2 nd Generation (EMV2) specifications. ",

author = "Leo Freitas and Paolo Modesti and Martin Emms",

year = "2018",

doi = "10.1007/978-3-030-03044-5_12",

language = "English",

isbn = "9783030030438",

volume = "11254",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "180--197",

editor = "Tiago Massoni and Mousavi, {Mohammad Reza}",

booktitle = "Formal Methods",

}

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

A Methodology for Protocol Verification Applied to EMV 1. / Freitas, Leo; Modesti, Paolo; Emms, Martin.
Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. ed. / Tiago Massoni; Mohammad Reza Mousavi. Vol. 11254 Springer, 2018. p. 180-197 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11254 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A Methodology for Protocol Verification Applied to EMV 1

AU - Freitas, Leo

AU - Modesti, Paolo

AU - Emms, Martin

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-030-03044-5_12

DO - 10.1007/978-3-030-03044-5_12

M3 - Conference contribution

SN - 9783030030438

VL - 11254

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 180

EP - 197

BT - Formal Methods

A2 - Massoni, Tiago

A2 - Mousavi, Mohammad Reza

PB - Springer

ER -

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

A Methodology for Protocol Verification Applied to EMV 1

Abstract

Publication series

Access to Document

Fingerprint

Cite this