基于安全的Linux内核动态行为研究
| 中文摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 绪论 | 第10-14页 |
| ·研究动机 | 第10-11页 |
| ·研究内容 | 第11-12页 |
| ·文章结构 | 第12-14页 |
| 第二章 安全关键系统概述 | 第14-25页 |
| ·基本概念 | 第14-16页 |
| ·安全 | 第14页 |
| ·风险 | 第14-15页 |
| ·可靠性、可用性、Security和安全性 | 第15-16页 |
| ·失效、差错、故障 | 第16页 |
| ·安全完整性等级 | 第16-20页 |
| ·安全分析 | 第20-22页 |
| ·安全分析的过程 | 第20页 |
| ·安全分析的方式 | 第20-22页 |
| ·软件多样性 | 第22-23页 |
| ·安全关键系统的升级 | 第23-25页 |
| 第三章 SIL4Linux的设计与实现 | 第25-39页 |
| ·可用的工具和资源 | 第25-28页 |
| ·ftrace | 第26-27页 |
| ·GCOV | 第27-28页 |
| ·开源POSIX测试集 | 第28页 |
| ·SIL4Linux架构 | 第28-32页 |
| ·autoftrace | 第28-30页 |
| ·autogcov | 第30-31页 |
| ·数据库设计 | 第31-32页 |
| ·网页界面设计 | 第32页 |
| ·SIL4Linux实现 | 第32-39页 |
| ·测试平台 | 第34-35页 |
| ·测试结果展示 | 第35-39页 |
| 第四章 LINUX内核的动态行为分析与讨论 | 第39-47页 |
| ·内核的动态行为 | 第39-41页 |
| ·执行路径 | 第39-40页 |
| ·执行时间 | 第40-41页 |
| ·不同版本、配置下的行为 | 第41-42页 |
| ·Linux内核的内在多样性 | 第42-44页 |
| ·复杂网络的特性 | 第44-47页 |
| 第五章 SIL4LINUX在安全关键领域的应用 | 第47-54页 |
| ·覆盖错误 | 第47-48页 |
| ·系统升级 | 第48-51页 |
| ·执行路径的相似 | 第49-51页 |
| ·执行时间的相似性 | 第51页 |
| ·应用小结 | 第51页 |
| ·安全评估的应用 | 第51-54页 |
| 第六章 结论与展望 | 第54-56页 |
| ·本文工作总结 | 第54-55页 |
| ·后续工作计划 | 第55-56页 |
| 参考文献 | 第56-59页 |
| 研究生期间成果 | 第59-60页 |
| 致谢 | 第60页 |
