小额交易中SET协议的优化及SPIN验证的研究

作为电子商务的重要组成部分,基于Internet的电子交易受到了广泛的关注。SET交易过程十分复杂,在完成一次SET协议交易过程中,需验证电子证书9次,验证数字签名6次,传递证书7次,进行签名5次,4次对称加密和非对称加密。本文选取SET协议的核心部分：购买请求、支付认证和获得付款3个子协议过程作为研究分析对象,针对不同数额的交易进行分级,针对小额的交易过程进行协议的优化,对SET进行SPIN模型检测,并根据分析模拟与验证的结果对SET进行改进。

Research on SET Protocol Optimization and Verification of SPIN in Small Amount of Transactions

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 ...