博士研究生创新基金(211619)
- 作品数：2 被引量：8H指数：2
- 相关作者：郭华李舟军计宏霖庄雷周晓娟更多>>
- 相关机构：北京航空航天大学郑州大学解放军信息工程大学更多>>
- 发文基金：博士研究生创新基金国家自然科学基金国家密码发展基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 对一个基于身份的密钥协商协议的分析与改进被引量：3
- 2010年
- 根据2007年王圣宝等人提出的一类基于身份的密钥协商协议的特点,对私钥泄漏模仿攻击的分类进行了扩充,之后具体分析了王等人的协议,发现该协议不能抵抗扩充的私钥泄漏模仿攻击。进一步分析了存在攻击的原因,并对协议进行了改进,最后对改进后的协议的安全性质进行了分析。
- 郭华张帆李舟军周晓娟
- 关键词：认证密钥协商协议双线性配对
- 一种新的电子商务协议分析方法被引量：5
- 2010年
- 基于卿-周逻辑给出了一些新的逻辑推理规则,并提出了一种扩展的通信有限状态自动机,用于分析电子商务协议的安全性质。该方法可描述协议参与者的行为与知识,且无需人为地引入初始假设。对扩展模型抽象并修改后,还可验证其它一些与加密、签名消息无关的性质。利用该方法分析了匿名可恢复的公平交换协议,发现其满足有效性、公平性、可追究性,但不满足匿名性,并用UPPAAL验证了协议的公平性、活性与时效性等。
- 郭华李舟军庄雷计宏霖
- 关键词：电子商务协议逻辑分析
