【摘 要】
：
操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分
【机 构】
：
北京工业大学计算机学院; 中国科学院软件研究所信息安全国家重点实验室; 国家保密科技测评中心测评部; 解放军信息工程大学电子技术学院;
【基金项目】
：
国家“八六三”高技术研究发展计划项目(2009AA01Z437)资助;国家“九七三”重点基础研究发展计划项目(2007CB311100)资助;国家核高基项目(2010ZX01037-001-001)资助;信息安全国家重点实验室(中国科学院软件研究所)开放课题—网络安全与密码技术福建省高校重点实验室开放课题基金(2011009)资助;北京工业大学博士启动基金项目(X00700054R1764)资
论文部分内容阅读
操作系统为应用软件提供基础的运行环境,内核的完整性是操作系统安全的核心,针对内核度量对象的关联性不足问题,本文提出了一种新的操作系统内核完整性度量方法,将度量阶段分为前、中、后三个阶段,通过内核上下文将前后各个阶段的度量对象进行关联,利用LS2文法描述了不同阶段的动态变化特征,并给出了各阶段的可信度量逻辑,在时间上保证度量的持续性,在空间上通过映射关系实现细粒度的完整性度量.进一步给出了系统的可信度量定理,通过形式化分析证明方法能够对操作系统内核的完整性进行有效判定.方法建立在逻辑推理的基础上,与现有度量方法相兼容.
其他文献
<正>昆汀·塔伦蒂诺在2012年为宣传电影《被解放的姜戈》所接受的一次采访中声称,尽管他曾"一直想探究奴隶制",但他拍这部电影的主要动机是"为美国的黑人男性创造一个西部英
<正>通过对近5年的挂拆接地线作业进行调查统计发现,在作业中容易出现接地前接触电力设备、接地线挂接不实、损伤引流线、接地线端头损坏、操作人员身体失衡发生滑脱和坠落等
随着信息化建设的深入发展,智慧城市成为未来城市发展的必然趋势,这种智慧社会环境将会给人们的工作和生活带来彻底的变革,智慧档案就是在这种环境下发展而来的,面对新的挑战
本文通过对会计集中核算和国库集中支付两种制度的剖析，探讨其融合的形式。希望通过制度创新、优势互补，实现提高财政资金使用效益的最终目的。
不久前，民政部再曝“山寨社团”名单。在68家“上榜者”中，冠以“文化”“文艺”字眼的，占据半壁江山。 所谓“山寨社团”，即未在民政部门注册的协会、学会、联合会等社会组织。如最新曝光的“世界名家书画院”、“国际文化艺术研究会”等。在文化产业学者张瑞平看来，这些山寨社团，要的就是名头震天响。 如今这一行业痼疾出现新特征。与之前一般通过熟人搭线引荐不同，如今多通过QQ、微信等发展“下线”。据了解，很