面向高可信场景的最小核心操作系统结构及其形式化验证.docxVIP

面向高可信场景的最小核心操作系统结构及其形式化验证

目录

文档简述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

1.1研究背景与意义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．2

1.2国内外研究现状．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．4

1.3论文组织结构．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5

理论基础与技术综述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．8

2.1操作系统理论．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．8

2.2形式化验证基础．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．14

2.3高可信系统模型．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．17

2.4相关技术对比分析．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．19

最小核心操作系统结构设计．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．22

3.1最小核心操作系统的概念．．．．．．．．．．．．．．．．．．．．．．．．．．．．