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

1

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

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

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

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

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

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

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

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

优化的双方不可否认协议的通用模型

8

作者 李艳平 《信息网络安全》 2009年第10期58-60,共3页

基于可验证承诺签名技术,提出两个优化的可实现期望传递的双方不可否认协议通用模型,分别用于消息无需保密和可实现消息机密性的应用场景,以方便不同层次的安全需求,最后分析了本文协议的安全性。

关键词 不可否认协议 可验证承诺签名 优化的

在线阅读 下载PDF 职称材料

不可否认协议分析的扩展ZQZ逻辑方法 被引量：1

9

作者 韩志耕 石青山 +2 位作者 杨鹏 陈耿 范远哲 《密码学报》 CSCD 2022年第1期60-75,共16页

不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻... 不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法. 展开更多

关键词 不可否认协议 形式化分析 ZQZ逻辑 时限性 时间表达式 逆向工程

在线阅读 下载PDF 职称材料

不可否认协议的公平性差异 被引量：1

10

作者 沈炜 陈纯 《计算机工程与应用》 CSCD 北大核心 2003年第3期169-171,共3页

不可否认协议目的是防止参与方对其行为的否认。不可否认协议必须保证参与方之间的公平,但不同协议之间的公平性差异是现实存在的,表现在达到公平的强弱程度上。该文就公平层次问题进行讨论,在扩展了已有的公平定义的基础上,结合相应的... 不可否认协议目的是防止参与方对其行为的否认。不可否认协议必须保证参与方之间的公平,但不同协议之间的公平性差异是现实存在的,表现在达到公平的强弱程度上。该文就公平层次问题进行讨论,在扩展了已有的公平定义的基础上,结合相应的实例将不可否认协议分成三个不同的层次;同时,也给出了同步与异步协议的公平性差异的若干结论。 展开更多

关键词 不可否认协议 公平性差异 异步协议 通讯协议 仲裁机构

在线阅读 下载PDF 职称材料

基于条件可信第三方的不可否认协议

11

作者 沈炜 陈纯 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2004年第1期35-38,共4页

扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协... 扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协议进一步减少了对可信第三方的依赖. 展开更多

关键词 条件可信第三方 不可否认协议 安全协议 离线第三方 网络环境

在线阅读 下载PDF 职称材料

基于区块链的公平多方不可否认协议 被引量：5

12

作者 苑博奥 刘军 李戈 《密码学报》 CSCD 2018年第5期546-555,共10页

多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可... 多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可否认协议都依赖于可信第三方TTP的参与,中心化的TTP成为了协议的性能瓶颈,同时,在现实中很难保证TTP的完全可信,给协议带来了潜在的安全威胁.在区块链中,所有的节点通过共识算法共同维护一个公开链结构,提供了类似去中心化TTP的功能,有助于解决由中心化TTP带来的性能和安全问题.本文基于公开链结构,提出一个完全无TTP参与的多方不可否认协议,并用形式化分析方法证明了协议满足不可否认性、公平性和时限性.与经典协议进行对比,所提协议在各项指标中均显示了良好的性能. 展开更多

关键词 多方不可否认协议 区块链 无TTP 不可否认性 公平性 时限性

在线阅读 下载PDF 职称材料

一种可靠的多方不可否认协议的逻辑分析方法 被引量：2

13

作者 苑博奥 刘军 《计算机科学》 CSCD 北大核心 2018年第7期143-149,共7页

多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,... 多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法。其中,公平性缺陷是首次被发现。 展开更多

关键词 多方不可否认协议 SVO逻辑 时限性 公平性

在线阅读 下载PDF 职称材料

用串空间分析ZG乐观不可否认协议

14

作者 沈海峰 《小型微型计算机系统》 CSCD 北大核心 2009年第10期1988-1993,共6页

根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据公平交换协议的消息驱动特征,给出了两方不可否认协议的循环分析流程.分析了ZG乐观不可否认协议并发现了它的缺陷,这个缺陷同样存在于ZG在线TTP不可否认协议... 根据公平交换协议和串空间的特点,定义了丛最大(极大)结点、良序丛的概念.依据公平交换协议的消息驱动特征,给出了两方不可否认协议的循环分析流程.分析了ZG乐观不可否认协议并发现了它的缺陷,这个缺陷同样存在于ZG在线TTP不可否认协议.分析结论中给出了该协议的安全执行需求和消息自由项成分的修正,并提示任何协议的设计应该避免消息中自由项的出现.本文的分析方法适用于其它两方公平交换协议. 展开更多

关键词 串空间 ZG乐观不可否认协议 良序丛 自由消息项

在线阅读 下载PDF 职称材料

一种双方不可否认密码协议 被引量：3

15

作者 李艳平 张建中 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2004年第1期161-164,共4页

分析了已有的国内外各种不可否认协议,针对它们存在的共同缺点,提出一个更为完善的密码协议:可运行在不安全信道上实现交易的公平性与通信双方的不可否认性;避免了可信第三方与通信方共享密钥,且保证传递数据的机密性与收发方交易的隐私... 分析了已有的国内外各种不可否认协议,针对它们存在的共同缺点,提出一个更为完善的密码协议:可运行在不安全信道上实现交易的公平性与通信双方的不可否认性;避免了可信第三方与通信方共享密钥,且保证传递数据的机密性与收发方交易的隐私权;尽量减少可信第三方的工作量和负担,避免了其可能成为系统瓶颈的问题.协议是安全有效的. 展开更多

关键词 不可否认协议 密码协议 电子公平协议 网上交易

在线阅读 下载PDF 职称材料

电子商务中的不可否认和隐私保护协议

16

作者 闻丹岩 夏国平 《北京工业大学学报》 EI CAS CSCD 北大核心 2007年第6期642-649,共8页

为了实现电子商务中交易的不可否认和隐私信息保护,对不可否认协议NRP3进行了改进,并基于修改后的NRP3进行了具有不可否认和隐私保护功能的电子商务原型系统开发．结果表明,扩展后的NRP3能满足电子商务应用需求,提供了客户和商家之间的... 为了实现电子商务中交易的不可否认和隐私信息保护,对不可否认协议NRP3进行了改进,并基于修改后的NRP3进行了具有不可否认和隐私保护功能的电子商务原型系统开发．结果表明,扩展后的NRP3能满足电子商务应用需求,提供了客户和商家之间的不可否认和隐私保护功能． 展开更多

关键词 不可否认协议 隐私保护 电子商务 可信第3方

在线阅读 下载PDF 职称材料

一种新的双方不可否认密码协议及其形式化分析

17

作者 桑永宣 曾吉文 《厦门大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第5期635-640,共6页

不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分... 不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击,冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质. 展开更多

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

在线阅读 下载PDF 职称材料

电子邮件UA与MTA间抗抵赖协议的研究与实现 被引量：1

18

作者 夏春和 刘璀 +1 位作者 李肖坚 陶然 《计算机研究与发展》 EI CSCD 北大核心 2007年第2期236-241,共6页

抗抵赖服务旨在生成、收集、维护已声明的事件或动作的证据,并以此证据解决关于某事件发生或未发生而引起的争议.抗抵赖协议借助密码学算法以实现抗抵赖服务.提出了一种用户代理与传输代理间的双方不可否认协议NRPUM,并将其封装到邮件... 抗抵赖服务旨在生成、收集、维护已声明的事件或动作的证据,并以此证据解决关于某事件发生或未发生而引起的争议.抗抵赖协议借助密码学算法以实现抗抵赖服务.提出了一种用户代理与传输代理间的双方不可否认协议NRPUM,并将其封装到邮件传输协议SMTP与POP3中,以实现用户代理与传输代理间的邮件抗抵赖.经过分析以及实验验证,该抗抵赖方法能够完成用户代理与传输代理间的不可否认性. 展开更多

关键词 邮件抗抵赖 不可否认协议 SMTP协议 POP3协议

在线阅读 下载PDF 职称材料