《动态可信度量模型分析概述》9300字.docxVIP

动态可信度量模型分析概述

目录

TOC\o1-3\h\u22928动态可信度量模型分析概述 1

16201.1信息流的无干扰模型 1

165721.1.1基本符号定义 1

6661.1.2可信判定等式 4

41391.2无干扰属性验证方法 5

150141.2.1问题分析 5

70691.2.2基于等价自动机的属性验证 6

24831.2.3无干扰属性验证算法 10

138081.3动态可信度量算法 11

可信度量是信任链传递的核心，并且是可信存储和可信报告（本地/远程）的基础，因此研究可信度量是有意义的。可信度量一般分为静态度量与动态度量，静态度量主要对度量对象进行完整性校验，而动态度量则要复杂得多，需要根据场景选择不同的度量对象、度量属性与度量基准。随着新型攻击机理日益复杂、攻击方法层出不穷，对信息系统可信性的度量变得益加困难，并且在大多数场景中对度量实时性的要求不断提高。鉴于现有的动态可信度量模型，主要依托于对象的完整性校验，譬如内存页、动态数据结构等，在实时性表现较差，并且机密性方面得不到保障，并不能解决上述需求。

针对上述问题，本文拟从实体行为的角度构建一个有效、实时的动态可信度量模型。由于信息流理论中的无干扰模型与可信计算逻辑等价，因此把信息系统抽象为一个接收实体行为的状态机，并在这种设定下