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

摘要：

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

关键词：可信计算、完整性度量、无干扰、信息流

所属期刊栏目：39

分类号：TP309(计算技术、计算机技术)

资助基金：国家自然科学基金61003014/F020101;浙江省自然科学基金杰出青年团队项目R1090138;武器装备预研基金9140A15040211

在线出版日期：2012-04-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：101-103,114