;5.1可信链完整性度量
可信链的完整性度量分为静态(完整性)度量和动态(完整性)度量两部分。其中,TCG定义的完整性度量主要关注的是静态度量。静态度量的思想比较简单,也不存在大的理论障碍或者技术门槛。;;;图5.2给出了对图5.1中的污点标记引擎、污点传播引擎和规则判断引擎细化后的结果。
(1)污点标记引擎。
(2)污点传播引擎。
(3)规则判断引擎。;5.2可信链测评
关于可信链测评部分,本书采用了安全进程代数SPA对可信链进行安全性建模和分析,围绕如何建立刻画可信链本质问题的模型和由该模型引申出的可信链安全模型,通过安
原创力文档

文档评论(0)