科研之友
微信
新浪微博
Facebook
分享链接
摘要
该文运用椭圆曲线离散对数结合多线性映射的方法,基于多线性DH问题假设,提出了改进的基于身份公钥的可认证组密钥协商协议,以及成员动态变化及组密钥更新的相关方法,并利用应用pi演算辅以ProVerif自动化验证工具对安全性进行了形式化分析。分析结果表明,该文提出的协议实现了密钥保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,适合于资源有限的移动自组网。
- 出版日期2010
- 单位中国人民解放军国防科学技术大学
该文运用椭圆曲线离散对数结合多线性映射的方法,基于多线性DH问题假设,提出了改进的基于身份公钥的可认证组密钥协商协议,以及成员动态变化及组密钥更新的相关方法,并利用应用pi演算辅以ProVerif自动化验证工具对安全性进行了形式化分析。分析结果表明,该文提出的协议实现了密钥保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,适合于资源有限的移动自组网。
