检索结果-内蒙古大学图书馆

密码学报 2022年第1期9卷 60-75页

作者：韩志耕石青山杨鹏陈耿范远哲南京审计大学信息工程学院南京211815 江苏省审计信息工程重点实验室(南京审计大学) 南京211815

不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

通信学报 2011年第3期32卷 18-26页

作者：冯超陈岳兵张权唐朝京国防科技大学电子科学与工程学院湖南长沙410073

提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

不可否认协议的公平性差异

引用

计算机工程与应用 2003年第3期39卷 169-171页

作者：沈炜陈纯浙江大学计算机系杭州310027

不可否认协议目的是防止参与方对其行为的否认。不可否认协议必须保证参与方之间的公平,但不同协议之间的公平性差异是现实存在的,表现在达到公平的强弱程度上。该文就公平层次问题进行讨论,在扩展了已有的公平定义的基础上,结合相应的... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 2006年第11期43卷 1914-1919页

作者：彭红艳李肖坚夏春和邓剑锋周小发广西师范大学网络中心桂林541004 北京航空航天大学计算机学院北京市网络技术重点实验室北京100083

不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程 2008年第4期34卷 164-166页

作者：刘晶伏飞肖军模陆阳解放军理工大学通信工程学院南京210007

针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机应用研究 2008年第6期25卷 1809-1811页

作者：张青刁俊峰温巧燕陈更力北京邮电大学理学院北京100876 长江大学计算机科学学院湖北荆州434023

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

浙江大学学报（工学版） 2004年第1期38卷 35-38页

作者：沈炜陈纯浙江大学计算机科学系信雅达计算机信息安全研究中心浙江杭州310027

扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

一种新的多方不可否认协议

引用

计算机科学 2006年第8期33卷 95-97页

作者：李艳平司光东王育民西安电子科技大学ISN国家重点实验室西安710071

首次指出不可否认协议运行结果可分为认证强公平和期望强公平,其中后者优于前者。利用GPS数字签名方案,提出一个新的带离线可信第三方的多方不可否认协议,该协议实现了期望强公平且允许发方给不同的接收方发送不同的消息,突破了先前协... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

不可否认协议中的可信第三方

引用

计算机与网络 2005年第13期 50-51+61页

作者：陈更力张青长江大学计算机学院北京邮电大学理学院

在不可否认协议设计和应用中,可信第三方TTP(Trusted Third Party)担任着重要的角色。通过二个不同的协议,即Coffey—Saidha协议和Zhou—Gollmann协议,指出了TTP在其中的不同作用;同时对这二个协议进行了分析,指出了他们的特点,缺陷和... 详细信息

在不可否认协议设计和应用中,可信第三方TTP(Trusted Third Party)担任着重要的角色。通过二个不同的协议,即Coffey—Saidha协议和Zhou—Gollmann协议,指出了TTP在其中的不同作用;同时对这二个协议进行了分析,指出了他们的特点,缺陷和改进方法。

关键词：可信第三方不可否认协议公平性时限性

来源：评论

学校读者我要写书评

暂无评论

基于CPN模型的不可否认协议分析

引用

信息安全与通信保密 2011年第8期9卷 54-55,58页

作者：苏桂平孙莎中国科学院研究生院信息科学与工程学院北京100049 中国科学院研究生院工程教育学院北京100049

通过对不可否认协议的语义进行分析,建立有色Petri网(Coloured Petri Net,CPN)中基本元素与安全协议中元素的对应关系,对CPN Tools提供的建模语言(CPN ML)在规范协议描述、简化协议建模及自动检测方面进行扩展,提出了一种基于CPN模型的... 详细信息

通过对不可否认协议的语义进行分析,建立有色Petri网(Coloured Petri Net,CPN)中基本元素与安全协议中元素的对应关系,对CPN Tools提供的建模语言(CPN ML)在规范协议描述、简化协议建模及自动检测方面进行扩展,提出了一种基于CPN模型的不可否认协议分析方法,该方法利用CPN tools的状态空间查询功能和自建的查询函数库来对不可否认协议进行分析和验证,该工具具有通用性强、时效性强和交互性好等诸多优点,并通过实例说明了这种方法的有效性。

关键词：不可否认协议有色Petri模型形式化分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：