Title :
Security Mechanism Research of EMV2000
Author :
Liu Ming-hui ; Yang, Xin ; Yi-xian, Yang ; Xin-xin, Niu
Author_Institution :
Beijing Univ. of Posts & Telecommun., Beijing
Abstract :
Comprehensive analysis on the security mechanism of EMV2000 payment protocol indicates that there is still some frangibility in EMV2000 payment systems. Based on EMV2000 transaction flow, improvement advice to enhance the security of EMV transaction protocol is put forward. The authentication information that the terminal sends to the card, the issuer sends to the terminal and the issuer sends to the card is enhanced. Then, a rigorous formal verification of the improved protocol is presented.
Keywords :
credit transactions; formal verification; message authentication; protocols; EMV2000 payment protocol; EMV2000 transaction flow; authentication information; formal verification; security mechanism research; AC generators; Authentication; Counterfeiting; Cryptography; Data security; Formal verification; Information security; Intelligent agent; Intelligent networks; Protocols; EMV2000smart cardsecurity protocol;
Conference_Titel :
Web Intelligence and Intelligent Agent Technology Workshops, 2007 IEEE/WIC/ACM International Conferences on
Conference_Location :
Silicon Valley, CA
Print_ISBN :
0-7695-3028-1
DOI :
10.1109/WI-IATW.2007.53
