SET协议支付过程的符号模型检验

电子商务协议的安全性是电子商务健康发展的关键。随着SET协议应用的日益广泛，其安全性受到了业界的极大关注。分析、寻找SET协议安全隐患或证明其安全性，将有助于协议的进一步应用和发展。将模型检测应用于分析SET协议，给出SET协议支付过程的形式化模型和有限状态机模型，以及协议安全属性的CTL公式，并在网络环境被入侵者控制的假设下，基于SMV符号模型检测工具对协议进行了分析。结果表明，SET协议拥有保密性、完整性、认证性等电子商务安全需求属性。     

电子商务安全技术初探

从保密性、完整性、有效性、可靠性、不可依赖性和可控性6个方面介绍了电子商务的安全性需求,在此基础上分析了电子商务安全关键技术和电子商务安全交易协议,并对SSL协议、SET协议进行了比较.结果表明:SET在网上交易安全性控制方面远比SSL严密,必然成为未来的发展方向.     

电子商务安全技术初探

从保密性、完整性、有效性、可靠性、不可依赖性和可控性6个方面介绍了电子商务的安全性需求，在此基础上分析了电子商务安全关键技术和电子商务安全交易协议，并对SSL协议、SET协议进行了比较．结果表明：SET在网上交易安全性控制方面远比SSL严密，必然成为未来的发展方向．     

SET协议的持卡人匿名性分析

针对电子商务协议的Petri网模型中出现无法描述和演绎其逻辑推理过程的缺点,在传统Petri网基础上提出一种适合描述电子商务协议的信念Petri网。信念Petri网验证分析过程是先将电子商务协议或安全协议的协议规则分解成原始序列,对协议实体构造Petri网模型,对信道进行安全分析。以SET协议为分析对象,利用信念Petri网对SET协议的持卡人匿名性进行分析,结果说明SET协议的持卡人的隐私信息得到有效保护。     

SET协议的公平性分析

SET协议是一种解决互联网上信用卡安全交易的安全协议,其工作流程符合传统的信用卡工作流程和规范.主要阐述安全电子交易协议的协议规范和应用特点,并分析公平性特点,提出一种实际安全的电子商务系统应用方案.该方案能够解决电子图书在线交易系统的公平性问题,同时能够保持原有SET协议的安全性、可追究性和匿名性等电子商务协议的特点.     

电子商务中SET协议的实现与分析

SET是目前在电子商务中一种安全电子交易协议,尤其在网上交易中有着广泛地应用,是大多数在线支付所采用的交易协议。这里探讨了SET协议的作用、技术实现、工作流程、认证系统的实现等;对它的一些典型应用进行了描述;并且对SET的工作效率、安全性进行了分析。     

电子商务协议的建模方法与分析

电子商务商议是安全协议和商务逻辑的结合体,SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案。因为SET协议涉及的参与主体较多．相互握手次数较平凡．从而导致协议比较复杂．分析比较困难,．在分析SET协议规范的基础上,利用形式化分析工具－Petri网对SET协议进行建模分析,给出协议与Petri网模型之间的对应关系。最终使得SET协议便于理解和分析。     

电子商务的安全协议SSL和SET协议

就电子商务的安全性问题详细剖析了两种安全协议,SLL协议、SET协议。     

基于SSL＆SET协议的在线支付模型探究

电子支付是电子商务交易活动中的一个重要环节,涉及到用户与商家和银行等多个部门的信息交互。如何实现安全、可靠、方便的电子支付,是电子商务发展中迫切需要解决的问题。本文对两种占主流地位的安全交易协议SSL和SET进行了比较,在此基础上,提出一种基于SSL＆SET的在线安全支付模型,并对其特色进行了分析和论证。     

电子支付安全技术及其应用的研究

电子商务是基于互联网的一种网上交易、网上支付的新型商业模式。在开放的互联网上如何确保网上支付的安全性,是实现电子商务的关键。首先阐述了电子商务的四个主要的安全需求,并就信息加密、数字签名、数字证书等信息安全技术的特点及其应用作了探讨。最后根据SET协议和SSL协议的技术特点,分别就基于两种协议的电子支付系统作了设计,并阐述了系统是如何解决电子支付的安全性的。     

电子商务系统及其安全性研究

介绍了电子商务系统的基本内容;分析了目前电子交易中的主流协议SSL协议和SET协议;从网络和系统安全的角度介绍了一种信息安全系统的组合模型.     

电子商务安全技术浅析

电子商务的安全保障是电子商务发展的基础,分析了电子商务所采用的主要的安全技术,阐述了加密技术、安全电子交易SET以及认证技术在电子商务中的应用.     

电子商务协议原子性的SPIN分析

电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议,用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比,乐观电子合同签订协议更为复杂,从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法,应用模型检测方法分析安全协议时,前提和关键是对协议及其执行环境进行准确和全面的建模。     

电子商务中的安全技术

随着我国加入WTO和Internet的飞速发展，电子商务已成为一个新的热点，其交易安全成为当前电子商务进程中关键性的因素。本介绍了电子商务的安全要求和使用的基本安全技术，对RSA加密技术、SET协议及混合型防火墙技术进行了分析。     

基于安全协议操作语义模型的组合协议分析及验证

协议的可组合性问题是安全协议形式化分析及验证领域的一个公开问题,通过提出采用安全协议的操作语义模型对组合协议进行形式分析和验证,建立了Yahalom和Denning-Sacco组合协议的操作语义模型,并用基于操作语义模型的自动化验证工具Scyther验证了其安全性,发现了一个针对Yahalom协议机密性的组合攻击.结果表明,操作语义模型是分析与验证组合协议的一种可行方法.     

移动支付安全协议的研究

文章分析了在WAP环境下基于SET协议的移动支付的交易流程不满足商品原子性和确认发送原子性。当商家得到正确支付后,SET协议不能保证他一定会发货给持卡者,也不能保证发送的就是持卡者订购的商品。同时基于SET协议的安全性和不可否认性也存在着不足。基于这些局限性,本文通过对协议的改进,完善了移动支付的整个交易过程,切实保护了各方的利益。