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