SSL协议和SET协议的分析与比较

在电子商务中，SSL协议得到了广泛的协议，而SET协议则是今后的发展趋势，本文在分析这两种协议原理的基础上，对两者的特点进行了比较。     

SSL协议和SET协议的分析与比较

在电子商务中,SSL协议得到了广泛的协议,而SET协议则是今后的发展趋势,本文在分析这两种协议原理的基础上,对两者的特点进行了比较。     

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

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

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

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

WAP环境下移动支付协议公平性分析

为保证买卖双方公平交换,基于主动测试定理和发送边存在定理分析了移动支付协议的公平性,指出该协议存在安全缺陷.由此提出了一种改进协议,通过增加时间戳和改变部分消息发送的主体弥补协议公平性缺陷,并用扩展串空间模型对其公平性进行了形式化分析,证明其在没有影响运行效率的前提下能够满足公平性要求.研究结果验证了所提的方法可以有效地分析协议公平性.     

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

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

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

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

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

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

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

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

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

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

一种改进的基于账户的安全电子支付协议

分析了iKP协议，并指出了其中的不足，提出了一种改进的安全电子支付协议. 改进的协议在保持了iKP协议原有安全特性的同时，还具有以下优点：降低了交易过程中的通信开销；避免了冗余的签名验证过程；实现了商品交付阶段的身份认证及证据保留；提供了完善的消费者购物隐私保护机制；确保了支付结算时消费者已获得商品.     

一种改进的基于账户的安全电子支付协议

分析了iKP协议，并指出了其中的不足，提出了一种改进的安全电子支付协议. 改进的协议在保持了iKP协议原有安全特性的同时，还具有以下优点：降低了交易过程中的通信开销；避免了冗余的签名验证过程；实现了商品交付阶段的身份认证及证据保留；提供了完善的消费者购物隐私保护机制；确保了支付结算时消费者已获得商品.     

基于项重写的安全电子交易形式化模型

构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通过项重写系统终止性和会聚性的性质证明该模型具有完整性和一致性等特点,在安全性分析方面验证该模型满足认证性和发送非否认性.     

电子交易的安全分析

建立安全的电子交易体系,提高网络数据的传输安全程度,已经成为电子商务正常发展的基本保障。主要介绍了目前常用的一些技术与方案,并对它们进行了评价与比较。     

SET安全机制分析

SET(Secure Electronic Transaction)是在互联网上进行在线交易时保证银行卡安全支付的一个开放协议,其特点是高安全性,具有良好的可操作性.文章对该协议的流程和二次签名机制进行了详细的分析和说明.     

电子商务系统的安全问题及其解决方案

论述了现代电子商务的保密原理和安全技术 ,特别是近年来因特网上涌现出的新概念、新技术和最新解决方案 ,展示了安全技术在网上交易与支付系统中的应用     

基于协议同步的混沌数字保密通信研究

混沌数字保密通信技术的关键是实现系统之间混沌数据的严格同步。我们利用实际通信平台，从网络通信协议的思路出发，结合通信环境对UDP协议进行了适当改造，提出了一种基于协议同步的语音混沌通信系统，研究了系统的实现技术，初步讨论了混沌协议同步机制的建立。     

基于3-D Secure的手机支付系统的实现

针对移动支付业务的特点和需求,基于3-D安全支付协议,构建一个安全的手机支付系统。从商家服务器、发卡行服务器、手机终端三方分别讨论了支付系统的具体实现,并通过加解密、数字签名等密码技术保证了支付的安全性。     

安全多方模糊综合评判模型及协议

传统的模糊综合评判模型必须集中所有数据进行计算。针对分布式环境中多个用户综合评判问题,提出了安全多方模糊综合评判模型(SMFCE)及其主要性质。该模型允许多个分享数据的用户分处不同地点完成评判过程,并且不泄露各自持有的数据。然后,针对参与方按行分享模糊评价矩阵的情形,基于安全多方计算理论,设计出半诚实模型下SMFCE问题的解决方案。最后,对方案的正确性和安全性进行了证明。