中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
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:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
李瑜,赵勇,林莉,等. 一种操作系统内核完整性度量方法[J]. 小型微型计算机系统,2013-01-01,34(5):997-1002.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李瑜]'s Articles
[赵勇]'s Articles
[林莉]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李瑜]‘s Articles
[赵勇]‘s Articles
[林莉]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace