背景 1
安全操作系统的重要性 1
安全操作系统研究的新问题 2
相关的研究工作 6
可信的概念及定义 6
安全操作系统身份认证技术 8
安全操作系统访问控制框架 10
本书的结构 18
认证可信度相关概念 21
认证可信度推理模型 25
认证可信度推理 26
应用举例 33
带有阈值限度的认证可信度推理模型 35
带有阈值限度的认证规则的可信度表示 36
认证规则前提条件的可信度计算 37
带有阈值限度的认证可信度推理 39
带有阈值限度的加权认证可信度推理模型 40
带有阈值限度的加权认证规则的可信度表示 41
加权转化 42
带有阈值限度的加权认证可信度推理 46
应用举例 48
认证可信度推理模型分析 50
AT-PAM：基于认证可信度的PAM框架 51
PAM认证框架 52
基于认证可信度的PAM框架 56
本章小结 60
引言 62
访问请求可信度推理模型 64
访问请求可信度基本概念 64
访问请求可信度推理 68
加权访问控制框架下访问请求可信度推理模型 72
访问请求可信度推理模型在Kylin操作系统中的实现 74
Kylin操作系统访问控制框架（KACF） 74
访问请求可信度推理模型在Kylin操作系统中的实现 77
模型优势分析 81
本章小结 82
对象可信访问 84
AT-RBAC：基于认证可信度的RBAC模型 87
RBAC96模型 87
基于认证可信度的RBAC模型 90
小结 95
AT-BLP：基于认证可信度的BLP模型 96
BLP模型 96
基于认证可信度的BLP模型（AT-BLP） 98
小结 101
基于对象可信访问的访问控制框架 101
引言 101
ISO通用访问控制框架 103
基于对象可信访问的访问控制框架 104
小结 106
应用举例 107
Kylin操作系统的配置文件 107
实际问题与解决 110
小结 112
本章小结 113
工作总结 114
研究展望 116
参考文献 118