强隔离操作系统的设备虚拟化
摘要 | 第1-6页 |
Abstract | 第6-14页 |
第1章 绪论 | 第14-20页 |
·选题背景和选题意义 | 第14-15页 |
·相关文献综述及研究现状 | 第15-17页 |
·操作系统的逻辑隔离 | 第15-16页 |
·虚拟机技术的隔离 | 第16-17页 |
·本文研究背景 | 第17页 |
·研究内容与预期结果 | 第17-18页 |
·论文创新点 | 第18-19页 |
·论文结构 | 第19-20页 |
第2章 高安全操作系统的逻辑隔离 | 第20-36页 |
·访问控制 | 第20-25页 |
·自主访问控制策略 | 第21-22页 |
·强制访问控制策略 | 第22-25页 |
·安全操作系统中隔离技术 | 第25-28页 |
·硬件提供的内存保护机制 | 第26-27页 |
·进程地址空间 | 第27-28页 |
·安全操作系统面临的隐通道问题 | 第28-30页 |
·隐通道定义 | 第28-29页 |
·隐通道举例 | 第29-30页 |
·隐通道防范 | 第30页 |
·安全操作系统面临的其他问题 | 第30-34页 |
·代码漏洞导致的问题 | 第31-33页 |
·可信计算 | 第33-34页 |
·本章小结 | 第34-36页 |
第3章 虚拟机系统的系统隔离 | 第36-48页 |
·虚拟机系统原理 | 第37-44页 |
·程序虚拟机 | 第37-38页 |
·系统虚拟机 | 第38-44页 |
·虚拟机系统的隔离效果 | 第44页 |
·虚拟机面临的隔离不完全的问题 | 第44-45页 |
·本章小结 | 第45-48页 |
第4章 超内核系统的设备共享问题 | 第48-60页 |
·超内核系统介绍 | 第48-51页 |
·应用子系统 | 第49-50页 |
·超内核 | 第50-51页 |
·超内核系统的子系统间通信机制 | 第51-53页 |
·消息机制 | 第52页 |
·消息传递机制 | 第52-53页 |
·系统中设备共享问题 | 第53-56页 |
·设备虚拟化的思路和设计 | 第56-59页 |
·本章小结 | 第59-60页 |
第5章 共享硬盘虚拟技术 | 第60-90页 |
·硬盘虚拟化的模型 | 第60-61页 |
·硬盘虚拟化的设计 | 第61-69页 |
·硬盘管理 | 第61-66页 |
·硬盘管理系统的消息格式 | 第66-69页 |
·硬盘虚拟化的原型系统实现 | 第69-88页 |
·虚拟硬盘子系统原型系统实现 | 第69-84页 |
·虚拟硬盘子系统测试 | 第84-88页 |
·本章小结 | 第88-90页 |
第6章 虚拟硬盘子系统服务安全性研究 | 第90-106页 |
·拜占庭法定数目团体系统 | 第90-92页 |
·基于门限签名方案的BQS系统 | 第92-93页 |
·服务器协议 | 第93-98页 |
·SP—Ⅰ | 第94-95页 |
·SP—Ⅱ | 第95-97页 |
·协议改进 | 第97-98页 |
·服务器协议分析 | 第98-104页 |
·安全性 | 第98-99页 |
·效率 | 第99-101页 |
·读/写并发 | 第101-103页 |
·普通数据支持 | 第103页 |
·应用功能支持 | 第103-104页 |
·本章小结 | 第104-106页 |
第7章 运行代码错误容忍 | 第106-114页 |
·系统代码错误的研究 | 第106-108页 |
·容忍代码错误的思路 | 第108-109页 |
·容忍代码错误的系统设计 | 第109-111页 |
·结构设计 | 第109-110页 |
·应用子系统出错判定 | 第110-111页 |
·超内核系统代码容错实现 | 第111-112页 |
·本章小结 | 第112-114页 |
第8章 恶意消息的识别聚类算法 | 第114-128页 |
·聚类技术 | 第114-118页 |
·基于划分的聚类 | 第115-116页 |
·基于密度聚类 | 第116-117页 |
·对象邻近度 | 第117-118页 |
·密度最大值聚类算法(MDCA) | 第118-123页 |
·划分基本簇 | 第119-120页 |
·基本簇合并 | 第120-121页 |
·剩余对象处理 | 第121-122页 |
·阈值选择 | 第122-123页 |
·验证 | 第123-125页 |
·聚类准确度 | 第123-124页 |
·时间复杂度 | 第124-125页 |
·进一步讨论 | 第125-126页 |
·本章小结 | 第126-128页 |
第9章 总结 | 第128-130页 |
·论文的工作总结 | 第128-129页 |
·进一步工作的展望 | 第129-130页 |
参考文献 | 第130-138页 |
致谢 | 第138-140页 |
在读期间发表的学术论文与取得的研究成果 | 第140-141页 |