中文摘要：

本项目主要对无线网络认证密钥交换协议的设计理论与分析方法进行了深入的研究，解决了当前存在的一些关键理论和技术问题。主要研究成果包括1）首次建立了移动网络漫游场景下认证密钥交换协议的严格安全模型，针对匿名认证密钥交换协议提出了有效的攻击方法，设计了可证明安全的匿名认证密钥交换协议；2）对一类跨域口令认证密钥交换协议提出了新的分析方法，利用智能卡技术提出了设计跨域口令认证密钥交换协议的新方法并给出了一般性的构造框架；3）针对无线传感器网络的安全需求，设计了安全高效的轻量级密钥管理协议、数据融合协议，提出了移动传感器网络克隆攻击检测的新方法；4）发展了可信计算环境远程证明的设计方法，建立了合理的平台信任关系模型，提出了具有前向安全性质的匿名证明协议；5）发展了安全协议的分析方法，针对国家标准SM2 密钥交换协议提出了未知密钥共享攻击。 本项目发表论文19篇，其中SCI检索8篇，EI检索15篇，ISTP检索7篇。出版著作1部，起草国家标准2项。