软件实时可信度量:一种无干扰行为可信性分析方法

• 作者: 刘小丽 张帆 张聪 徐明迪 胡方宁 赵涵捷
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 可信度量 无干扰 行为可信 可信计算 软件安全
• 年，卷（期）: 2019,（8）
• 所属期刊栏目: 面向自主安全可控的可信计算专题
• 页码范围: 2268-2286
• 页数: 19页
• 分类号: TP311
• 字数: 20863字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005768

摘要

可信度量作为可信计算“度量、存储、报告”三大核心功能的基础,到目前为止仍未有有效的数学理论以及运行时(runtime)度量方法.其困难在于3点:一是如何建立涵盖不同主流“可信”定义的通用数学模型;二是如何依托数学模型构建运行时可信度量理论;三是如何将上述模型和理论映射到真实信息系统以形成可实践的实时度量方法.提出了一种基于无干扰的软件实时可信度量方法.首先,利用无干扰模型解释了各类主流的可信定义,表明无干扰模型可以作为可信计算通用数学模型的一个选择.其次,基于无干扰模型提出了一种软件实时可信度量理论,其基本思想是将系统调用视作原子动作,将软件真实行为α看做系统调用的序列,并基于α中所有系统调用所属安全域之间的无干扰关系计算软件理论上的预期行为β,得到α和β之后,利用无干扰等式判定两者之间是否存在偏差,从而实现对软件可信性的实时度量.最后,给出了实时可信度量算法,算法的时间复杂性为O(1).原型实验结果表明了所提出的方法的有效性.