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

• 作者: 吴怀广 张帆 徐明迪 江敏
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 可信计算 完整性度量 无干扰 信息流
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 101-103,114
• 分类号: TP309
• 字数: 4342字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.01.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张帆	杭州电子科技大学通信工程学院	19	112	7.0	10.0
2	吴怀广	郑州轻工业学院计算机与通信工程学院	12	47	4.0	6.0
3	江敏	厦门大学智能科学系	6	17	2.0	4.0
4	徐明迪	武汉数字工程研究所系统软件部	21	141	7.0	11.0