【摘 要】
：
为了保证安全关键的操作系统运行过程以及其运行结果是可信、可预期的,基于ARMTrustZone架构设计出一种主动可信度量机制,描述了在双世界架构下操作系统如何实施安全世界和非
【基金项目】
：
装备预研联合基金项目资助(6141B05060401)
论文部分内容阅读
为了保证安全关键的操作系统运行过程以及其运行结果是可信、可预期的,基于ARMTrustZone架构设计出一种主动可信度量机制,描述了在双世界架构下操作系统如何实施安全世界和非安全世界的可信度量交互,对操作系统整个运行周期中的度量对象做了梳理,并分别给出了系统引导时和运行时针对不同度量对象的度量策略。使得处于安全世界可信环境中的系统可主动的对非安全世界中的系统进行度量,及时发现问题,确保了操作系统以及运行其上的应用代码和数据的完整性,进一步保证了操作系统的安全性。
其他文献
玫琳凯粉车庆祝50周年华诞9月13日，玫琳凯用颇具传奇色彩的方式来庆祝其50华诞--105辆粉红色的凯迪拉克聚集在位于美国达拉斯的玫琳凯总部大楼前排列成“50”的队形。如今，凯迪
以我国2018年基础性国情监测项目为依托,对项目中采用的内外业一体化系统软件的基本功能及相关操作事项进行详尽的介绍及系统的说明。通过对系统软件关键技术问题的探讨以及可用性进行研究,证明这种新型作业方式有广阔的发展前景,在基础地理信息数据更新采集过程中将更具优势。
南非,世界六大葡萄产区之一,葡萄酒产量占世界总产量的3%。2016年9月19日,一场以“至情南非·至臻品味”为主题的红酒品鉴会在这里举行。伴随着热情的恰恰舞节奏,理想科
公路桥梁投入运营后受到环境温度变化、混凝土变形以及动荷载等系列因素作用将导致桥体变形，当该变形量超过允许变形量则会影响整个桥梁的应用安全，因而为避免该现象而设置了伸
在拟物拟人算法的基础上,提出了一个新的具有降维效果的策略,为NP难度的不等圆packing问题得到了一个效率更高的实用求解算法。
单脉冲测角技术在二次雷达目标定位过程中起着非常重要的作用,单脉冲信息处理上采用幅度和差比较,获得和差比,并通过检索方式,对应求得瞄准轴角度值后,确定目标方位。文章针
空管信息化发展过程中,不同的交通服务单位应用程序间需要海量、高速、和低时延的数据交换,但是交换的协议、接口和结构不尽相同。本文采用协议适配器,解决前后端消息的出入
＂他们根本没有任何自己的技术和产品,全是复制我们的,连市场技术推广人员都是从我们这边过去的。＂提起刚刚获得商务部申牌公示的宁夏自然生物科技有限公司（以下称＂自然生物＂）,某已