密钥链多方非否认协议 被引量：2

1

作者 李磊 谭新莲 王育民 《计算机科学》 CSCD 北大核心 2009年第10期89-90,97,共3页

多方非否认协议通常仅考虑一轮消息交换的情况,很少讨论相同参与方进行多轮消息交换的情况。基于后者对多方非否认协议进行优化,提出了一种利用密钥链实现的多方非否认协议,以有效减轻TTP存储负担。协议由Initialization,Exchange,Abort... 多方非否认协议通常仅考虑一轮消息交换的情况,很少讨论相同参与方进行多轮消息交换的情况。基于后者对多方非否认协议进行优化,提出了一种利用密钥链实现的多方非否认协议,以有效减轻TTP存储负担。协议由Initialization,Exchange,Abort和Recovery4个子协议以及争议处理方案组成。分析表明,协议满足公平性、时限性和机密性。 展开更多

关键词 安全协议 非否认 多方协议 密钥链

下载PDF 职称材料

互联网环境下一种新的非否认协议研究 被引量：1

2

作者 陈桂芳 《计算机测量与控制》 CSCD 北大核心 2010年第2期457-458,462,共3页

应用环境不同对非否认协议的要求不同,在互联网环境中,电子信息的非否认更为重要;无论非否认协议应用于什么服务,都有如下安全需求:第一,收发双方的非否认;第二,减少对第三方的信赖程度;第三,能抵御常见的篡改和重放攻击的安全威胁;第四... 应用环境不同对非否认协议的要求不同,在互联网环境中,电子信息的非否认更为重要;无论非否认协议应用于什么服务,都有如下安全需求:第一,收发双方的非否认;第二,减少对第三方的信赖程度;第三,能抵御常见的篡改和重放攻击的安全威胁;第四,保证邮件信息的机密性和尽可能减少通信双方协议的交互次数;提出的互联网环境下这种新的电子信息的非否认协议,经过分析证实能够很好地解决以上这些问题。 展开更多

关键词 互联网 公平 非否认 可信第三方

下载PDF 职称材料

支持透明离线TTP的多方非否认协议 被引量：1

3

作者 李磊 杨加喜 王育民 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2009年第4期1099-1104,共6页

针对电子商务中已提出的多方非否认协议不支持透明TTP,提出了一种新的协议,该协议的非否认证据不需使用TTP的签名,实现了对透明TTP的支持。协议由Exchange、Cancel和Finish三个子协议以及争议处理方案组成,在正常执行情况下,仅需3个消... 针对电子商务中已提出的多方非否认协议不支持透明TTP,提出了一种新的协议,该协议的非否认证据不需使用TTP的签名,实现了对透明TTP的支持。协议由Exchange、Cancel和Finish三个子协议以及争议处理方案组成,在正常执行情况下,仅需3个消息交换步骤。对协议的分析表明,协议满足公平性、时限性和机密性。 展开更多

关键词 通信技术 安全协议 非否认 多方协议 透明TTP

下载PDF 职称材料

概率非否认协议的模型检测分析

4

作者 董荣胜 陈大伟 +1 位作者 郭云川 古天龙 《计算机工程》 CAS CSCD 北大核心 2007年第3期163-166,共4页

基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析... 基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率。 展开更多

关键词 非否认 概率模型检测 PRISM 有限状态机

下载PDF 职称材料

自适应多方非否认协议

5

作者 李磊 王育民 《网络安全技术与应用》 2010年第3期78-80,共3页

多方非否认协议可分为两类:发送相同消息给多个接收者的协议和发送不同消息给多个接收者的协议。本文针对两类多方非否认协议在发送不完全相同消息时效率不高的问题,提出了自适应多方非否认协议。协议首先按照接收消息是否相同,将接收... 多方非否认协议可分为两类:发送相同消息给多个接收者的协议和发送不同消息给多个接收者的协议。本文针对两类多方非否认协议在发送不完全相同消息时效率不高的问题,提出了自适应多方非否认协议。协议首先按照接收消息是否相同,将接收者分别划入不同的集合,然后用相同的密钥与一个随机数的异或作为加密密钥加密消息,最后依次向接收者集合广播消息。分析表明,协议满足公平性,与以往的两类多方非否认协议相比,具有更好的效率。 展开更多

关键词 非否认 公平交换 自适应 安全协议

原文传递

加入时间因素的Needham-Schorder协议及其形式化分析

6

作者 赵华伟 李大兴 《计算机工程与应用》 CSCD 北大核心 2005年第36期108-110,134,共4页

在安全数据的通讯中,数据发送和接收的非否认十分重要。文章在克服Needham-Schorder协议缺陷的基础上,提出了一种基于时间戳的改进方案,该方案有效地解决了可信中心的性能瓶颈问题,是一个更为实际的安全协议,此外通过对其进行形式化分析... 在安全数据的通讯中,数据发送和接收的非否认十分重要。文章在克服Needham-Schorder协议缺陷的基础上,提出了一种基于时间戳的改进方案,该方案有效地解决了可信中心的性能瓶颈问题,是一个更为实际的安全协议,此外通过对其进行形式化分析,证明了该协议可以抵抗参加协议各主体的否认攻击。 展开更多

关键词 时间戳 BAN逻辑 非否认

下载PDF 职称材料

电子商务协议中的可信第三方角色 被引量：31

7

作者 卿斯汉 《软件学报》 EI CSCD 北大核心 2003年第11期1936-1943,共8页

在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对... 在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法. 展开更多

关键词 可信第三方 电子商务协议 非否认性 可追究性 公平性

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

公平的非否认密码协议及其形式分析与应用 被引量：18

9

作者 李先贤 怀进鹏 《软件学报》 EI CSCD 北大核心 2000年第12期1628-1634,共7页

在安全数据通信中 ,数据发送和接收的非否认性是一个极为重要的问题 .近年来 ,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送 ,因而 ,可信第三方的可靠性和安全性是系统性能的瓶颈 .提出了一个公平的双方不可否认的... 在安全数据通信中 ,数据发送和接收的非否认性是一个极为重要的问题 .近年来 ,实现这种类型的密码协议主要是通过可信第三方参与数据的加密与传送 ,因而 ,可信第三方的可靠性和安全性是系统性能的瓶颈 .提出了一个公平的双方不可否认的密码协议—— N CP( non- repudiation cryptographic protocol) .这个协议解决了可信第三方的性能瓶颈问题 ,是一个更为有效的、安全的密码协议 .用信任逻辑对其进行了形式分析 。 展开更多

关键词 数字签名 非否认密码协议 公钥体制 私钥体制 信任逻辑

下载PDF 职称材料

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

10

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

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

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

下载PDF 职称材料

基于签密的多方认证邮件协议 被引量：10

11

作者 王彩芬 贾爱库 +1 位作者 刘军龙 于成尊 《电子学报》 EI CAS CSCD 北大核心 2005年第11期2070-2073,共4页

签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明... 签密方案可以在一个逻辑步骤内同时实现签名和加密,可以有效地减少运算.本文在已有的两方签密方案的基础上结合组可验证的签密方案,提出了一种新的、可用于多方认证邮件协议的签密方案,进而设计出了异步的一对多的认证邮件协议,并证明了该协议的公平性与非否认性.文中还通过与已有协议进行比较,阐述了新协议的优点. 展开更多

关键词 公平交换协议 一对多的认证邮件协议 签密 公平性 非否认性

下载PDF 职称材料

利用Diffie-Hellman算法改进Kerberos协议 被引量：8

12

作者 汤卫东 李为民 《计算机工程与设计》 CSCD 北大核心 2007年第2期343-345,共3页

针对Kerberos认证协议由对称算法所带来的局限性,国内外已有很多人用以RSA算法为代表的公钥体制对Kerberos协议进行了改进,但美中不足的是Kerberos本身可以窃听客户和服务器之间的会话而不被举证。选用Diffie-Hellman算法来修正Kerbero... 针对Kerberos认证协议由对称算法所带来的局限性,国内外已有很多人用以RSA算法为代表的公钥体制对Kerberos协议进行了改进,但美中不足的是Kerberos本身可以窃听客户和服务器之间的会话而不被举证。选用Diffie-Hellman算法来修正Kerberos协议,不仅继承了先行者们的研究成果,而且彻底解决Kerberos可能窃听通信双方会话的问题。因此更具安全性、实用性。 展开更多

关键词 Kerbems Diffie—Hellman算法 身份认证 DES RSA 非否认机制

下载PDF 职称材料

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

13

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

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

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

下载PDF 职称材料

利用ElGamal算法改进Kerberos协议 被引量：7

14

作者 汤卫东 李为民 周永权 《计算机工程与设计》 CSCD 北大核心 2006年第11期2063-2065,共3页

针对Kerberos认证协议由对称算法所带来的局限性,国内外已有很多人用以RSA算法为代表的公钥体制对Kerberos协议进行了改进。本文选用ElGamal算法来修正Kerberos协议,一箭双雕,不仅继承了先行者们的研究成果,而且彻底解决Kerberos可能窃... 针对Kerberos认证协议由对称算法所带来的局限性,国内外已有很多人用以RSA算法为代表的公钥体制对Kerberos协议进行了改进。本文选用ElGamal算法来修正Kerberos协议,一箭双雕,不仅继承了先行者们的研究成果,而且彻底解决Kerberos可能窃听通信双方会话的问题。因此,更具安全性、实用性。 展开更多

关键词 KERBEROS ElGamal算法 身份认证 DES RSA 非否认机制

下载PDF 职称材料

带脱线半可信第三方的公平非否认交换协议 被引量：5

15

作者 王彩芬 葛建华 《电子学报》 EI CAS CSCD 北大核心 2002年第2期286-288,共3页

不可否认性和公平性是电子商务交换协议中的两个重要性质 .本文以带盲密文的可验证加密方案为基础 ,提出了一种新的带有脱线半可信第三方公平的非否认协议 。

关键词 电子商务 非否认性 公平性 通信协议 加密 交换协议

下载PDF 职称材料

一个新的公平非否认协议 被引量：4

16

作者 文静华 田建强 李祥 《计算机工程》 CAS CSCD 北大核心 2006年第2期132-134,共3页

在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验... 在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证,新的协议满足非否认性和公平性原则,可广泛应用于电子邮件、电子合同等电子商务应用中。 展开更多

关键词 通信协议 非否认性 公平性 KAILAR逻辑

下载PDF 职称材料

新的复合型电子商务安全协议 被引量：4

17

作者 陈莉 郭清溥 《计算机工程与应用》 CSCD 北大核心 2010年第11期14-17,共4页

针对典型电子商务安全协议存在的安全目标单一,不能满足日益增加的安全需求等问题,提出了一种能够满足多种安全属性的复合型电子商务安全协议,该协议包含认证子协议和支付子协议两部分。认证子协议基于令牌概念实现了高效认证及协商会... 针对典型电子商务安全协议存在的安全目标单一,不能满足日益增加的安全需求等问题,提出了一种能够满足多种安全属性的复合型电子商务安全协议,该协议包含认证子协议和支付子协议两部分。认证子协议基于令牌概念实现了高效认证及协商会话密钥。改进匿名电子现金支付协议,提出了支付子协议,引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。 展开更多

关键词 复合型安全协议 安全属性 认证性 非否认性 公平性

下载PDF 职称材料

一个基于零知识证明的非否认电子现金方案 被引量：2

18

作者 蔡满春 杨成 +1 位作者 赵海洋 杨义先 《计算机应用研究》 CSCD 北大核心 2005年第9期113-114,共2页

大多电子现金具有匿名性特点以保证所有者的私有性,可是很少有电子现金具有非否认特点。电子现金具有非否认性很有必要,它能避免由于现金敲诈、洗钱、抢劫被盗、丢失、错误使用、重复花费等带来的损失。基于部分盲签名和零知识证明,设... 大多电子现金具有匿名性特点以保证所有者的私有性,可是很少有电子现金具有非否认特点。电子现金具有非否认性很有必要,它能避免由于现金敲诈、洗钱、抢劫被盗、丢失、错误使用、重复花费等带来的损失。基于部分盲签名和零知识证明,设计了一个同时具有匿名性和非否认的电子现金。 展开更多

关键词 非否认性 部分盲签名 零知识证明

下载PDF 职称材料

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

19

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

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

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

下载PDF 职称材料

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

20

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

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

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

下载PDF 职称材料