Title: | 一种操作系统内核完整性度量方法 |
Alternative Title: | method of trusted measurement for operating system kernel
|
Author: | 李瑜
; 赵勇
; 林莉
; 姜伟
; 詹静
; 辛思远
|
Keyword: | 可信计算
; 可信度量
; 操作系统内核
; 完整性保护
|
Source: | 小型微型计算机系统
|
Issued Date: | 2013
|
Volume: | 34, Issue:5, Pages:997-1002 | Indexed Type: | CNKI
; WANFANG
|
Department: | 北京工业大学计算机学院;中国科学院软件研究所信息安全国家重点实验室;国家保密科技测评中心测评部;解放军信息工程大学电子技术学院;
|
Sponsorship: | 国家“八六三”高技术研究发展计划项目(2009AA01Z437)资助|国家“九七三”重点基础研究发展计划项目(2007CB311100)资助|国家核高基项目(2010ZX01037-001-001)资助|信息安全国家重点实验室(中国科学院软件研究所)开放课题—网络安全与密码技术福建省高校重点实验室开放课题基金(2011009)资助|北京工业大学博士启动基金项目(X00700054R1764)资助
|
Abstract: | 操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容. |
Language: | 中文
|
Content Type: | 期刊论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/15474
|
Appears in Collections: | 软件所图书馆_期刊论文
|
There are no files associated with this item.
|
Recommended Citation: |
李瑜,赵勇,林莉,等. 一种操作系统内核完整性度量方法[J]. 小型微型计算机系统,2013-01-01,34(5):997-1002.
|
|
|