共4页
目录
第一章绪论
1.研究目的及意义
2.国内外发展
3.主要工作和贡献
4.论文组织结构
第二章相关概念介绍
2.
1.网络协议
2.
2.通讯顺序进程
2.
XXX
第三章基于有向图的网络协议建模
3.
1.网络协议攻击发现和分析架构
3.
2.网络协议建模
3.
3.攻击路径分析过程
3.
4.针对BGP的建模和攻击分析案例
3.
4.
XXX协议资源分析1
3.
4.
XXX协议行为分析1
3.
4.
XXX协议危害与行为规则分析1
3.
4.
4.规则图以及攻击路径分析1
3.
4.
5.攻击路径的规范描述1
3.
5.基于规则库的网络协议的攻击发现1
第四章基于CSP的网络协议建模1
4.
1.形式化建模分析1
4.
XXX协议的分析与建模案例1
4.
2.
1.整体模型介绍
4.
2.
XXX协议分析
4.
2.
XXX协议模型介绍
4.
2.
XXX检测结果
第五章总结与展望
5.
1.总结
5.
2.展望
举报
