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

1

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

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

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

下载PDF 职称材料

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

2

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

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

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

下载PDF 职称材料

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

3

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

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

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

下载PDF 职称材料

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

4

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

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

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

下载PDF 职称材料

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

5

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

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

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

下载PDF 职称材料

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

6

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

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

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

下载PDF 职称材料

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

7

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

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

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

下载PDF 职称材料

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

8

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

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

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

下载PDF 职称材料

一种基于非否认协议的电子邮件传输方案

9

作者 王凯 潘理 李建华 《通信技术》 2003年第7期100-102,共3页

在电子邮件传输中,发信人和收信人的不可否认性是一个重要的安全问题。该问题可以通过采用数据传输中的非否认协议来解决。目前多数非否认协议基于可信第三方,并且对可信第三方的安全性、通信能力要求很高,因而难以在实际中应用。提出... 在电子邮件传输中,发信人和收信人的不可否认性是一个重要的安全问题。该问题可以通过采用数据传输中的非否认协议来解决。目前多数非否认协议基于可信第三方,并且对可信第三方的安全性、通信能力要求很高,因而难以在实际中应用。提出了一种基于安全第三方的非否认协议,该协议适合于电子邮件传输的特定应用;同时该协议减少了通信流量,降低了对可信第三方的安全性要求。随后结合安全多用途邮件扩展技术,得出了基于该协议的电子邮件传输实现方案。 展开更多

关键词 电子邮件传输 非否认协议 安全多用途邮件扩展 可信第三方

原文传递

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

10

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

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

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

下载PDF 职称材料

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

11

作者 杨杰 《计算机工程》 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 职称材料

一种新的公平非否认协议及其安全性分析

12

作者 刘春英 龙士工 《计算机与信息技术》 2009年第Z1期70-71,75,共3页

本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。

关键词 非否认协议 扩充的kailar逻辑 new--cmp1协议

原文传递

基于ATL的KM非否认协议形式化分析

13

作者 田顺仙 龙士工 《贵州大学学报（自然科学版）》 2011年第5期84-86,103,共4页

研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。

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

下载PDF 职称材料

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

14

作者 张虹 《计算机科学》 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 职称材料

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

15

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

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

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

下载PDF 职称材料

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

16

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

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

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

下载PDF 职称材料

一种提供证据一致性的离线TTP多方公平非否认协议

17

作者 刘冬梅 卿斯汉 《China Communications》 SCIE CSCD 2009年第4期28-35,共8页

提出了一种可以提供证据一致性的基于离线TTP的多方公平非否认协议,和其他学者提出的多方公平非否认协议相比,文中的方案具有证据一致性的特点,即协议不管是否通过TTP执行成功,参与协议的主体获得的证据是相同的,同时协议能够提供非否... 提出了一种可以提供证据一致性的基于离线TTP的多方公平非否认协议,和其他学者提出的多方公平非否认协议相比,文中的方案具有证据一致性的特点,即协议不管是否通过TTP执行成功,参与协议的主体获得的证据是相同的,同时协议能够提供非否认性、强公平性、具有消息私密性和抗合谋攻击的特性。 展开更多

关键词 多方公平非否认协议 非否认性 公平性 证据一致性 抗合谋攻击

下载PDF 职称材料

Kim公平非否认协议的改进

18

作者 潘菊 朱建明 《计算机工程与应用》 CSCD 北大核心 2009年第4期102-104,148,共4页

在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的Kailar逻辑对新协议的公平性和可追究性进行了分析。

关键词 公平非否认协议 KAILAR逻辑 协议分析

下载PDF 职称材料

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

19

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

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

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

下载PDF 职称材料

一个带半可信第三方的公平非否认交换协议

20

作者 王彩芬 葛建华 +1 位作者 屈劲 杨世勇 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第7期4-6,共3页

以带盲密文的可验证加密作为基础 ,构造了一种新的带有半可信第三方的非否认协议 ,该协议是第一个使用半可信第三方的非否认协议 ,它有效地避免了参与各方否认曾经传输或曾经收到一个特定消息 ;不仅保证了不可否认性 ,而且不破坏协议的... 以带盲密文的可验证加密作为基础 ,构造了一种新的带有半可信第三方的非否认协议 ,该协议是第一个使用半可信第三方的非否认协议 ,它有效地避免了参与各方否认曾经传输或曾经收到一个特定消息 ;不仅保证了不可否认性 ,而且不破坏协议的公平性 .由于使用的是半可信第三方 ,从而协议更实用 . 展开更多

关键词 电子商务 盲密文 可验证加密 半可信第三方 公平性 非否认交换协议

下载PDF 职称材料