操作系统形式规约与验证综述.docxVIP

操作系统形式规约与验证综述

目录

内容概述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3

1.1研究背景．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．3

1.2研究意义．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．4

1.3文献综述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．5

操作系统形式规约概述．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．7

2.1形式规约的概念．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．9

2.2形式规约的特点．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．10

2.3形式规约的分类．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．12

操作系统形式规约方法与技术．．．．．．．．．．．．．．．．．．．．．．．．．．．．．13

3.1形式化方法．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．15

3.1.1概念分层．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．16

3.1.2形式化语言．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．17

3.1.3形式化工具．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．19

3.2验证方法．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．20

3.2.1模型检查．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．21

3.2.2理论验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．23

3.2.3实践验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．24

操作系统关键组件的形式规约与验证．．．．．．．．．．．．．．．．．．．．．．．26

4.1进程管理．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．27

4.1.1进程模型规约．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．28

4.1.2进程调度验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．29

4.2内存管理．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．31

4.2.1内存分配策略规约．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．32

4.2.2内存保护机制验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．33

4.3文件系统．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．34

4.3.1文件系统结构规约．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．36

4.3.2文件访问控制验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．37

4.4网络通信．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．39

4.4.1网络协议规约．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．40

4.4.2网络安全性验证．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．42

操作系统形式规约与验证的应用案例．．．．．．．．．．．．．．．．．．．．．．．43

5.1案例一．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．44

5.2案例二．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．46

5.3案例三．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．47

操作系统形式规约与验证的挑战与展望．．．．．．．．．．．．．．．．．．．．．48

6.1挑战分析．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．．49

6.2发展趋势．．．．．．．．．．．．．．．．．．．．．．．．．．．