【摘 要】
:
为了实现对系统的主动度量和控制,国内研究人员提出了基于可信平台控制模块(TPCM)的双系统并行体系结构,但受限于硬件设计和制造能力,短期内难以完全实现。文章基于当前可信
【基金项目】
:
国家高技术研究发展计划(国家863计划)[2015AA016002];高等学校博士学科点专项科研基金[20131103120001];国防预研项目[10502020303]
论文部分内容阅读
为了实现对系统的主动度量和控制,国内研究人员提出了基于可信平台控制模块(TPCM)的双系统并行体系结构,但受限于硬件设计和制造能力,短期内难以完全实现。文章基于当前可信硬件基础,在保留主动度量能力的前提下对双系统体系结构进行了简化,基于可信平台控制模块设计并实现了系统运行中的主动动态度量机制,保障可信软件基(TSB)在完整运行周期中均能得到可信硬件的保护,有效解决了信息系统运行过程中可信软件基的自身安全保障问题。文章对主动动态度量机制的安全性进行了形式化证明,分析了各环节中可能受到的攻击及应对方案,并对核心技术进行了工程实现和测试分析。
其他文献
目的:研究双孢蘑菇胞内多糖及胞外多糖的化学结构。方法;采用葡聚糖凝胶纯化,高效液相色谱,紫外光谱,薄层层析,气相色谱,红外光谱,核磁共振氢谱,高磺酸氧化,Smith降解等色谱及化学方法测定。
公路交通运输业的发展由于城市化进程的加快也随之快速发展,因此也使得公路桥梁工程对于质量的要求越来越高。钻孔灌注桩施工技术在公路桥梁施工中凭借着自身低成本、高适应性
<正> 随着我国经济和社会生活的转型,随着信息时代的到来,广播电视这个只能被人们被动接收的媒体面临着巨大的机遇和挑战。作为广播电视骨干和主体的新闻节目较过去有了很大
2000年以来,俄罗斯无论是动画短片和动画电影都出现了很多佳作。俄罗斯动画短片一直以艺术上的高品质而闻名,其诗意的韵味和个性化、风格化的艺术表达方式,表现了人们普遍性
目的:探讨小剂量利伐沙班和阿司匹林对老年非瓣膜性心房纤颤患者血小板及微粒(MPs)促凝活性的影响。方法:将120例老年非瓣膜性心房纤颤患者随机分为研究组和对照组(n=60)。研
面对历史悠久的中国画,我们既要继承,更要创新和发展.中国画创新应从西方绘画艺术中吸取养份,把西方的写实技巧、色彩光影等引入中国画中,提高中国画表现力;从民间艺术中去吸
文化创新是县域旅游业发展的必然选择,在拉动就业、带动相关产业发展以及促进民族地区脱贫致富等方面都发挥着重要的作用。但目前我国的县域旅游业发展还存在着发展速度缓慢
从一般的环境来讲水利工程需要考虑的因素更多,因此在我国水利工程设计上就要结合水利工程开展的气候特征、地貌地形等一些客观因素的条件,因此水利工程建设是考虑多元化的现
目的:分析松黄蛋白抗原中致敏成分。方法:用硫酸铵沉淀、葡聚糖凝胶层析分离松黄蛋白质组分,以致敏大鼠腹腔肥大细胞组胺释放试验和被动皮肤过敏反应试验检测松黄蛋白组分的致敏