基于无干扰的隐通道搜索优化、容量度量及限制
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 第一章 绪论 | 第9-18页 |
| ·研究背景 | 第9-13页 |
| ·访问控制 | 第9-11页 |
| ·隐通道 | 第11-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·论文的主要工作 | 第15-16页 |
| ·论文的组织结构 | 第16-18页 |
| 第二章 隐通道的相关研究 | 第18-22页 |
| ·隐通道的无干扰分析法 | 第18-19页 |
| ·隐通道带宽计算的影响因素 | 第19-20页 |
| ·隐通道处理的带宽限制法 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第三章 隐通道搜索中状态空间的优化 | 第22-36页 |
| ·基于状态机的无干扰属性验证 | 第22-24页 |
| ·安全系统的状态机模型 | 第22-23页 |
| ·无干扰安全属性的验证 | 第23-24页 |
| ·无干扰验证状态空间的简化 | 第24-27页 |
| ·关联变量和单步状态转换的识别 | 第24-26页 |
| ·多余变量和单步状态转换的剔除 | 第26-27页 |
| ·IMP程序中的应用 | 第27-32页 |
| ·IMP变量依赖关系的近似计算 | 第28-30页 |
| ·IMP实例 | 第30-32页 |
| ·扩展到非传递无干扰属性 | 第32-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 基于信息熵的隐通道能力分析 | 第36-45页 |
| ·信息熵 | 第36-37页 |
| ·熵 | 第36页 |
| ·条件熵 | 第36-37页 |
| ·基于信息熵的信道能力计算 | 第37-41页 |
| ·信道输出熵的计算 | 第40页 |
| ·信道条件熵的计算 | 第40-41页 |
| ·隐通道能力的影响因素 | 第41-42页 |
| ·实例 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 采用容量指标的隐通道限制方法 | 第45-57页 |
| ·隐通道信道容量度量和限制的基本原理 | 第45-47页 |
| ·隐通道信道容量的度量 | 第45-46页 |
| ·隐通道的限制方法 | 第46-47页 |
| ·多级安全数据库中隐通道的信道容量度量 | 第47-52页 |
| ·信道场景的构造 | 第47-48页 |
| ·信道建模 | 第48页 |
| ·信道容量的分析与度量 | 第48-52页 |
| ·采用容量指标的多级安全数据库信道限制 | 第52-56页 |
| ·采用容量指标的信道限制方法分析 | 第52-54页 |
| ·干扰概率的计算 | 第54-56页 |
| ·隐通道限制的操作流程 | 第56页 |
| ·本章小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-59页 |
| ·总结 | 第57-58页 |
| ·展望 | 第58-59页 |
| 参考文献 | 第59-62页 |
| 致谢 | 第62-63页 |
| 发表论文 | 第63页 |
