基于共享资源矩阵法的Linux内核隐蔽通道搜索研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-11页 |
| 1 绪论 | 第11-19页 |
| ·课题背景 | 第11-15页 |
| ·信息安全 | 第11-12页 |
| ·操作系统安全 | 第12-13页 |
| ·信息安全评估准则 | 第13-15页 |
| ·隐蔽通道分析的必要性 | 第15页 |
| ·国内外研究现状 | 第15-17页 |
| ·论文研究内容与技术路线 | 第17页 |
| ·论文组织结构 | 第17-19页 |
| 2 隐蔽通道分析方法研究 | 第19-33页 |
| ·隐蔽通道概念 | 第19-23页 |
| ·隐蔽通道的定义 | 第19-20页 |
| ·隐蔽通道的分类 | 第20-21页 |
| ·隐蔽通道的特点 | 第21-22页 |
| ·隐蔽通道举例 | 第22-23页 |
| ·隐蔽通道分析 | 第23-26页 |
| ·隐蔽通道分析的层次与内容 | 第23-24页 |
| ·隐蔽通道发生的条件 | 第24-25页 |
| ·隐蔽通道的判定规则 | 第25页 |
| ·真实隐蔽通道与潜在隐蔽通道 | 第25-26页 |
| ·隐蔽通道的标识分析方法 | 第26-31页 |
| ·句法信息流分析法 | 第26-27页 |
| ·无干扰分析法 | 第27-28页 |
| ·共享资源矩阵分析法 | 第28-29页 |
| ·语义信息流分析法 | 第29-30页 |
| ·隐蔽流树分析法 | 第30-31页 |
| 本章小结 | 第31-33页 |
| 3 一种新的共享资源矩阵传递闭包计算算法的实现 | 第33-51页 |
| ·共享资源矩阵分析法与传递闭包计算 | 第33-34页 |
| ·共享资源矩阵分析法主要步骤 | 第33-34页 |
| ·共享资源矩阵传递闭包计算基本思想 | 第34页 |
| ·新的共享资源矩阵传递闭包计算算法实现 | 第34-46页 |
| ·数据结构设计 | 第35-36页 |
| ·算法流程设计 | 第36-42页 |
| ·算法实现关键环节处理 | 第42-46页 |
| ·新算法实现与早前实现方法的对比 | 第46-50页 |
| ·早前实现方法简介 | 第46-47页 |
| ·新实现方法的优点 | 第47页 |
| ·两种算法实现方法的比较 | 第47-48页 |
| ·新实现方法在统计学上的特点 | 第48-50页 |
| 本章小结 | 第50-51页 |
| 4 Makefile文件的分析与研究 | 第51-73页 |
| ·Linux内核源代码组成分析 | 第51-54页 |
| ·Makefile文件与Make工具 | 第54-58页 |
| ·Makefile文件 | 第54-56页 |
| ·Make工具 | 第56页 |
| ·Makefile文件与其他各类脚本的区别 | 第56-58页 |
| ·Makefile文件分析要点 | 第58-71页 |
| ·Makefile文件格式 | 第58-64页 |
| ·Linux系统内核Makefile文件中的变量 | 第64-71页 |
| ·Makefile自动分析工具的构想 | 第71页 |
| 本章小结 | 第71-73页 |
| 5 结束语 | 第73-77页 |
| ·论文工作总结 | 第73-74页 |
| ·论文成果及创新 | 第74页 |
| ·研究展望 | 第74-77页 |
| 参考文献 | 第77-81页 |
| 附录 | 第81-89页 |
| 作者简历 | 第89-91页 |
| 科研成果 | 第91-95页 |
| 学位论文数据集 | 第95页 |
