摘要
作为电子商务的重要组成部分,基于Internet的电子交易受到了广泛的关注。SET交易过程十分复杂,在完成一次SET协议交易过程中,需验证电子证书9次,验证数字签名6次,传递证书7次,进行签名5次,4次对称加密和非对称加密。本文选取SET协议的核心部分:购买请求、支付认证和获得付款3个子协议过程作为研究分析对象,针对不同数额的交易进行分级,针对小额的交易过程进行协议的优化,对SET进行SPIN模型检测,并根据分析模拟与验证的结果对SET进行改进。
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.
出处
《计算机与现代化》
2011年第7期201-206,共6页
Computer and Modernization
关键词
SET协议
小额交易
攻击者
模型检测
SPIN验证
SET protocol
small amout of transactions
hacker
model checking
SPIN verification
