Bibliography
- ARP13
- F. Aarts, J. de Ruiter, and E. Poll. Formal models of bank cards for free. In Proceedings SECTEST 2013, 4th International Workshop on Security Testing, Luxembourg, March 22, 2013.
- ISOIEC7816
- ISO/IEC, “ISO/IEC 7816: Identification cards – Integrated circuit cards.”
- EMVCo
- EMVCo, “EMV– Integrated Circuit Card Specifications for Payment Systems, Book 1-4,” 2008, available at emvco.com.
