搜索到59篇“ 非否认协议“的相关文章
- 基于Horn扩展逻辑的非否认协议建模与验证被引量：1
- 2012年
- 该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、恶意主体、仲裁进行了建模,提出了针对非否认协议的验证算法;通过使用Horn逻辑扩展模型对Zhou-Gollmann协议进行验证,得到Witness和Request事实并不匹配的结论,说明了Zhou-Gollmann协议并不具有公平性;该文对不动点计算过程进行了优化,通过将规则分为解形式规则和非解形式规则,避免了进行X-消解时对规则的逐条比较。
- 徐畅李舟军郭华张帆
- 关键词：非否认性
- 基于Horn扩展逻辑的非否认协议建模与验证研究
- 非否认协议应该具有非否认性.具体说,消息的发送方不能对其发送过消息进行否认,而消息的接收方不能够对其接收过消息进行否认.此外,非否认协议需要具有公平性,即协议的一方不能够比另一方多以任何优势。本文首先使用Horn逻辑扩展...
- 徐畅李舟军郭华张帆
- 关键词：计算机技术信息安全
- 文献传递
- 一种离线TTP公平非否认协议的安全性分析方法被引量：2
- 2011年
- 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.
- 刘冬梅卿斯汉马恒太李树仁
- 关键词：非否认性
- 基于ATL的KM非否认协议形式化分析
- 2011年
- 研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。
- 田顺仙龙士工
- 关键词：非否认协议形式化分析
- 基于扩展CS逻辑的非否认协议形式化分析方法
- 2010年
- 将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名的重放攻击漏洞,不满足强非否认性。验证过程也表明,扩展后的CS逻辑能够有效地描述和分析具有时限性的非否认协议的安全性质。
- 王鹃刘珺张焕国
- 关键词：非否认协议非否认性
- 非否认协议关键技术研究
- 随着计算机和通信技术的快速发展,电子邮件、电子商务等应用逐渐渗透到日常生活的方方面面,如何保证信息交换中各方的公平、隐私是当前备受关注的问题。非否认协议是解决这类问题的关键技术,它为参与实体提供非否认服务,包括发方非否认...
- 李磊
- 关键词：安全协议非否认协议公平交换密钥链
- 自适应多方非否认协议
- 2010年
- 多方非否认协议可分为两类:发送相同消息给多个接收者的协议和发送不同消息给多个接收者的协议。本文针对两类多方非否认协议在发送不完全相同消息时效率不高的问题,提出了自适应多方非否认协议。协议首先按照接收消息是否相同,将接收者分别划入不同的集合,然后用相同的密钥与一个随机数的异或作为加密密钥加密消息,最后依次向接收者集合广播消息。分析表明,协议满足公平性,与以往的两类多方非否认协议相比,具有更好的效率。
- 李磊王育民
- 关键词：公平交换自适应安全协议
- 非否认协议公平性分析的扩展串空间方法被引量：1
- 2010年
- 针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题.
- 李磊陈静王育民
- 关键词：非否认协议
- 互联网环境下一种新的非否认协议研究被引量：1
- 2010年
- 应用环境不同对非否认协议的要求不同,在互联网环境中,电子信息的非否认更为重要;无论非否认协议应用于什么服务,都有如下安全需求:第一,收发双方的非否认;第二,减少对第三方的信赖程度;第三,能抵御常见的篡改和重放攻击的安全威胁;第四,保证邮件信息的机密性和尽可能减少通信双方协议的交互次数;提出的互联网环境下这种新的电子信息的非否认协议,经过分析证实能够很好地解决以上这些问题。
- 陈桂芳
- 关键词：互联网公平可信第三方
- ZG离线TTP公平非否认协议的一种新改进
- 2010年
- 针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且协议简单,执行效率高。
- 杨姗媛朱建明
- 关键词：不可否认
相关作者
- 李磊
- 作品数：211被引量：976H指数：14
- 供职机构：郑州大学信息工程学院
- 研究主题：数值模拟 锥束CT FPGA CT 计算机断层成像
- 王育民
- 作品数：534被引量：2,897H指数：27
- 供职机构：西安电子科技大学通信工程学院综合业务网理论与关键技术国家重点实验室
- 研究主题：数字签名 密码学 电子商务 秘密共享 离散对数
- 范钰丹
- 作品数：30被引量：58H指数：4
- 供职机构：中国人民解放军信息工程大学
- 研究主题：安全协议 密码协议 形式化分析 公平 一阶逻辑
- 郭华
- 作品数：62被引量：436H指数：6
- 供职机构：北京航空航天大学
- 研究主题：云制造 指令集 UPPAAL 电子商务协议 反序
- 古天龙
- 作品数：485被引量：1,418H指数：17
- 供职机构：桂林电子科技大学
- 研究主题：OBDD 装配序列规划 有序二叉决策图 离散事件系统 景点
