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

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