A Methodology for Protocol Verification Applied to EMV® 1
| Autor: | Leo Freitas, Martin Emms, Paolo Modesti |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Domain-specific language
Trademark business.operation Computer science media_common.quotation_subject Interoperability 0102 computer and information sciences 02 engineering and technology Registered trademark Payment Computer security computer.software_genre 01 natural sciences Payment protocol 010201 computation theory & mathematics MasterCard 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Protocol verification business computer media_common |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030030438 SBMF |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|