图书介绍

可信链度量与测评【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

张帆，徐明迪，杨飏著著
出版社：西安：西安电子科技大学出版社
ISBN：9787560626949
出版时间：2011
标注页数：122页
文件大小：17MB
文件页数：130页
主题词：计算机安全－安全技术－研究生－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：69a01772c79de01047fdec23dc5ead06

下载说明

可信链度量与测评PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章可信计算1

1.1可信计算简介1

1.1.1可信计算的基本概念1

1.1.2国外可信计算的发展3

1.1.3国内可信计算的发展4

1.2可信链4

1.3可信计算机5

1.3.1可信计算机体系结构6

1.3.2嵌入式安全模块ESM7

1.4本章小结8

参考文献9

第二章可信启动完整性度量10

2.1可信启动完整性度量分析10

2.1.1 Linux启动流程分析11

2.1.2 Linux启动流程的完整性度量因素12

2.1.3 Linux启动流程需要度量的内容13

2.2基于PMBR的SBA设计15

2.3基于PMBR的SBA实现16

2.3.1 BIOS安全增强与MP驱动16

2.3.2 PMBR详细设计与实现17

2.3.3从绝对路径文件名到磁盘扇区地址的转换19

2.3.4 PMBR安全性证明与形式化开发22

2.4实验23

2.4.1 EXT3文件系统实验23

2.4.2 SBA实验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