北京工业大学博士启动基金(X00700054R1764)
- 作品数：1 被引量：1H指数：1
- 相关作者：辛思远赵勇姜伟林莉李瑜更多>>
- 相关机构：中国科学院软件研究所北京工业大学解放军信息工程大学更多>>
- 发文基金：国家重点基础研究发展计划北京工业大学博士启动基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种操作系统内核完整性度量方法被引量：1
- 2013年
- 操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容.
- 李瑜赵勇林莉姜伟詹静辛思远
- 关键词：可信计算操作系统内核
