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

摘要：

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

关键词：组密钥、密钥协商、认证、多线性表

所属期刊栏目：6

分类号：TP311(计算技术、计算机技术)

在线出版日期：2011-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：8966-8969