安全操作系统测评方法研究
| 第一章 引言 | 第1-10页 |
| ·研究背景 | 第8页 |
| ·研究工作 | 第8-9页 |
| ·论文组织结构 | 第9页 |
| ·本文主要贡献 | 第9-10页 |
| 第二章 安全操作系统及测评发展历程 | 第10-16页 |
| ·安全操作系统发展历程 | 第10-11页 |
| ·安全信息测评发展历程 | 第11-16页 |
| ·DoD5200.28-M | 第12页 |
| ·TCSEC | 第12页 |
| ·ITSEC | 第12-13页 |
| ·CTCPEC | 第13页 |
| ·FC | 第13页 |
| ·GB17859-1999 | 第13-14页 |
| ·CC(GB／T18336-2001) | 第14-16页 |
| 第三章 系统设计测评框架与方法 | 第16-61页 |
| ·测评标准 | 第16页 |
| ·策略模型 | 第16-21页 |
| ·基本概念 | 第16-17页 |
| ·测评方法 | 第17-21页 |
| ·测评员基本要求 | 第17-18页 |
| ·测评要求 | 第18-19页 |
| ·非形式化描述 | 第19-20页 |
| ·形式化描述 | 第20-21页 |
| ·实验论据 | 第21页 |
| ·基本功能 | 第21-29页 |
| ·第一级 用户保护级 | 第21-23页 |
| ·自主访问控制 | 第21-22页 |
| ·标识与鉴别 | 第22-23页 |
| ·数据完整性 | 第23页 |
| ·第二级 系统审计保护级 | 第23-26页 |
| ·自主访问控制 | 第23-24页 |
| ·标识与鉴别 | 第24页 |
| ·客体重用 | 第24-25页 |
| ·审计 | 第25-26页 |
| ·数据完整性 | 第26页 |
| ·第三级安 全标记保护级 | 第26-29页 |
| ·自主访问控制 | 第26页 |
| ·强制访问控制 | 第26-28页 |
| ·标记 | 第28页 |
| ·标识与鉴别 | 第28页 |
| ·其他 | 第28-29页 |
| ·第四级 结构化保护级 | 第29页 |
| ·第五级 访问验证保护级 | 第29页 |
| ·保证映射- | 第29-40页 |
| ·引入保证映射 | 第29-30页 |
| ·保证映射概念 | 第30页 |
| ·保证映射在生命周期中的位置 | 第30-31页 |
| ·风险处理 | 第31页 |
| ·资源需求 | 第31-32页 |
| ·DTLS到安全策略的映射 | 第32-35页 |
| ·指出目标安全策略 | 第32-33页 |
| ·把安全策略模型映射到COMPUSEC策略 | 第33-34页 |
| ·DTLS映射到安全策略 | 第34-35页 |
| ·代码实现到DTLS的映射 | 第35-40页 |
| ·映射过程 | 第35-36页 |
| ·分解TCB | 第36-38页 |
| ·分解DTLS | 第38-39页 |
| ·TCB到DTLS的对应 | 第39-40页 |
| ·保证论据 | 第40页 |
| ·保证映射测评 | 第40页 |
| ·渗透测试 | 第40-49页 |
| ·渗透测试特点 | 第41-42页 |
| ·目标 | 第41页 |
| ·优秀的渗透测试的组成部分 | 第41页 |
| ·渗透测试成员职责 | 第41-42页 |
| ·渗透测试生命周期 | 第42页 |
| ·渗透测试信息准备 | 第42-44页 |
| ·RVM | 第42-43页 |
| ·操作定则 | 第43页 |
| ·B2，B3或者A1的测试证据 | 第43-44页 |
| ·渗透测试实施 | 第44-49页 |
| ·发现漏洞 | 第44-46页 |
| ·漏洞假设方法(FHM) | 第46-47页 |
| ·漏洞产生 | 第47-48页 |
| ·漏洞确认 | 第48页 |
| ·漏洞消除 | 第48-49页 |
| ·隐通道分析 | 第49-61页 |
| ·隐通道策略 | 第49页 |
| ·隐通道分类 | 第49-50页 |
| ·隐通道分析必要性 | 第50页 |
| ·隐通道标识 | 第50-56页 |
| ·共享资源矩阵分析法 | 第51-53页 |
| ·隐蔽流树分析法 | 第53-56页 |
| ·隐通道分析结果处理 | 第56-57页 |
| ·消除法 | 第56页 |
| ·带宽限制法 | 第56-57页 |
| ·威慑法 | 第57页 |
| ·隐通道测评 | 第57-61页 |
| ·考虑计划 | 第57-59页 |
| ·结果评测 | 第59-60页 |
| ·如何防止损失 | 第60-61页 |
| 第四章 系统实现测评方法 | 第61-69页 |
| ·实现阶段定义 | 第61页 |
| ·可信系统测评要求 | 第61-62页 |
| ·代码实现及其测评方法 | 第62-64页 |
| ·与设计相一致 | 第62-63页 |
| ·流程结构一致性 | 第63页 |
| ·对象定义和关系一致性 | 第63页 |
| ·接口一致性 | 第63页 |
| ·流程细节一致性 | 第63页 |
| ·实现内在品质 | 第63-64页 |
| ·系统实现的测评方法 | 第64页 |
| ·实现流程及其测评方法 | 第64-67页 |
| ·项目控制 | 第64-65页 |
| ·编码流程 | 第65页 |
| ·单元测试流程 | 第65页 |
| ·集成流程 | 第65页 |
| ·集成测试流程 | 第65-66页 |
| ·文档流程 | 第66页 |
| ·支持工具 | 第66页 |
| ·配置管理流程 | 第66-67页 |
| ·其他要求 | 第67-69页 |
| ·准备工作 | 第67页 |
| ·测评过程 | 第67页 |
| ·交流总结 | 第67-69页 |
| 第五章 测评工具设计与实现 | 第69-71页 |
| ·导航测评工具设计与实现 | 第69-70页 |
| ·口令测评工具设计与实现 | 第70-71页 |
| 第六章 总结与提高 | 第71-72页 |
| 参考文献 | 第72-74页 |
| 发表文章目录 | 第74-75页 |
| 致谢 | 第75页 |
