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

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

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

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

PKI，SSL与SET的分析比较

SSL和SET是电子商务中最为流行的两种安全电子交易协议,在网上交易中有着广泛地应用。PKI是目前电子商务中的通用安全平台,是电子商务安全的基石;通过对PKI,SSL,SET技术原理探讨,论述了它们各自的作用、技术实现、工作流程等。并对它们之间的联系、区别、应用范围进行了深入的分析。     

电子商务中SET协议的分析

电子商务(Electronic Commerce)是一种新型的商务活动,实现安全在线支付是电子商务的核心问题。安全电子交易协议(Secure ElectronicTransaction,S E T)是目前电子商务的主要安全在线支付协议之一.本文就电子商务支付系统S E T支付流程、S E T协议的安全、S E T协议的证书管理、SET协议的扩展应用等方面进行了一定的分析和研究。     

SET安全机制分析

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

安全电子交易与网络安全技术

安全电子交易SET协议，涵盖了电子商务交易中的交易协定、信息保密、资料完整性、数字认征和数字签名等，在SET协议中，结合使用网络安全技术DES算法和RSA算法，保证了数据的一致性和完整性，使得交易具有不可抵赖性，预防交易欺骗，而且SET协议的数字信封、双重签名也能有效地保护用户信息的隐私性和关联性，从而解决电子交易的安全问题。     

安全电子支付系统的设计

电子支付是指从事电子商务交易的当事人，包括消费者、厂商和金融机构，使用安全电子支付手段通过网络进行的货币支付或资金流转。本文从电子支付的安全需求及安全攻击入手，结合多种网络安全技术，针对电子信用卡提出了基于SET协议的安全电子支付系统，通过该系统可以保证交易的安全性，是一种很好的电子商务模式的解决方案。     

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

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

电子商务支付模式选择

对电子商务支付模式、支付类型的选择 ,从安全需求分析、交易额大小及交易双方的具体关系性质等方面对电子商务支付模式加以讨论 ,并在风险、费用、方便性等方面对各有短长的两种信用卡支付协议——SSL、SET进行了分析比较     

电子商务安全技术初探

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

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

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

电子商务中的安全技术研究

论述电子商务现在所面临的安全性问题及电子商务的安全需求,在分析网络安全技术和交易安全技术的基础上,给出了一种保证电子商务安全的体系结构.     

基于Mobile Agent技术的安全电子商务系统研究

针对基于Mobile Agent技术的电子商务系统中存在的安全性问题,利用密码学知识以及洋葱路由原理,结合电子商务系统工作特点,以防范主动攻击和被动攻击为前提,提出了一种新的安全性检测协议,给出了该协议的详细实现步骤;并利用该协议和电子商务协商工作原理,设计了基于Mobile Agent技术的安全电子商务系统MASEC,并用Aglets系统对该工作模型进行仿真实验.仿真实验证明:设计的MASEC系统是可行的,降低了人机对话交互的复杂度,提高了电子商务的运作效率.     

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

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

电子商务安全技术浅析

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

基于公开可验证秘密分享的公平交易协议研究

随着电子商务的发展,对公平交易的研究显得越来越重要.提出了不依赖于信任第三方,而是基于网络中成员参与的公平交易协议.其理论基础是公开可验证秘密分享原理.所有交换的信息都被加密,因而特别适合几乎没有任何物理安全性的公共网络,尤其适合基于信任分散的ad-hoc网络.     

电子支付协议安全性的形式化分析

本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析,进而对Kailar逻辑也作了一些讨论.     

可转换认证加密的安全邮件协议

通过对电子商务中不可否认公平交换协议的运行流程进行了研究,论证了基于第三方的不可否认公平交换协议至少需要运行4步骤,进而指出现有一个协议实质上是需要运行4步骤的,而不仅仅是运行3步骤。依据安全协议与密码系统分开设计的原则,对比分析已有可转换认证加密方案,提出了一个可转换认证加密方案的系统模型。并基于该系统模型,设计了基于半可信第三方的不可否认的安全邮件协议。通过形式化方法分析表明,该协议具备邮件发送方和接收方均不可否认的特点。