%0 Journal Article
%T 一种基于无干扰的软件动态行为可信性分析方法
%A 张帆 江敏 吴怀广 徐明迪？
%J 计算机科学
%D 2012
%X 软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关健步骤:第一，对软件动态行为进行行为建模;第二，对建模后的软件动态行为进行行为可信性分析。针对第二步，即建模完成后的行为可信性分析问题进行了研究，提出一种基于无干扰的软件动态行为可信性分析方法，并从理论上给出了行为可信性判定定理。
%K 可信计算
%K 完整性度量
%K 无干扰
%K 信息流
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120123&flag=1