基于中国金融IC卡圈提业务的SET支付研究

研究中国金融IC卡如何支持SET1.0协议,提出了采用中国金融IC卡中电子存折的圈提业务实现对SET的支持。采用服务器钱包方式,将持卡者软件分为两部分,不但完成SET对持卡者系统的大部分定义功能,还可以完成中国金融IC卡的各种认证工作。通过分析,该方案对现有中国金融IC卡系统和标准改动最小,比较可行。     

SET中加密、签名技术的实现

SET协议是针对开放网络上安全、有效的银行卡交易,由Visa和Mastercard联合研制的,为Internet上银行卡的支付交易提供高层的安全和反欺诈保证。它保证了电子交易的机密性、数据完整性、身份的合法性和抗否认性。通过SET协议中数字签名的技术实现和对Hash函数的算法的探讨以及数字认证的加快分析等,对SET的安全性进行了论证。     

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

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

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

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

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

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

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

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

EDI网上银行支付系统设计

结合基于WEB的EDI技术和采用SET协议的CA认证技术 ,提出了网上银行支付系统的设计方案 ,并着重研究了支付流程和所采取的安全策略。     

安全电子支付系统的设计

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

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

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

SET安全机制分析

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

我国刑事和解的理论基础

虽然在西方刑事和解理论中存在恢复正义理论、平衡理论、叙说理论3种学说,但是我国的刑事和解与西方的刑事和解存在诸多区别,不能简单地将我国的刑事和解制度嵌套在西方的法学理论体系之下。立足我国刑事和解制度的司法实践,和谐司法、利益兼得、契约理论为我国刑事和解制度提供了理论支撑,为我国今后构建刑事和解程序奠定了基础。     

Atomic and anonymous e-Cash transaction protocol with off-line TTP

Atomicity and anonymity are desirable properties for reliable and security e-Cash transaction and the guarantee of the participants‘ interests. But there are cotdlicts between these two properties. In this paper, an atomic and anonymous e-Cash transaction protocol with off-line TTP (Trust Third Party) based on the extended CEMBS is presented. The novel protocol is analyzed for its atomicity and anonymity. The results of the analysis show that it not only provides atomicity and anonymity under unreliable communication and dishonest participants, but also features high efficiency and practicability. The new protocol also avoids transaction from an ambiguous state. Furthermore, it will be referenced often for the application of the atomic e-Cash transaction protocol.     

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

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

电子商务安全技术初探

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

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

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

电子商务支付模式选择

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

基于椭圆曲线的多银行电子现金支付协议的研究

椭圆曲线密码体制以其特有的优越性被广泛用于进行数据加密、数字签名，同样也可用来构建盲签名协议和电子现金协议。本文设计出了多银行电子现金支付协议。上述协议都是基于椭圆曲线离散对数表示问题的，其安全性是基于椭圆曲线离散对数的安全性。