一种操作系统内核完整性度量方法

• 作者: 姜伟 李瑜 林莉 詹静 赵勇 辛思远
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 可信计算 可信度量 操作系统内核 完整性保护
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 997-1002
• 页数: 6页
• 分类号: TP311
• 字数: 7257字
• 语种: 中文

摘要

操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵勇	北京工业大学计算机学院	32	217	8.0	13.0
3	辛思远	解放军信息工程大学电子技术学院	5	9	2.0	3.0
6	林莉	北京工业大学计算机学院	7	25	4.0	4.0
7	詹静	北京工业大学计算机学院	12	75	5.0	8.0
8	姜伟	北京工业大学计算机学院	15	128	5.0	11.0
9	李瑜	北京工业大学计算机学院	5	19	3.0	4.0