导读:本文包含了非否认性论文开题报告文献综述及选题提纲参考文献，主要关键词:SET协议,电子商务,公平性,非否认性
非否认性论文文献综述
张振德[1]（2010）在《基于SET协议的电子商务公平非否认性的研究》一文中研究指出随着网络的迅猛发展,电子商务的应用越来越广泛,将成为经济贸易的主要形式之一,它是传统交易方式的一种抽象,是传统交易在虚拟的Internet世界中的体现。但由于网络的开放性、虚拟性,电子商务的安全性成为其发展面临的主要障碍,而电子商务安全协议的安全性则是此问题的核心。本文通过对电子商务安全协议的安全性问题进行系统地探讨和研究,归纳出电子商务安全协议应具备的安全性能,并介绍了电子商务发展中出现的主要安全协议。从研究中所知,由于密码学技术和网络安全技术的发展,为安全协议的保密性、完整性、认证性等基本安全性能提供了坚实的技术保障,实践上也证明这些性能得到了很好的保障。但对于电子商务安全协议的一些特有安全需求,如非否认性、公平性、可追究性、隐私性等安全性的研究还在发展中,现有的安全协议都不同程度地表现出这些安全性的不足。SET协议是目前电子商务安全性较高的安全协议。鉴于此,本文以SET为基础,深入地研究了SET协议的工作流程,认真分析各个步骤的安全性,提出SET协议存在的不足及其相应的改进措施。针对SET协议存在的不足,本文对SET支付系统作出相应的改进：一是将SET的算法独立成一个模块便于算法的扩展,提供接口供其他模块调用；二是增加数字时间戳功能,增强协议的执行效率；叁是增加支付网关争议仲裁功能,增强协议的公正性；四是改进SET协议工作流程,增强了协议的公平性、非否认性、隐私性等安全性能。并对SET支付系统进行了设计和模拟实现,从结果来看SET协议的公平性、非否认性、隐私性等安全性能得到了加强。(本文来源于《中南大学》期刊2010-06-30）
崔楠[2]（2009）在《电子邮件协议的非否认性形式化分析》一文中研究指出非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析。形式化分析的结果表明CMP1满足非否认性。(本文来源于《计算机与信息技术》期刊2009年05期）
崔楠,汪学明[3]（2008）在《基于SVO逻辑的电子商务协议非否认性形式化分析》一文中研究指出非否认性是电子商务协议应该具备的一个重要特性。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析。形式化分析的结果表明CMP1满足非否认性。(本文来源于《逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集》期刊2008-06-30）
范钰丹[4]（2007）在《密码协议非否认性和公平性验证技术研究》一文中研究指出随着军队信息化建设进程的快速推进,来自内部实体的攻击严重威胁着军队的信息安全,非否认性和公平性主要解决的就是来自协议内部实体之间的攻击。然而长期以来,对密码协议安全特性的研究大部分集中在秘密性和认证性上,非否认性和公平性的研究是一个新兴的方向,目前还处于初级阶段。本文对非否认性和公平性的验证技术进行了探索,基于一阶逻辑提出了一种分析非否认性和公平性的新方法,并采用新方法成功地实现了对非否认协议的自动化验证。本文所做的工作主要包括以下几点:1.介绍了国内外现有的非否认性和公平性形式化分析方法,进行了分类比较,指出了每种方法的优缺点。2.针对非否认协议的特点提出了一套适用于描述和验证非否认性和公平性的一阶逻辑语法和语义。3.在语法和语义的基础上,提出了一种基于一阶逻辑建模非否认协议的方法,对模型中的各个要素分别进行了建模,给出了非否认性和公平性的一阶逻辑定义。这是本文工作的重点。4.用设计的模型对ZG非否认协议进行了手工推导,发现了协议的一个已知攻击,证明了模型的正确性、有效性以及模型的优点。5.根据模型,设计了相应的非否认性和公平性自动化验证算法,加入了必要的消解策略以减小算法复杂性、避免不可终止情况发生、提高算法效率。此部分是本文工作的难点。6.基于非否认协议的一阶逻辑模型及其验证算法,设计并开发了原型系统AVT-NR,简要介绍了系统的体系结构和工作流程,重点讨论了各部分的实现细节,并用该系统成功地分析了ZG非否认协议、ZG乐观非否认协议、KM非否认协议等非否认协议,进一步证明了新方法的有效性。(本文来源于《解放军信息工程大学》期刊2007-04-20）
张曼君[5]（2006）在《电子支付协议及其公平非否认性研究》一文中研究指出随着电子商务技术的发展,人们对电子支付系统的要求越来越高,如何进行安全高效的电子支付成为电子商务研究的一大热点。本文对电子支付协议及其公平性不可否认性做了研究。研究成果如下:1.本文分析比较了SSL协议和SET协议,针对协议的不足,提出了比较具体的改进措施,加强了数据管理的安全性,满足了原子性。对SET、SSL协议中先付费后发货可能带来的不公平这一问题,本文也给出了改进的措施,较好的实现了公平性。2.在对相关的公平的不可否认协议进行了全面分析和比较的基础上,提出了一个安全的公平非否认协议,它保证交易双方的公平性,同时支持发送方和接受方的不可否认性,同时对协议进行了详细地分析。(本文来源于《西安电子科技大学》期刊2006-05-01）
非否认性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规则进行扩展,将其运用到对电子商务协议的非否认性的验证上,对CMP1进行了形式化分析。形式化分析的结果表明CMP1满足非否认性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
非否认性论文参考文献
[1].张振德.基于SET协议的电子商务公平非否认性的研究[D].中南大学.2010
[2].崔楠.电子邮件协议的非否认性形式化分析[J].计算机与信息技术.2009
[3].崔楠,汪学明.基于SVO逻辑的电子商务协议非否认性形式化分析[C].逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集.2008
[4].范钰丹.密码协议非否认性和公平性验证技术研究[D].解放军信息工程大学.2007
[5].张曼君.电子支付协议及其公平非否认性研究[D].西安电子科技大学.2006