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

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

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

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

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

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

SET协议的公平性分析

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

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

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

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

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

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

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

移动支付安全协议的研究

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

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

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

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

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

NS密码协议的模型检测分析

密码协议安全性的分析是网络安全研究领域的一个主要内容,研究人员提出多种形式化方法来分析这个问题.模型检测工具Spin是一个广泛验证并发系统性质的工具,可用来分析密码协议.对Neeclham-Schroeder(NS)协议认证部分进行了详细的分析,结果表明,Spin可成功检测出NS协议的缺陷,并生成攻击的序列.     

基于概率模型检测的合同签订协议分析

概率合同签订协议的公平性具有典型的概率性质。概率模型检测是一种验证存在随机行为系统的分析技术。基于概率模型检测技术，在原协议的基础上建立了离散马尔可夫链和有限状态机模型，用概率模型检测工具——PRISM验证了它的公平性，发现其公平性不满足时，在此基础上对原协议从双方交换信息的策略上进行了扩充改进，使协议更为公平，满足了合同签订的基本要求。     

基于概率模型检测的合同签订协议分析

概率合同签订协议的公平性具有典型的概率性质。概率模型检测是一种验证存在随机行为系 统的分析技术。基于概率模型检测技术,在原协议的基础上建立了离散马尔可夫链和有限状态机模型, 用概率模型检测工具——PRISM验证了它的公平性,发现其公平性不满足时,在此基础上对原协议从 双方交换信息的策略上进行了扩充改进,使协议更为公平,满足了合同签订的基本要求。     

Avalon片上总线协议的形式化建模与模型检验分析

片上总线协议是片上总线技术的核心,其设计的好坏直接影响到片上系统芯片的可靠性.针对Avalon片上总线协议的自身特点和复杂性,给出了Avalon总线协议的一种有限状态饥分析模型,并用CTL对协议的相关属性进行形式化描述,同时采用模型检验工具SMV进行验证分析,验证结果表明协议不存在安全漏洞.     

我国刑事和解的理论基础

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

MDA开发中的模型一致性检验

为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.