TRUSTZONE

作品数:73被引量:191H指数:8
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:董攀丁滟黄辰林戴鸿君谭郁松更多>>
相关机构:国防科学技术大学电子科技大学武汉大学山东大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国家科技重大专项更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件学报x
条 记 录,以下是1-5
视图:
排序:
基于精化的TrustZone多安全分区建模与形式化验证被引量:2
《软件学报》2023年第8期3507-3526,共20页曾凡浪 常瑞 许浩 潘少平 赵永望 
浙江省重点研发计划(2022C01165);国家自然科学基金(62132014);浙江省尖兵计划(2022C01045);中央高校基本科研业务费(NGICS)专项资金。
TrustZone作为ARM处理器上的可信执行环境技术,为设备上安全敏感的程序和数据提供一个隔离的独立执行环境.然而,可信操作系统与所有可信应用运行在同一个可信环境中,任意组件上的漏洞被利用都会波及系统中的其他组件.虽然ARM提出了S-EL...
关键词:可信执行环境 安全分区 定理证明 精化 安全性分析 
可信执行环境软件侧信道攻击研究综述被引量:10
《软件学报》2023年第1期381-403,共23页杨帆 张倩颖 施智平 关永 
国家自然科学基金(61802375,61602325,61876111,61877040);北京市教委科技计划一般项目(KM201910028005);中国科学院计算技术研究所计算机体系结构国家重点实验室开放课题(CARCH201920);交叉科学研究院项目(19530012005)。
为保护计算设备中安全敏感程序运行环境的安全,研究人员提出了可信执行环境(TEE)技术,通过对硬件和软件进行隔离为安全敏感程序提供一个与通用计算环境隔离的安全运行环境.侧信道攻击从传统的需要昂贵设备发展到现在仅基于微体系结构状...
关键词:可信执行环境(TEE) 隔离架构 ARM TrustZone Intel SGX AMD SEV 软件侧信道攻击 
基于TEE的主动可信TPM/TCM设计与实现被引量:7
《软件学报》2020年第5期1392-1405,共14页董攀 丁滟 江哲 黄辰林 范冠男 
国家重点研发计划(2018YFB0803501);核高基国家科技重大专项(2017ZX01038104-002);国家自然科学基金(61602492,61303191,61502510,61872444)。
可信技术正在从被动可信度量向着下一代的主动可信监控方向发展,要求TPM/TCM模块有能力主动度量和干预主机系统,传统的TPM/TCM从架构和运行机制等方面都无法满足这种能力.TEE(trusted execution environment)技术提供了可信执行环境和...
关键词:TPM TCM 主动可信 TRUSTZONE TEE 
借助Hypervisor强化TrustZone对非安全世界的监控能力被引量:3
《软件学报》2018年第8期2511-2526,共16页章张锴 李舟军 夏春和 马金鑫 崔津华 
国家重点研发计划(2016QY04W0802);国家高技术研究发展计划(863)(2015AA016004);国家自然科学基金(61370126,61672081,61502536,U1636208)
ARM TrustZone技术已经在Android手机平台上得到了广泛的应用,它把Android手机的硬件资源划分为两个世界——非安全世界(non-secure world)和安全世界(secure world).用户所使用的Android操作系统运行在非安全世界,而基于TrustZone对非...
关键词:TrustZ0ne HYPER isor 监控系统 虚拟化 
基于TrustZone的可信移动终端云服务安全接入方案被引量:28
《软件学报》2016年第6期1366-1383,共18页杨波 冯登国 秦宇 张英骏 
国家自然科学基金(91118006; 61202414; 61402455);国家重点基础研究发展计划(973)(2013CB338003)~~
可信云架构为云计算用户提供了安全可信的云服务执行环境,保护了用户私有数据的计算与存储安全.然而在移动云计算高速发展的今天,仍然没有移动终端接入可信云服务的安全解决方案.针对上述问题,提出了一种可信移动终端云服务安全接入方案...
关键词:移动云计算 可信计算 可信移动终端 安全接入 Trust Zone 物理不可克隆函数(PUF) 
检索报告 对象比较 聚类工具 使用帮助 返回顶部