Research on SET Protocol Optimization and Verification of SPIN in Small Amount of Transactions
Wen Chi-liang · Computer and Modernization · 2011
SET protocol is a very important E-commerce protocol.SET transaction is complex,to complete a transaction process,it needs to verify about E-Cert 9 to verify the digital signature 6 times,to pass the certificate for 7 times,and signature 5 to 4 times to symmetric encryption and asymmetric encryption.This paper selects the core part of the SET protocol: purchase request,payment authentication and secure payment process as three sub-protocol analysis object,amount of transactions for different grades,for the small amount of transactions of optimization of the protocol process,SET for SPIN model checking,simulation and verification according to the analysis results to improve on the SET.