首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--操作系统论文--网络操作系统论文

可信Linux操作系统关键技术研究

摘要第1-5页
Abstract第5-9页
第1章 绪论第9-16页
   ·课题研究的背景和意义第9页
   ·Linux操作系统第9-10页
   ·可信性的属性及可信计算平台第10-13页
     ·可信的概念及属性第10-12页
     ·可信计算平台第12-13页
   ·国内外研究状况第13-15页
     ·国外研究状况第13-15页
     ·国内研究状况第15页
   ·论文的总体结构与思路第15-16页
第2章 可信属性的研究第16-27页
   ·可靠性第16-21页
     ·计算机可靠性理论第16页
     ·可靠性指标第16-18页
     ·提高可靠性的方法第18-19页
     ·人工故障注入第19-21页
   ·容错性第21-22页
     ·硬件冗余第21页
     ·信息冗余第21页
     ·时间冗余第21-22页
     ·软件冗余第22页
   ·安全性第22-25页
     ·安全策略模型第22-24页
     ·LSM安全模块第24-25页
   ·属性之间的关系第25-26页
   ·本章小结第26-27页
第3章 可信Linux操作系统的整体设计第27-33页
   ·可信Linux操作系统第27-28页
     ·可信Linux操作系统的设计原则第27-28页
     ·可信Linux操作系统的安全特性第28页
   ·安全Linux操作系统第28-32页
     ·安全Linux操作系统的提出第29页
     ·Linux操作系统安全的目标第29页
     ·安全Linux操作系统的总体结构第29-32页
   ·本章小结第32-33页
第4章 Linux操作系统的可信启动第33-42页
   ·操作系统的一般启动过程第33-34页
   ·Linux操作系统的启动过程第34-35页
   ·Grub第35-40页
     ·Grub及其在Linux启动过程中的作用第36-37页
     ·Grub过程及源代码分析第37-40页
   ·可信Grub第40-41页
   ·实验验证第41页
   ·本章小结第41-42页
第5章 安全Linux操作系统的设计与实现第42-66页
   ·标识与鉴定子系统第42-43页
   ·可信通路子系统第43-44页
   ·存取控制子系统第44-52页
     ·自主存取访问控制第45-46页
     ·强制存取访问第46-52页
   ·最小特权管理子系统第52-53页
     ·用户最小特权管理第53页
     ·进程最小特权管理第53页
   ·审计子系统第53-62页
     ·审计系统中的事件第54-56页
     ·内核机制第56-58页
     ·审计子系统的实现第58-62页
   ·隐通道子系统第62-63页
   ·客体重用子系统第63-64页
   ·系统验证第64-65页
   ·本章小结第65-66页
结论第66-68页
参考文献第68-72页
致谢第72页

论文共72页,点击 下载论文
上一篇:三维模型检索技术研究与系统实现
下一篇:基于Agent的一对多谈判前协商支持系统的设计与实现