贵州省高层次人才科研条件特助经费项目(TZJF-33)
- 作品数：4 被引量：3H指数：1
- 相关作者：彭长根刘海王伟茹原志龙更多>>
- 相关机构：贵州大学更多>>
- 发文基金：贵州省高层次人才科研条件特助经费项目国家自然科学基金贵州省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于密文策略的属性签密方案被引量：1
- 2013年
- 由于签密技术不仅能同时达到加密与签名的目的,而且其计算量及通信开销都低于传统的"先签名后加密",同时为满足签密后的敏感数据只能被拥有某些特定属性的群组访问,提出基于密文策略的属性签密方案,该方案能同时满足机密性与认证性,并且通过访问控制技术可灵活控制用户的解密能力,与同类方案不同,本方案使得不同用户解密同一密文时会得到不同的结果,达到分级解密的目的。
- 王伟茹彭长根原志龙
- 关键词：签密双线性对
- 一种安全可追责的基于身份密码方案
- 2013年
- 可追责的基于身份密码体制可以缓解基于身份密码体制的密钥托管问题:仲裁者根据获取的非法私钥判断其是否由私钥生成器恶意生成。本文针对一种可行的可追责的基于身份密码方案,将其中的零知识证明改为用双线性对运算实现;以此为基础,结合一次性签名方案提出一种具有IND-sID-CCA安全性的可追责的基于身份密码方案,并给出相关证明。
- 原志龙彭长根王伟茹
- 关键词：基于身份双线性对可证明安全
- 一种理性安全协议形式化分析方法及应用被引量：1
- 2014年
- 博弈逻辑ATL和ATEL可以对传统安全协议的公平性、安全性等性质进行分析与验证。不过在理性环境下,由于参与者对知识的自利性,ATL和ATEL都不适合形式化分析与验证理性安全协议。于是在并行认知博弈结构CEGS中引入效用函数和偏好关系,得到新的并行认知博弈结构r CEGS,并在合作模态算子《Γ》中引入行为ACT参数,提出新的交替时序认知逻辑r ATEL-A,并基于不动点描述r ATEL-A时序算子。然后基于r ATEL-A,提出适合于形式化分析理性安全协议的推理系统,并对具体的理性安全协议的公平性、安全性等性质进行形式化分析。
- 刘海彭长根任祉静
- 关键词：不动点形式化分析
- 基于社会承诺机制的理性同时生效签名方案及其公平性被引量：1
- 2015年
- 同时生效签名协议是解决公平性问题的一个有效途径,但若考虑自利的参与者,掌握关键数的发起方就会利益最大化地决定是否执行协议,从而导致公平性难以满足。针对该问题,引入新的社会承诺机制,设计一个含理性参与者的同时生效签名协议,该协议满足正确性、不可伪造性、模糊性。进一步给出理性同时生效签名方案的公平性和稳定性定义,从纳什均衡的角度,采用扩展式博弈证明协议达到理性公平,从子博弈完美均衡角度,证明协议具有稳定性。利用博弈论方法解决同时生效签名中发起方占有额外权限的不公平性问题。
- 任祉静彭长根刘海
- 关键词：同时生效签名博弈论
