搜索到67篇“ 不可否认协议“的相关文章
- 基于信任管理三阶段模型的不可否认协议的构建方法及其构建的新协议
- 本发明公开基于信任管理三阶段模型的不可否认协议的构建方法及其构建的新协议,本发明针对当前互联网没有中心化的管理权威可以依赖，无法获知某一主体的全部信息，导致现有基于可信第三方弱化方案所构建的不可否认协议在第三方安全信息残...
- 韩志耕陈耿韩宸朵周婷陈健付纯硕赵文歆石青山
- 不可否认协议分析的扩展ZQZ逻辑方法被引量：1
- 2022年
- 不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.
- 韩志耕韩志耕杨鹏陈耿杨鹏
- 关键词：不可否认协议形式化分析逆向工程
- 一种适用于不可否认协议分析的ZQZ逻辑扩展方法及应用
- 本发明公开一种适用于不可否认协议分析的ZQZ逻辑扩展方法及应用，本发明通过向ZQZ逻辑添加时间表达式实现扩展ZQZ逻辑，且本发明在建模与分析时将协议性质按照是否与时间相关做了区别对待，仅在分析时间相关的性质(如时限性)时...
- 韩志耕石青山伍之昂杨鹏吴慧玲范远哲
- 文献传递
- 基于区块链的公平多方不可否认协议被引量：5
- 2018年
- 多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可否认协议都依赖于可信第三方TTP的参与,中心化的TTP成为了协议的性能瓶颈,同时,在现实中很难保证TTP的完全可信,给协议带来了潜在的安全威胁.在区块链中,所有的节点通过共识算法共同维护一个公开链结构,提供了类似去中心化TTP的功能,有助于解决由中心化TTP带来的性能和安全问题.本文基于公开链结构,提出一个完全无TTP参与的多方不可否认协议,并用形式化分析方法证明了协议满足不可否认性、公平性和时限性.与经典协议进行对比,所提协议在各项指标中均显示了良好的性能.
- 苑博奥刘军李戈
- 关键词：区块链不可否认性
- 一种可靠的多方不可否认协议的逻辑分析方法被引量：2
- 2018年
- 多方不可否认协议需要满足不可否认性、公平性和时限性三大安全目标,但是现有的对多方不可否认协议的形式化分析方法大多是对两方协议分析方法的简单扩展,单一方法不能完整覆盖所有的安全目标分析;同时,对单一安全目标的分析能力有限,分析结果不可靠。首先,综合比较现有的分析技术,选定SVO逻辑进行扩展,显式引入时间因素,给出对应的语法定义和时间演算公理。然后,对改进逻辑的语义模型进行介绍,并证明了逻辑系统的可靠性,使得改进后的逻辑系统支持对多方不可否认协议三大安全目标的分析。最后,选取一个典型的多方不可否认协议,分别对其时限性和公平性进行分析,发现了其中存在的时限性和公平性缺陷,并给出了对应的攻击方法。其中,公平性缺陷是首次被发现。
- 苑博奥刘军
- 关键词：SVO逻辑
- 基于权重的伪随机密钥选取的无可信第三方不可否认协议
- 2016年
- 现实中几乎不存在完全可信的第三方,通信双方使用的会话密钥的选取在一定程度上决定了这次通信的安全系数。为了能让协议不依赖于可信第三方,且使得密钥库中的密钥得以在随机选取的情况下得到最充分的利用,提出了一种基于权重的伪随机密钥选取机制的无可信第三方的不可否认协议,防止某些密钥的使用过于频繁,导致不必要的安全隐患出现。另外,还提出了一种让对方根据收到的密钥标识在密钥库中通过检索来取得此次通信密钥以代替把密钥打包发送的方式,降低了密钥泄露的风险。
- 高明汪学明
- 关键词：可信第三方不可否认伪随机
- 类离线可信第三方不可否认协议设计及分析
- 不可否认服务已经渗透到各种网络应用中,特别是与人们生活息息相关的电子商务、电子邮件等方面。提供有效的、完善的不可否认服务成为网络安全领域的研究热点。 不可否认服务由良好的协议模型及完善的协议来实现,满足各种安全性目标是...
- 李强
- 关键词：网络安全
- 文献传递
- 多方不可否认协议的增广CSP建模与分析
- 形式化分析是验证不可否认协议安全性的重要方法，然而现有研究大都集中在两方不可协议建模与分析上，对多方不可否认协议安全性验证缺少关注，致使该类协议的安全缺陷无法得到及时检测。本文基于逆向工程的思想，使用前期工作中提出的面向...
- 韩志耕陈耿罗军舟
- 关键词：形式化分析
- 文献传递
- 基于CPN模型的不可否认协议分析被引量：1
- 2011年
- 通过对不可否认协议的语义进行分析,建立有色Petri网(Coloured Petri Net,CPN)中基本元素与安全协议中元素的对应关系,对CPN Tools提供的建模语言(CPN ML)在规范协议描述、简化协议建模及自动检测方面进行扩展,提出了一种基于CPN模型的不可否认协议分析方法,该方法利用CPN tools的状态空间查询功能和自建的查询函数库来对不可否认协议进行分析和验证,该工具具有通用性强、时效性强和交互性好等诸多优点,并通过实例说明了这种方法的有效性。
- 苏桂平孙莎
- 关键词：不可否认协议形式化分析
- 密码学可靠的不可否认协议辅助验证方法
- 2011年
- 提出一种密码学可靠的Zhou-Gollmann不可否认协议辅助验证方法。首先建立了计算模型下协议的执行语义模型,构造了一种基于密码学算法的证据伪造攻击。其次,指出目前对协议公平性建模方面的缺陷,并结合辅助工具证明:在加密算法满足选择明文攻击下的不可区分性和明文完整性,且数字签名算法满足选择消息攻击的不可伪造性的条件下,Zhou-Gollmann协议具有公平性和不可否认性。与现有方法相比,既能有效利用辅助工具的自动验证能力,又能弥补其验证能力的不足,提高了验证效率和验证结果的可靠性。
- 冯超陈岳兵张权唐朝京
- 关键词：不可否认协议
相关作者
- 黎波涛
- 作品数：7被引量：44H指数：3
- 供职机构：东南大学计算机科学与工程学院
- 研究主题：不可否认协议 不可否认 形式化分析 SVO逻辑 PETRI网
- 李艳平
- 作品数：79被引量：166H指数：7
- 供职机构：陕西师范大学
- 研究主题：智能卡 随机预言模型 不可否认协议 多服务器 用户
- 罗军舟
- 作品数：400被引量：2,899H指数：22
- 供职机构：东南大学
- 研究主题：计算机网络 PETRI网 网络安全 网络管理 防火墙
- 张建中
- 作品数：251被引量：614H指数：11
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：代理签名 双线性对 数字签名 离散对数 伪造攻击
- 任艳丽
- 作品数：4被引量：2H指数：1
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：不可否认 不可否认协议 可信第三方 数字签名 网络协议
