Research on a Secure E-Commerce Payment Protocol Based on Four Parties
|School||Huazhong University of Science and Technology|
|Course||Applied Computer Technology|
|Keywords||E-commerce Secure electronic transaction protocol Goods atomicity The confirmation sent atom sexual Model Checking|
With the development of the Internet and the rapidly growing popularity of e-commerce, e-commerce security paid more and more attention, especially atomic, electronic payment has become one of the hot research field of e-commerce. About the atomic electronic payment, from the current research, the majority of e-commerce payment agreement is limited to meet the electronic payment of money atomicity, goods atomicity and confirm send atomicity, experts and scholars focus only just send in that the goods atomicity confirm how to solve the digital goods atomicity, and meet the electronic payment of traditional commodities, goods atomicity and confirmation sent a payment agreement atomic research yet to see the relevant literature. Based on the analysis of domestic and international electronic payment mode of payment and payment agreement status quo, focusing on international e-commerce payment protocol standard security electronic transaction SET (Secure Electronic Transaction) Agreement and the existence of the defect, the improvement of the comparative analysis of the domestic and foreign scholars on the SET programs. SET protocol is the paradigm for its goods atomicity and confirmation sent atom defects can not meet, made some improvements, the establishment of a Quartet-based access to critical electronic evidence can automatically ensure that goods atomicity and confirmation sent atom arbitration security of e-commerce payment processing transaction disputes agreement, and the agreement is given the formal description, and security-based the Quartet of e-commerce payment protocols were analyzed and compared. Finite state model, and security based on the security of e-commerce payment protocols based on the Quartet, to establish a protocol computation tree logic CTL (Computation Tree Logic) formula, popular in the international agreement detection tool symbolic model checking SMV (symbolic model checking) agreement simulation testing and certification of security atomicity and experimental verification agreement to meet the requirements of the security of electronic transactions atoms. Based the Quartet the security of e-commerce payment agreement with the SET protocol, e-commerce payment only applies to credit cards. For the agreement only applies to credit card payments defects, to expand its data structure, designed for debit card payment, and their data structures are described using ASN.1 Abstract Syntax Notation One (Abstract Syntax Notation One), and finally to pay for e-commerce system software module design brief.