| 一种操作系统内核完整性度量方法 |
| 其他题名 | method of trusted measurement for operating system kernel
|
| 李瑜; 赵勇; 林莉; 姜伟; 詹静; 辛思远
|
| 2013
|
| 发表期刊 | 小型微型计算机系统
 |
| ISSN | 1000-1220
|
| 卷号 | 34期号:5页码:997-1002 |
| 摘要 | 操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容. |
| 收录类别 | CNKI
; WANFANG
|
| 关键词 | 可信计算
可信度量
操作系统内核
完整性保护
|
| 部门归属 | 北京工业大学计算机学院;中国科学院软件研究所信息安全国家重点实验室;国家保密科技测评中心测评部;解放军信息工程大学电子技术学院;
|
| 资助者 | 国家“八六三”高技术研究发展计划项目(2009AA01Z437)资助|国家“九七三”重点基础研究发展计划项目(2007CB311100)资助|国家核高基项目(2010ZX01037-001-001)资助|信息安全国家重点实验室(中国科学院软件研究所)开放课题—网络安全与密码技术福建省高校重点实验室开放课题基金(2011009)资助|北京工业大学博士启动基金项目(X00700054R1764)资助
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/15474
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
李瑜,赵勇,林莉,等. 一种操作系统内核完整性度量方法[J]. 小型微型计算机系统,2013,34(5):997-1002.
|
| APA |
李瑜,赵勇,林莉,姜伟,詹静,&辛思远.(2013).一种操作系统内核完整性度量方法.小型微型计算机系统,34(5),997-1002.
|
| MLA |
李瑜,et al."一种操作系统内核完整性度量方法".小型微型计算机系统 34.5(2013):997-1002.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论