|
1.
|
SET协议中问题的分析及解决方案 被引次数：12
|
|
|
|
|
|
|
陈庆锋 白硕 王驹 张师超 隋立颖《计算机学报》,2000年第23卷第2期
|
|
|
文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析，并提出了完整的解决方案，在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后，给出了它们的Ｐｒｏｌｇｏ程序流程，全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制，并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程，最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。
|
|
2.
|
电子商务安全协议的逻辑验证 被引次数：6
|
|
|
|
|
|
|
陈庆锋 王驹 白硕 张师超 隋立颖《软件学报》,2000年第11卷第3期
|
|
|
作者在以前所做的工作中,已对电子商务安全(secure electronic transactions,简称SET)中抽取的片段进行了证明,也对SET中可能存在的问题进行了初步探讨.该文在此基础上,对SET的整个业务流程进行了严格的逻辑验证,通过形式化逻辑方法的验证,发现了SET协议中存在的一些问题,并对如何解决这些问题进行了初步的探讨.
|
|
3.
|
SET协议的持卡人匿名性分析
|
|
|
|
|
|
|
叶红 袁志祥《安徽工业大学学报》,2010年第27卷第2期
|
|
|
针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点,在传统Petri网基础上提出一种适合描述电子商务协议的信念Petri网。信念Petri网验证分析过程是先将电子商务协议或安全协议的协议规则分解成原始序列,对协议实体构造Petri网模型,对信道进行安全分析。以SET协议为分析对象,利用信念Petri网对SET协议的持卡人匿名性进行分析,结果说明SET协议的持卡人的隐私信息得到有效保护。
|
|
4.
|
多证书多数字签名在电子支付中的应用
|
|
|
|
|
|
|
吴国栋 李旸《微机发展》,2007年第17卷第5期
|
|
|
电子支付的安全性是电子商务的核心与瓶颈,直接关系到网上电子商务活动能否顺利进行.在对安全电子支付协议(SET)进行分析的基础上,提出了利用多证书与多数字签名对SET协议在实际应用中进一步完善的方法,对提高网上电子交易的安全性具有一定意义.
|
|
5.
|
多证书多数字签名在电子支付中的应用
|
|
|
|
|
|
|
吴国栋 李旸《计算机技术与发展》,2007年第17卷第5期
|
|
|
电子支付的安全性是电子商务的核心与瓶颈，直接关系到网上电子商务活动能否顺利进行。在对安全电子支付协议（SET）进行分析的基础上，提出了利用多证书与多数字签名对SET协议在实际应用中进一步完善的方法，对提高网上电子交易的安全性具有一定意义。
|
|
6.
|
SSL协议和SET协议的分析与比较 被引次数：2
|
|
|
|
|
|
|
许杰 王丹《丹东纺专学报》,2004年第11卷第4期
|
|
|
在电子商务中，SSL协议得到了广泛的协议，而SET协议则是今后的发展趋势，本文在分析这两种协议原理的基础上，对两者的特点进行了比较。
|
|
7.
|
SSL协议和SET协议的分析与比较 被引次数：2
|
|
|
|
|
|
|
许杰 王丹《辽东学院学报(自然科学版)》,2004年第11卷第4期
|
|
|
在电子商务中,SSL协议得到了广泛的协议,而SET协议则是今后的发展趋势,本文在分析这两种协议原理的基础上,对两者的特点进行了比较。
|
|
8.
|
电子邮件协议的非否认性形式化分析
|
|
|
|
|
|
|
崔楠《计算机与信息技术》,2009年第5期
|
|
|
非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析。形式化分析的结果表明CMP1满足非否认性。
|
|
9.
|
电子商务协议的建模方法与分析 被引次数：1
|
|
|
|
|
|
|
袁志祥 叶红《安徽工业大学学报》,2004年第21卷第3期
|
|
|
电子商务商议是安全协议和商务逻辑的结合体，SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多．相互握手次数较平凡．从而导致协议比较复杂．分析比较困难，．在分析SET协议规范的基础上，利用形式化分析工具－Petri网对SET协议进行建模分析，给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。
|
|
10.
|
小额交易中SET协议的优化及SPIN验证的研究
|
|
|
|
|
|
|
温炽亮《计算机与现代化》,2011年第7期
|
|
|
作为电子商务的重要组成部分,基于Internet的电子交易受到了广泛的关注。SET交易过程十分复杂,在完成一次SET协议交易过程中,需验证电子证书9次,验证数字签名6次,传递证书7次,进行签名5次,4次对称加密和非对称加密。本文选取SET协议的核心部分：购买请求、支付认证和获得付款3个子协议过程作为研究分析对象,针对不同数额的交易进行分级,针对小额的交易过程进行协议的优化,对SET进行SPIN模型检测,并根据分析模拟与验证的结果对SET进行改进。
|
|
11.
|
SET业务流程中的安全机制
|
|
|
|
|
|
|
蒋忠仁《计算机应用与软件》,2006年第23卷第11期
|
|
|
SET协议为网上安全交易提出了一套完整的方案，使参加交易的各方，包括持卡人、商户、银行等对在因特网上进行交易增加了安全感，因而大大推动了电子商务的发展。在介绍SET协议的业务流程的同时，着重对SET协议中的安全机制作了全面分析。
|
|
12.
|
移动电子商务的电子支付模型研究
|
|
|
|
|
|
|
谭汉松 刘涛《电脑与信息技术》,2003年第11卷第1期
|
|
|
电子支付技术是电子商务中的核心技术，也是目前制约电子商务发展的一个根本性问题，移动电子商务也不例外，文章对移动电子商务中的支付体系进行了深入的探讨，提出了适合移动电子商务发展的M－SET移动支付模型，并用BAN逻辑对其安全性进行了验证。
|
|
13.
|
电子商务中SET协议的安全缺陷研究
|
|
|
|
|
|
|
黑霞丽 郑春柳《信息安全与通信保密》,2006年第8期
|
|
|
目前SET协议在电子商务交易中应用越来越广泛,因此,对SET协议的安全性的要求就越来越高。论文在SET协议的交易流程基础上,分析了其安全机制采用的技术和优点,指出了SET协议安全性存在的一些问题。
|
|
14.
|
用SMV验证SET协议的安全性
|
|
|
|
|
|
|
魏蓉《中国科技博览》,2008年第17期
|
|
|
SMV是一个基于线性时态逻辑的符号化模型检验工具。本文利用SMV系统对典型的电子商务协议SET协议进行描述和验证，并得到SET协议的一个缺陷，最后讨论了一些利用此缺陷而存在的攻击。
|
|
15.
|
电子商务安全技术初探 被引次数：1
|
|
|
|
|
|
|
卢华玲《重庆理工大学学报(自然科学版)》,2007年第21卷第23期
|
|
|
从保密性、完整性、有效性、可靠性、不可依赖性和可控性6个方面介绍了电子商务的安全性需求，在此基础上分析了电子商务安全关键技术和电子商务安全交易协议，并对SSL协议、SET协议进行了比较．结果表明：SET在网上交易安全性控制方面远比SSL严密，必然成为未来的发展方向．
|
|
16.
|
电子商务安全技术初探 被引次数：6
|
|
|
|
|
|
|
卢华玲《重庆理工大学学报(自然科学版)》,2007年第12期
|
|
|
从保密性、完整性、有效性、可靠性、不可依赖性和可控性6个方面介绍了电子商务的安全性需求,在此基础上分析了电子商务安全关键技术和电子商务安全交易协议,并对SSL协议、SET协议进行了比较.结果表明:SET在网上交易安全性控制方面远比SSL严密,必然成为未来的发展方向.
|
|
17.
|
Internet的安全通信协议SSL与SET的剖析和比较 被引次数：5
|
|
|
|
|
|
|
孔静萍《现代计算机》,2000年第4期
|
|
|
本文就Ｉｎｔｅｒｎｅｔ上目前采用的ＳＳＬ与ＳＥＴ协议的安全性进行分析与比较，并对其在电子商务中的应用做出预测。
|
|
18.
|
一种基于SVO逻辑的新形式化验证方法 被引次数：5
|
|
|
|
|
|
|
王茜 杨德礼《计算机集成制造系统》,2004年第10卷第3期
|
|
|
通过严格的形式化验证方法来分析电子商务交易协议，一直是电子商务领域研究的热点。SVO逻辑以其完善、简洁的特点在协议验证中被广泛应用。文中通过典型实例分析，指出SVO逻辑在分析电子商务交易协议中存在的局限与不足，并在此分析基础上引入交易协议的动态性等概念。对原有SVO逻辑分析框架进行扩展，提出了一种新的适用于分析电子商务交易协议的形式化验证方法。新方法不仅可以静态验证协议的不可否认性，而且可以动态验证协议的原子性。最后，给出了该方法对典型交易协议的验证实例。
|
|
19.
|
安全电子交易协议在电子商务中的应用研究
|
|
|
|
|
|
|
姚小兵《电子科技导报》,2011年第7期
|
|
|
本文通过对安全电子交易协议进行分析,针对SET协议在电子商务应用中存在的一些问题,提出了几种改进方案。通过对SET协议的改进,增强了其使用性,提高了安全性,使其更加有利于在电子商务中的应用和推广。
|
|
20.
|
多证书多数字签名在电子支付中的应用 被引次数：1
|
|
|
|
|
|
|
吴国栋 李旸《微型电脑应用》,2007年第23卷第6期
|
|
|
电子支付的安全性是电子商务的核心与瓶颈,直接关系到网上电子商务活动能否顺利进行。本论文在对安全电子支付协议（SET）进行分析的基础上,提出了利用多证书与多数字签对SET协议在实际应用中进一步完善的方法,对提高网上电子交易的安全性具有一定意义。
|
