可信链度量与测评

第一章　可信计算
　1.1　可信计算简介
　1.1.1　可信计算的基本概念
　1.1.2　国外可信计算的发展
　1.1.3　国内可信计算的发展
　1.2　可信链
　1.3　可信计算机
　1.3.1　可信计算机体系结构
　1.3.2　嵌入式安全模块ESM
　1.4　本章小结
　参考文献
第二章　可信启动完整性度量
　2.1　可信启动完整性度量分析
　2.1.1　Linux启动流程分析
　2.1.2　Linux启动流程的完整性度量因素
　2.1.3　Linux启动流程需要度量的内容
　2.2　基于PMBR的SBA设计
　2.3　基于PMBR的SBA实现
　2.3.1　BIOS安全增强与MP驱动
　2.3.2　PMBR详细设计与实现
　2.3.3　从绝对路径文件名到磁盘扇区地址的转换
　2.3.4　PMBR安全性证明与形式化开发
　2.4　实验
　2.4.1　EXT3文件系统实验
　Z．4.2　SBA实验
　2.4.3　性能分析
　2.5　本章小结
　参考文献
第三章　应用程序完整性度量
　3.1　应用程序静态完整性度量
　3.1.1　轻量级应用程序静态完整性度量架构
　3.1.2　轻量级应用程序静态完整性度量实现
　3.1.3　实验示例
　3.2　应用程序动态完整性度量
　3.2.1　国内外研究动态
　3.2.2　软件动态行为建模
　3.2.3　完整性条件下传递无干扰模型
　3.2.4　软件动态行为可信性分析
　3.2.5　-种软件动态行为可信度量系统实现方案
　3.3　本章小结
　参考文献
第四章　可信链测评
　4.1　安全模型简介
　4.1.1　基于语言的安全模型
　4.1.2　安全进程代数
　4.1.3　基于语义的安全属性
　4.1.4　安全属性的可复合性
　4.2　可信链交互模型
　4.2.1　可信链规范说明
　4.2.2　可信链接口模型
　4.3　可信链接口安全模型
　4.3.1　不可演绎模型
　4.3.2　可信链复合模型
　4.3.3　进一步的分析
　4.4　一致性测试和安全性测试
　4.4.1　一致性测试
　4.4.2　安全性测试
　4.5　可信链PC规范一致性测试
　4.5.1　标记变迁系统(LTS)
　4.5.2　可信链规范说明状态集
　4.5.3　可信链规范实现测试集
　4.5.4　测试流程
　4.6　可信链规范安全性分析
　4.6.1　可信链接口安全等级
　4.6.2　可信链接口安全测试
　4.7　可信链测试评估系统
　4.7.1　可信链测评对象
　4.7.2　可信链测评实例
　4.7.3　可信链测评总结
　4.8　本章小结
　参考文献
第五章　总结与展望
　5.1　可信链完整性度量
　5.2　可信链测评
参考文献
附件A　基于B方法的PMBR的形式化开发
附录B　可信链LTS(s)标记变迁关系
附录C　可信链接口安全等级划分