一种基于无干扰的软件动态行为可信性分析方法

Approach for Trust Analysis of Software Dynamic Behavior Based on Noninterference

软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。

Software Dynamic Behavior Measurement （SDBM） is one of the core issues that must be solved by the trus- ted computing. Tackling this issue has two main steps： one is to model the dynamic behavior of software~ the other is to deduce the trust of the modeled behavior. A noninterference-based approach, which focuses on the second step, was presented, and the decision theorems for behavior trust analysis were given as well.