【摘 要】
：
动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动
【机 构】
：
信息工程大学电子技术学院,北京工业大学计算机学院,北京大学信息科学技术学院,65047部队
【基金项目】
：
国家863计划项目(2009AA01Z437);国家973计划项目(2007CB311100);国家“核高基”科技重大专项(2010ZX01037-001-001)
论文部分内容阅读
动态可信度量是可信计算的研究热点和难点,针对由操作系统内核动态性所引起的可信度量困难问题,提出一种操作系统内核的动态可信度量模型,使用动态度量变量描述和构建系统动态数据对象及其关系,对内核内存进行实时数据采集,采用语义约束描述内核动态数据的动态完整性,通过语义约束检查验证内核动态数据是否维持其动态完整性。给出了模型的动态度量性质分析与证明,模型能够有效地对操作系统内核的动态数据进行可信度量,识别对内核动态数据的非法篡改。
其他文献
目的观察右美托咪定对食管癌根治术中单肺通气患者围术期血清炎性反应的影响。方法选取择期全麻下行食管癌根治术患者72例,男36例,女36例,年龄48~70岁,ASAⅠ或Ⅱ级,并用随机
目的：观察允许性高碳酸血症对胸腔镜下肺叶切除术患者单肺通气后肺功能及萎陷侧肺炎症反应的影响。方法拟于胸腔镜下行肺叶切除术的患者50例,ASA Ⅱ或Ⅲ级,年龄38~65岁。患者
本文运用相关利益者理论,从界定城建档案工作相关利益者入手,通过相关利益者诉求分析,提出城建档案工作相关利益实现途径,以期实现城建档案工作社会利益最大化。
心理教育彰显了思想政治教育以人为本的核心理念,也是新时期提升高校思想政治教育亲和力和针对性的重要抓手,二者是一种'以心育德,以德促心'的相互渗透、有机结合的
【正】 约当公元前七世纪,即笃慕的时代,彝族已进入奴隶社会,可能从这个时候起,彝族就在使用自己的文字了。据彝文古书记载,最早的有竹书,但至目前为止,不曾发现有这类实物,
<正>创新是一个民族的灵魂,是一个国家兴旺发达的永不枯竭的动力。在素质教育深入发展的过程中,科技辅导员是一支至关重要的队伍。他们对青少年创新意识的提高、创新能力的培
目的:优选糖网黄斑水肿方颗粒提取工艺,并考察蒲黄影响黄芪药效成分溶出的机制。方法:采用HPLCELSD法测定黄芪甲苷含量,HPLC-DAD法同时测定毛蕊异黄酮葡萄糖苷、香蒲新苷、异
探讨民族文化在园林景观设计中的作用,结合园林景观艺术发展历史,提出园林景观设计如何应用中国民族元素,体现出浑然天成、实用性、意境美的设计理念。
体细胞变异是来源于细胞和组织培养过程中的变异。本文综合国内外体细胞无性系变异的相关研究，概述了体细胞无性系变异的来源、遗传学基础及筛选与鉴定途径，详细介绍了体细胞无
<正>北京市一是领导高度重视,传达部署会议精神细化落实措施。专题向市委市政府汇报会议精神,潜心开展大调研,系统谋划新时代首都民政发展战略,组织召开北京市民政工作会议和