一种操作系统内核完整性度量方法
文献类型：期刊论文
| 作者 | 李瑜 ; 赵勇 ; 林莉 ; 姜伟 ; 詹静 ; 辛思远 |
| 刊名 | 小型微型计算机系统
 |
| 出版日期 | 2013 |
| 卷号 | 34期号:5页码:997-1002 |
| 关键词 | 可信计算 可信度量 操作系统内核 完整性保护 |
| ISSN号 | 1000-1220 |
| 其他题名 | method of trusted measurement for operating system kernel |
| 中文摘要 | 操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容. |
| 收录类别 | CNKI ; WANFANG |
| 资助信息 | 国家“八六三”高技术研究发展计划项目(2009AA01Z437)资助|国家“九七三”重点基础研究发展计划项目(2007CB311100)资助|国家核高基项目(2010ZX01037-001-001)资助|信息安全国家重点实验室(中国科学院软件研究所)开放课题—网络安全与密码技术福建省高校重点实验室开放课题基金(2011009)资助|北京工业大学博士启动基金项目(X00700054R1764)资助 |
| 语种 | 中文 |
| 公开日期 | 2013-09-17 |
| 源URL | [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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。