刘海
- 作品数：9 被引量：20H指数：4
- 供职机构：西安电子科技大学网络与信息安全学院更多>>
- 发文基金：国家自然科学基金贵州省自然科学基金贵州省高层次人才科研条件特助经费项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 混合偏好模型下的分布式理性秘密共享方案被引量：8
- 2014年
- 理性秘密共享方案通过扩展参与者的类型后具有更好的适应性,而现有方案中的共享秘密往往依赖于秘密分发者,但在某些特定环境中秘密分发者并不一定存在.通过对传统分布式秘密共享方案的分析,给出了分布式理性秘密共享方案的一般形式化描述;同时,考虑理性参与者的眼前利益和长远利益,提出一种新的理性参与者混合偏好模型;进一步结合机制设计理论的策略一致机制,设计了一个激励相容的信誉讨价还价机制,以此有效约束理性参与者的行为,从而实现了公平的(t,n)(t,n≥2)分布式理性秘密共享方案的构造;通过从信道类型、秘密分发者的在线/离线需求、方案的通用性和偏好模型等方面与目前相关理性秘密共享方案进行对比分析,进一步分析了所提出方案的优势.
- 彭长根刘海田有亮吕桢刘荣飞
- 关键词：形式化描述
- 一种理性安全协议的博弈逻辑描述模型被引量：1
- 2015年
- 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。但在理性环境中,由于参与者对知识的自利性,ATL和ATEL都不能形式化分析与验证理性安全协议。因此在CEGS中引入效用函数和偏好关系知识,得到新的rCEGS,并在合作模态算子《Γ》中加入行为ACT参数,提出新的可形式化分析理性安全协议的交替时序认知逻辑rATEL-A。然后运用rATEL-A构建两方理性安全协议的形式化模型,并基于rCEGS的等价扩展式博弈,对具体的两方理性交换协议进行形式化分析,结果表明构建的形式化模型可以有效地形式化分析理性安全协议的正确性、理性安全性和理性公平性。
- 刘海彭长根张弘任祉静
- 关键词：博弈论形式化分析
- 基于信誉机制的理性秘密共享方案被引量：1
- 2012年
- 理性秘密共享是博弈论与传统秘密共享相结合产生的新的研究方向。在理性秘密共享中,参与者从利益最大化的角度选择行为,在秘密重构阶段易出现"空威胁"和最后一轮不合作的问题。本文基于博弈论分析完全理性参与者在信誉机制下的行为偏好,采用激励相容原理,设计信誉惩罚机制,构建一个理性秘密共享方案。该方案通过信誉惩罚机制有效的约束完全理性参与者的行为,避免出现"空威胁"。并由信誉最高的参与者充当"可信中心"进行秘密重构,有效的解决在秘密重构阶段最后一轮各个参与者相互不合作的问题,防止参与者相互合谋的行为。
- 刘海彭长根吕桢刘荣飞
- 关键词：博弈论
- 密码学与博弈论的交叉研究综述被引量：6
- 2017年
- 博弈论与密码学的学科相似性催生了博弈密码学这个新兴的交叉研究方向,博弈论为解决密码协议中的一些安全目标提供了一种契机.传统的密码系统只考虑诚实参与者或恶意参与者,本文从博弈论和密码学的共性出发,通过自利参与者的引入,介绍了博弈密码学研究的出发点和思路,形式化描述了密码系统博弈模型及相关概念;进一步介绍了理性密码协议安全性定义,初步从博弈均衡的角度探讨了密码协议的公平性,并基于均衡理论对密码协议的安全性和公平性模型及定义进行分析;对理性公平交换、理性秘密共享和理性安全多方计算的研究现状进行了综述和分析,指出了存在的相关问题;阐述了经济学中的机制设计及其在博弈密码协议设计中的应用及前景;最后简单叙述了我们的一些工作,介绍了基于特殊博弈模型、混合偏好模型和均衡理论的理性密码协议设计思路,重点探讨了理性密码协议的公平机制设计问题.针对博弈密码学作为极具挑战性的研究领域,本文同时给出了一些需要深入探讨的相关问题.
- 彭长根田有亮刘海丁红发
- 关键词：博弈论密码学
- 基于中国剩余定理的公平理性安全多方计算
- 2014年
- 现有的理性安全多方计算多数通过同步信道来实现,本文基于中国剩余定理,在异步信道上实现了公平的理性安全多方计算。采用不确定轮数的办法,使得理性参与者不知道那一轮是最后一轮。通过一报还一报机制和动态添加/删除方式,使得理性参与者偏离协议的收益小于遵循协议的收益,理性参与者没动机偏离协议,实现任意参与者人数的公平理性安全多方计算,从博弈论角度对方案进行公平性分析。最后从信道类型、参与者组成、交互轮数、其它要求进行方案对比,进一步说明本方案具有的优势。
- 刘荣飞彭长根刘海吕桢
- 关键词：安全多方计算中国剩余定理
- 一种理性安全协议形式化分析方法及应用被引量：1
- 2014年
- 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构r CEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑r ATEL-A,并基于不动点描述r ATEL-A时序算子。然后基于r ATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析。
- 刘海彭长根任祉静
- 关键词：不动点形式化分析
- 基于社会承诺机制的理性同时生效签名方案及其公平性被引量：1
- 2015年
- 同时生效签名协议是解决公平性问题的一个有效途径,但若考虑自利的参与者,掌握关键数的发起方就会利益最大化地决定是否执行协议,从而导致公平性难以满足。针对该问题,引入新的社会承诺机制,设计一个含理性参与者的同时生效签名协议,该协议满足正确性、不可伪造性、模糊性。进一步给出理性同时生效签名方案的公平性和稳定性定义,从纳什均衡的角度,采用扩展式博弈证明协议达到理性公平,从子博弈完美均衡角度,证明协议具有稳定性。利用博弈论方法解决同时生效签名中发起方占有额外权限的不公平性问题。
- 任祉静彭长根刘海
- 关键词：同时生效签名博弈论
- (2,2)贝叶斯理性秘密共享方案被引量：5
- 2014年
- 在理性秘密共享协议中,自利性目标可能会驱使理性参与者偏离协议,从而影响协议的公平性.在(t,n)门限理性秘密共享方案中,其特殊情形(2,2)理性秘密共享方案的公平性较难实现.在同时考虑理性参与者的眼前利益和长远利益的基础上,基于不完全信息动态博弈模型,通过分析理性参与者在(2,2)秘密重构阶段可能采取的策略和信念系统,引入理性参与者的期望收益,研究了(2,2)理性秘密共享重构阶段的完美贝叶斯均衡问题.进一步结合机制设计理论中的VCG(Vickrey-Clarke-Groves)机制,设计激励相容的交互记录机制来约束理性参与者的行为,在不需要秘密分发者保持在线的情形下,提出一个适用于异步通信的公平的(2,2)理性秘密共享方案.
- 刘海彭长根田有亮吕桢刘荣飞
- 关键词：不完全信息信念系统完美贝叶斯均衡
- 基于极大熵原理的理性公平交换协议被引量：4
- 2014年
- 鉴于理性交换协议是一个动态博弈模型,在完全不完美动态博弈中,力图用极大熵原理来解决理性参与者的策略行为推断问题。扩展了一个基于信息熵的理性交换协议模型,通过引入期望收益函数和期望均衡的方法,给出理性交换协议的公平性描述;基于最大熵原理构造了一种新的理性交换协议;证明该协议的安全性,利用博弈树的方法对整个交换过程进行分析并给出了理性公平性证明,结果表明该协议能达到期望均衡。协议交换过程中无须可信第三方的参与,该协议实现了理性公平性且具有更好的适应性。
- 吕桢彭长根刘海刘荣飞
- 关键词：最大熵原理信息熵博弈论
