无线网络路由协议的可证安全设计与自动化安全分析方法研究

项目名称： 无线网络路由协议的可证安全设计与自动化安全分析方法研究

项目编号： No.60972078

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 冯涛

作者单位： 兰州理工大学

项目金额： 25万元

中文摘要： 安全路由协议的基础理论探索和相关的安全设计和分析方法是可信网络研究领域的重要内容之一。本项目以无线通信网络路由协议为研究对象，融合可证明安全设计方法与符号操作的协议分析方法, 针对安全路由协议问题定义基于复杂性理论的语义，提出一种实际有效的无线网络路由协议自动化安全分析方法。主要研究无线路由协议的安全标准；利用Dolev-Yao 模型和安全多方计算理论确定路由协议的自适应威胁模型；引入通用可复合UC模型的密码协议安全定义框架，建立路由协议的形式化安全定义及可证明安全设计方法；利用计算PCL理论证明系统简化路由协议安全性的推理规则，开发一个自动化的拓扑发生器，分析检查给定网络规模N的所有可能的网络拓扑，设计基于PCL的安全协议自动化验证工具。通过研究，我们希望在安全路由协议的形式化理论和方法上有一定的突破，为高效、可靠和可证安全的路由协议设计和安全分析提供比较完整和系统的理论支持和技术支撑。

中文关键词： 无线网络安全；安全路由协议；可证明安全；协议组合逻辑；通用可组合安全框架

英文摘要：

英文关键词： Security routing protocol；secure routing protocol；provably security；Protocol Composition Logic；Universally Composable