DocumentCode
2732413
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
fYear
2007
fDate
5-12 Nov. 2007
Firstpage
307
Lastpage
310
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/WI-IATW.2007.53
Filename
4427595
Link To Document