MANET中可认证组密钥协商协议及验证

摘要

该文运用椭圆曲线离散对数结合多线性映射的方法,基于多线性DH问题假设,提出了改进的基于身份公钥的可认证组密钥协商协议,以及成员动态变化及组密钥更新的相关方法,并利用应用pi演算辅以ProVerif自动化验证工具对安全性进行了形式化分析。分析结果表明,该文提出的协议实现了密钥保密性、身份认证性以及密钥一致性确认,同时又具有较好的性能,适合于资源有限的移动自组网。