Bitte wählen Sie ihr Lieferland und ihre Kundengruppe
EMV is the contactless payment protocol supported worldwide by the major credit card companies in countries outside the USA. This paper presents a hybrid formal/non-formal design and implementation process for high integrity protocol emulators as well as a corresponding implementation of the EMV protocol and point of sale terminal. The objective of the EMV emulator is to test new cards and applications and to experiment with protocol attack and failure scenarios. The proposed design and implementation process includes a systemic inspection of the EMV natural language specification, the generation of a formal abstract model that represents the EMV protocol, the generation of test cases from the formal abstract model, continuous feedback from the implementation and the systemic documentation of the emulator code. We have applied the design and implementation process to the development of emulator code for Chip & PIN transactions, Visa contactless transactions and MasterCard contactless transactions.