一个优化的公平的多方不可否认协议 被引量：5

1

作者 邓所云 隋爱芬 +1 位作者 胡正名 杨义先 《电子与信息学报》 EI CSCD 北大核心 2002年第12期1985-1989,共5页

公平的不可否认协议解决了电子商务中信息传输的互相否认问题,并使通信各方处于平等的位置。也就是说,对各方来说,协议是公平的。该文提出了一个“优化”意义上的公平的多方不可否认协议,在正常情况下,协议并不涉及TTP,只有在一方不诚... 公平的不可否认协议解决了电子商务中信息传输的互相否认问题,并使通信各方处于平等的位置。也就是说,对各方来说,协议是公平的。该文提出了一个“优化”意义上的公平的多方不可否认协议,在正常情况下,协议并不涉及TTP,只有在一方不诚实或通信崩溃的情况下才会使用TTP,避免了TTP成为系统通信的瓶颈,提高了协议的效率。 展开更多

关键词 公平 多方不可否认协议 组加密 电子商务 通信

在线阅读 下载PDF 职称材料

公平非否认协议的有限状态分析 被引量：6

2

作者 董荣胜 陈大伟 +1 位作者 郭云川 古天龙 《计算机科学》 CSCD 北大核心 2005年第8期83-86,共4页

本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进。

关键词 模型检测 SPIN 非否认性 公平性 机密性 有限状态自动机 非否认协议 状态分析 检测工具 模型

在线阅读 下载PDF 职称材料

一种面向电子邮件的不可否认协议及其形式化分析 被引量：5

3

作者 彭红艳 李肖坚 +2 位作者 夏春和 邓剑锋 周小发 《计算机研究与发展》 EI CSCD 北大核心 2006年第11期1914-1919,共6页

不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否... 不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否认协议,以解决已有协议存在的不公平、机密性保护不好和协议交互次数多的问题.形式化分析的结果表明,提出的协议能完成收发双方的不可否认以及不可否认协议所要达成的公平性和证据有效性. 展开更多

关键词 不可否认协议 形式化分析 SVO逻辑 可信第三方

在线阅读 下载PDF 职称材料

公平的多方不可否认协议 被引量：4

4

作者 何冰 李肖坚 +1 位作者 夏春和 夏克俭 《计算机工程与应用》 CSCD 北大核心 2005年第27期120-122,156,共4页

电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双... 电子商务中保证信息交换的不可否认性是一项必不可少的安全服务,而多方不可否认协议则是当前的研究重点之一。论文通过分析当前已发表的多方协议或方案,指出当前多方不可否认协议存在由于发送方占优势导致的不公平问题,并提出了基于双重组加密方法的多方不可否认协议,进一步削弱了发送方的优势。最后用SVO逻辑的形式化分析方法证明了协议的正确性。 展开更多

关键词 公平性 多方不可否认协议 形式化分析

在线阅读 下载PDF 职称材料

一个非否认协议ZG的形式化分析 被引量：8

5

作者 范红 冯登国 《电子学报》 EI CAS CSCD 北大核心 2005年第1期171-173,共3页

非否认性是电子商务协议的一个重要性质 ,其形式化分析问题引起了人们的密切关注 .本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析 ,并对协议的缺陷进行了改进 .

关键词 非否认协议 形式化分析 SVO逻辑

在线阅读 下载PDF 职称材料

一种离线TTP公平非否认协议的安全性分析方法 被引量：2

6

作者 刘冬梅 卿斯汉 +1 位作者 马恒太 李树仁 《计算机研究与发展》 EI CSCD 北大核心 2011年第4期656-665,共10页

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认... 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足. 展开更多

关键词 离线TTP 公平非否认协议 公平性 非否认性 时效性

在线阅读 下载PDF 职称材料

一种新型的非否认协议 被引量：21

7

作者 卿斯汉 《软件学报》 EI CSCD 北大核心 2000年第10期1338-1343,共6页

在克服一种非否认协议草案的缺陷的基础上 ,提出一种新的非否认协议 .新的协议可以在不安全和不可靠的信道上工作 ,并能对付各种欺骗行为 .此外 ,还对 SVO逻辑进行扩充 ,引进一些新的概念和方法 ,并用扩展后的 SVO逻辑分析与证明新的非... 在克服一种非否认协议草案的缺陷的基础上 ,提出一种新的非否认协议 .新的协议可以在不安全和不可靠的信道上工作 ,并能对付各种欺骗行为 .此外 ,还对 SVO逻辑进行扩充 ,引进一些新的概念和方法 ,并用扩展后的 SVO逻辑分析与证明新的非否认协议 . 展开更多

关键词 非否认协议 SVO逻辑 仲裁方 ISO 数字签名

在线阅读 下载PDF 职称材料

Zhou-Gollmann非否认协议的分析与改进 被引量：3

8

作者 蔡永泉 朱勇 《计算机应用研究》 CSCD 北大核心 2007年第7期242-245,共4页

以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性、公平性和时限性,而且具有实现简单、执行效率高、可信第三方负担轻等特点。

关键词 非否认协议 电子商务 可追究性 公平性 时限性

在线阅读 下载PDF 职称材料

一种新的多方不可否认协议 被引量：2

9

作者 李艳平 司光东 王育民 《计算机科学》 CSCD 北大核心 2006年第8期95-97,共3页

首次指出不可否认协议运行结果可分为认证强公平和期望强公平,其中后者优于前者。利用GPS数字签名方案,提出一个新的带离线可信第三方的多方不可否认协议,该协议实现了期望强公平且允许发方给不同的接收方发送不同的消息,突破了先前协... 首次指出不可否认协议运行结果可分为认证强公平和期望强公平,其中后者优于前者。利用GPS数字签名方案,提出一个新的带离线可信第三方的多方不可否认协议,该协议实现了期望强公平且允许发方给不同的接收方发送不同的消息,突破了先前协议只允许发方给不同的接收方发送同一消息的局限性。协议同时允许发方自由选择交易方,使得交易灵活而符合实际。最后给出协议的安全性分析。 展开更多

关键词 可信第三方 不可否认协议 组播 可恢复信道

在线阅读 下载PDF 职称材料

ZG离线TTP公平非否认协议的安全性分析及改进 被引量：1

10

作者 刘冬梅 卿斯汉 +1 位作者 李鹏飞 李尚杰 《通信学报》 EI CSCD 北大核心 2009年第S2期44-51,共8页

对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景... 对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景,能够保证非否认性和公平性的同时,避免消息延迟攻击和子协议被滥用。第一种方案适合于对协议效率要求比较高,而且协议被滥用不会影响参与协议主体的利益的情况;第二种方案可用于需要防止子协议被滥用的情况。 展开更多

关键词 公平非否认协议 非否认性 公平性 时限量

在线阅读 下载PDF 职称材料

非否认协议形式化分析技术 被引量：1

11

作者 范钰丹 韩继红 +1 位作者 王亚弟 赵宇 《计算机应用》 CSCD 北大核心 2006年第11期2610-2614,共5页

对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。

关键词 非否认协议 形式化分析 公平性

在线阅读 下载PDF 职称材料

非否认协议公平性分析的扩展串空间方法 被引量：1

12

作者 李磊 陈静 王育民 《西安交通大学学报》 EI CAS CSCD 北大核心 2010年第6期16-20,共5页

针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,... 针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题. 展开更多

关键词 非否认协议 扩展串空间 协议验证 公平性

在线阅读 下载PDF 职称材料

一种验证非否认协议的新方法 被引量：2

13

作者 周勇 朱梧槚 《电子与信息学报》 EI CSCD 北大核心 2007年第10期2493-2497,共5页

为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;... 为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的非否认协议,以及协议的可追究性和公平性。文中以一种基于离线TTP方式的非否认协议为例,验证了该协议在运行一次时具有可追究性,但多次运行时存在攻击。 展开更多

关键词 非否认协议 KAILAR逻辑 协议验证

在线阅读 下载PDF 职称材料

密码学可靠的不可否认协议辅助验证方法

14

作者 冯超 陈岳兵 +1 位作者 张权 唐朝京 《通信学报》 EI CSCD 北大核心 2011年第3期18-26,共9页

提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择... 提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择明文攻击下的不可区分性和明文完整性,且数字签名算法满足选择消息攻击的不可伪造性的条件下,Zhou-Gollmann协议具有公平性和不可否认性。与现有方法相比,既能有效利用辅助工具的自动验证能力,又能弥补其验证能力的不足,提高了验证效率和验证结果的可靠性。 展开更多

关键词 不可否认协议 计算模型 密码学可靠性 辅助验证

在线阅读 下载PDF 职称材料

对Zhou-Gollmann不可否认协议的一种新改进

15

作者 张青 刁俊峰 +1 位作者 温巧燕 陈更力 《计算机应用研究》 CSCD 北大核心 2008年第6期1809-1811,共3页

Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人发现协议不具有时限性并提出了一个改进方案,虽然该改进方案解决了协议的时限性问题,但却导致了另一种攻击——拒绝服务攻击。针对这一攻击,提出了一种新的改进方... Zhou和Gollmann于1996年提出了一个简单有效的公平不可否认协议,但Kim等人发现协议不具有时限性并提出了一个改进方案,虽然该改进方案解决了协议的时限性问题,但却导致了另一种攻击——拒绝服务攻击。针对这一攻击,提出了一种新的改进方法,分析表明改进后的协议能提供时限性和公平性。 展开更多

关键词 不可否认协议 公平性 时限性 拒绝服务攻击

在线阅读 下载PDF 职称材料

一种不可否认协议形式化设计方法

16

作者 刘晶 伏飞 +1 位作者 肖军模 陆阳 《计算机工程》 CAS CSCD 北大核心 2008年第4期164-166,共3页

针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可... 针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议。实例证明该方法可以很好地用于辅助不可否认协议的设计与改进。 展开更多

关键词 不可否认协议 形式化设计 逻辑 可信第三方

在线阅读 下载PDF 职称材料

基于扩展CS逻辑的非否认协议形式化分析方法

17

作者 王鹃 刘珺 张焕国 《计算机科学》 CSCD 北大核心 2010年第5期49-52,76,共5页

将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名... 将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名的重放攻击漏洞,不满足强非否认性。验证过程也表明,扩展后的CS逻辑能够有效地描述和分析具有时限性的非否认协议的安全性质。 展开更多

关键词 非否认协议 CS逻辑 时限性 非否认性 公平性

在线阅读 下载PDF 职称材料

通信系统安全技术应用——一种新型非否认协议

18

作者 陈雪松 张方舟 李勤 《大庆石油学院学报》 CAS 北大核心 2005年第2期113-115,132,共4页

针对电子商务安全协议的非否认性,在现有非否认服务的基础上,介绍了一种新型非否认协议. 该协议满足可追究性,并且是ε-公平的,协议中加入时间链作为时间标记,通过事件链和时间链的对应,在可追究时间链的前提下,实现非否认服务. 协议采... 针对电子商务安全协议的非否认性,在现有非否认服务的基础上,介绍了一种新型非否认协议. 该协议满足可追究性,并且是ε-公平的,协议中加入时间链作为时间标记,通过事件链和时间链的对应,在可追究时间链的前提下,实现非否认服务. 协议采用数字签名和对称加密机制,以保证协议在使用事件ID号的情况下的运行速度. 该协议可用于解决各种非否认和时间争端,属于逐步交换协议,具有交互性,可用于交谈、谈判等商业交流. 展开更多

关键词 非否认协议 时间标记 逐步交换 可追究性 交互性

在线阅读 下载PDF 职称材料

发送者非否认协议的UC形式化分析

19

作者 杨杰 《计算机工程》 CAS CSCD 北大核心 2009年第20期128-130,共3页

UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列... UCSA(Universally Composable Symbolic Analysis)框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。为了使该框架能够分析发送者非否认协议,提出发送者非否认性的理想功能和形式化定义,利用分析执行序列和构造模拟进程的方法分析两者在UCSA框架下的可靠性和完备性。结果表明两者在UCSA框架下是等价的。 展开更多

关键词 非否认协议 发送者非否认性 形式化分析 UCSA框架

在线阅读 下载PDF 职称材料

非否认协议中认证保密性的设计与形式化分析

20

作者 张虹 《计算机科学》 CSCD 北大核心 2008年第10期140-142,共3页

探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身... 探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身份的认证性和会话密钥的保密性。 展开更多

关键词 非否认协议 认证保密性 形式化分析 SVO逻辑

在线阅读 下载PDF 职称材料