无线网络路由协议的可证安全设计与自动化安全分析方法研究
Project Number60972078
冯涛
Abstract【结题摘要】安全路由协议的基础理论探索和相关的安全设计和分析方法是可信网络研究领域的重要内容之一。本项目以无线通信网络路由协议为研究对象,融合可证明安全设计方法与符号操作的协议分析方法,针对安全路由协议问题定义基于复杂性理论的语义,提出一种实际有效的无线网络路由协议自动化安全分析方法。主要研究无线路由协议的安全标准;利用Dolev-Yao模型和安全多方计算理论确定路由协议的自适应威胁模型;引入通用可复合UC模型的密码协议安全定义框架,建立路由协议的形式化安全定义及可证明安全设计方法;利用计算PCL理论证明系统简化路由协议安全性的推理规则,开发一个自动化的拓扑发生器,分析检查给定网络规模N的所有可能的网络拓扑,设计基于PCL的安全协议自动化验证工具。通过研究,我们希望在安全路由协议的形式化理论和方法上有一定的突破,为高效、可靠和可证安全的路由协议设计和安全分析提供比较完整和系统的理论支持和技术支撑。
Subtype面上项目
Project Source国家自然科学基金
2010
End Date2012-12-01
MOST Discipline Catalogue1201 - 电子学与信息系统 ; 12 - 信息科学
Host Institution兰州理工大学
Project Funding250000.0
CountryCN
Language中文
Document Type项目
Identifierhttp://ir.lut.edu.cn/handle/2XXMBERH/64966
Collection计算机与通信学院
Recommended Citation
GB/T 7714
冯涛.无线网络路由协议的可证安全设计与自动化安全分析方法研究.2010.
Files in This Item:
There are no files associated with this item.
Related Services
Usage statistics
Google Scholar
Similar articles in Google Scholar
[冯涛]'s Articles
Baidu academic
Similar articles in Baidu academic
[冯涛]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[冯涛]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.