【摘 要】
：
基于可信硬件构建安全关键应用的可信执行环境(TEE),是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信
【机 构】
：
电子科技大学信息与软件工程学院,北京控制工程研究所
【基金项目】
：
国家自然科学基金(61502031,61632005).
论文部分内容阅读
基于可信硬件构建安全关键应用的可信执行环境(TEE),是嵌入式安全领域的一个研究热点。虽然底层硬件可信,但TEE软件仍可能因错误使用硬件指令或存在其他安全漏洞而导致机密信息泄露。该文基于ARM TrustZone技术提出了多层次的TEE架构,并建立了安全通信通道,用户层可信应用不能直接访问非可信环境的软硬件资源,只能通过内核层的安全通信通道API与外界通信,因此整个TEE的信息流不再受用户层影响。该文进一步提出了TEE形式化模型(TEEFM),借助Coq辅助证明器验证了TEE信息流无干扰性并证明了TEE安
其他文献
陆良县位于珠江源生态环境建设范围，随着林业形势和社会经济的发展，对林木种苗工作提出了更高的要求。找出了当前林木种苗生产的差距，进行了种苗生产的优势分析，提出了种苗生产的
信息技术基础是高中信息技术教育体系的基础部分，加强信息技术基础教学有利于帮助学生为培养较好的信息技术能力奠定基础。任务型教学作为一种能够充分掉动学生学习能力和学习
张朝阳的Sohu神话让许多人神往不已,人们像发现了新大陆一样发现了一座金山:风险投资。创业者需要资金,投资家寻找项目,两者在“风险投资”处完美地结合,但结果如何,仍需很长
实用化量子隐形传态技术作为发展可拓展量子计算和量子网络的必经途径,在金融、政务、国防军事、远距离通信（如空间探测）等领域中大显身手,量子纠缠与超联合测量给量子隐形传态
培养学生敢于表达、乐于表达,是培养学生表达能力的前提.语文教师要构建平等、信任、和谐的师生关系 营造积极、愉,快、合作的学习氛围.乐于表达,是提高能力的基础.创设入境
教师队伍里，班主任对学生的影响最大。但在超负荷的投入里，在消极的回报中，多数班主任出现职业倦怠状态。用信息技术来更好地帮助教师树立专业理想和形成专业自我，来改善班主任的
以Internet为体系结构,采用ASP技术开发了林业快讯信息采编发布管理系统,实现信息的发布和管理,建立了云南林业调查规划网网站.探讨了在Web程序开发应用中,ASP技术的优势和特
《苏丽君》[1]是向培良发表于小说集《英雄与人》中的一部作品。整篇小说充满了凄冷的意境,主人公苏丽君在自我意识和个人的主观感受中完成了她所追求的'灵肉合致'的
小学班主任承担着管理小学班级的重任，对小学生起着引导和组织等作用。因此，小学班主任必须具备较高的管理技能，也必须具备较强的思想素质。因此，班主任管理能力的提升非常重要。