操作系统隐蔽通道标识方法的研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-18页 |
| ·研究背景 | 第10-14页 |
| ·信息安全与操作系统安全 | 第10-11页 |
| ·操作系统安全面临的问题与威胁 | 第11页 |
| ·安全操作系统的基本设计目标 | 第11-12页 |
| ·隐蔽通道分析 | 第12-14页 |
| ·国内外研究现状 | 第14-15页 |
| ·国外研究现状 | 第14-15页 |
| ·国内研究现状 | 第15页 |
| ·论文研究内容与技术路线 | 第15-16页 |
| ·论文组织结构 | 第16-18页 |
| 2 隐蔽通道标识方法的研究 | 第18-31页 |
| ·隐蔽通道概念 | 第18-22页 |
| ·隐蔽通道的定义 | 第18-19页 |
| ·隐蔽通道的分类 | 第19-20页 |
| ·隐蔽通道产生的条件 | 第20页 |
| ·潜在隐蔽通道与真实隐蔽通道 | 第20-21页 |
| ·隐蔽通道实例 | 第21页 |
| ·隐蔽通道分析的内容 | 第21-22页 |
| ·隐蔽通道的标识方法 | 第22-26页 |
| ·Denning的信息流法 | 第22-23页 |
| ·Kemmerer的共享资源矩阵法 | 第23-24页 |
| ·Tsai的语义信息流法 | 第24页 |
| ·无干扰分析方法 | 第24-25页 |
| ·隐蔽通道标识方法简评 | 第25-26页 |
| ·基于源代码的隐蔽通道标识算法的研究 | 第26-31页 |
| ·源代码级的隐蔽通道的标识 | 第26-28页 |
| ·共享资源矩阵法的缺陷与解决方法 | 第28-31页 |
| 3 基于源代码的隐蔽通道标识工具的设计与实现 | 第31-53页 |
| ·总体设计思想 | 第31-33页 |
| ·系统源代码的扫描与分析 | 第33-38页 |
| ·词法分析器的工作原理 | 第33-35页 |
| ·词法分析器的设计 | 第35-37页 |
| ·函数依赖集的确立 | 第37-38页 |
| ·信息流树的构建 | 第38-50页 |
| ·语句信息流规则 | 第38-42页 |
| ·信息流树的构建 | 第42-45页 |
| ·信息流的化简和共享资源矩阵的生成 | 第45-50页 |
| ·基于共享资源矩阵法的隐蔽通道的标识 | 第50-53页 |
| ·共享资源矩阵法的具体步骤 | 第50-51页 |
| ·隐蔽通道的标识 | 第51-53页 |
| 4 应用实例与结果分析 | 第53-59页 |
| ·分析对象选择 | 第53-56页 |
| ·Linux内核源代码结构 | 第53-54页 |
| ·IPC子系统源代码分析 | 第54-56页 |
| ·隐蔽通道的分析与标识 | 第56-57页 |
| ·结果分析 | 第57-59页 |
| 5 结束语 | 第59-62页 |
| ·论文工作总结 | 第59页 |
| ·论文成果及创新 | 第59-60页 |
| ·研究展望 | 第60-62页 |
| 参考文献 | 第62-64页 |
| 硕士期间发表论文 | 第64-66页 |
| 学位论文数据集 | 第66页 |
