可信链度量与测评

.2.3.2pmbr详细设计与实现17
2.3.3从绝对路径文件名到磁盘扇区地址的转换19
2.3.4pmbr安全性证明与形式化开发22
2.4实验23
2.4.1ext3文件系统实验23
2.4.2sba实验26
2.4.3性能分析26
2.5本章小结27
参考文献28
第三章应用程序完整性度量29
3.1应用程序静态完整性度量29
3.1.1轻量级应用程序静态完整性度量架构29
3.1.2轻量级应用程序静态完整性度量实现31
3.1.3实验示例32
3.2应用程序动态完整性度量33
3.2.1国内外研究动态34
3.2.2软件动态行为建模36
3.2.3完整性条件下传递无干扰模型42
3.2.4软件动态行为可信性分析56
3.2.5一种软件动态行为可信度量系统实现方案62
3.3本章小结64
参考文献66
第四章可信链测评69
4.1安全模型简介69
4.1.1基于语言的安全模型69
4.1.2安全进程代数70
4.1.3基于语义的安全属性71
4.1.4安全属性的可复合性75
4.2可信链交互模型75
4.2.1可信链规范说明75
4.2.2可信链接口模型78
4.3可信链接口安全模型80
4.3.1不可演绎模型80
4.3.2可信链复合模型84
4.3.3进一步的分析88
4.4一致性测试和安全性测试89
4.4.1一致性测试89
4.4.2安全性测试90
4.5可信链pc规范一致性测试91
4.5.1标记变迁系统(lts)91
4.5.2可信链规范说明状态集92
4.5.3可信链规范实现测试集95
4.5.4测试流程96
4.6可信链规范安全性分析97
4.6.1可信链接口安全等级97
4.6.2可信链接口安全测试98
4.7可信链测试评估系统99
4.7.1可信链测评对象100
4.7.2可信链测评实例101
4.7.3可信链测评总结103
4.8本章小结104
参考文献104
第五章总结与展望109
5.1可信链完整性度量109
5.2可信链测评112
参考文献114
附件a基于b方法的pmbr的形式化开发116
附录b可信链lts(s)标记变迁关系121
附录c可信链接口安全等级划分122