print · source · login   

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.