操作系统内核的动态可信度量模型

• 作者: 廖建华 王婷 赵勇 辛思远
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 可信计算 可信度量 动态度量 操作系统内核 远程证明
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 953-956,967
• 分类号: TP309
• 字数: 6845字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2012.00953

摘要

动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性.给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵勇	北京工业大学计算机学院	32	217	8.0	13.0
2	辛思远	信息工程大学电子技术学院	1	0	0.0	0.0
3	廖建华	北京大学信息科学技术学院	1	0	0.0	0.0