基于TrustZone技术和μCLinux的安全嵌入式系统设计与实现  

Design and implementation of secure embedded systems based on TrustZone and μCLinux

作　　者：王高祖[1] 李伟华[1] 徐艳玲[2] 史豪斌[1] 

机构地区：[1]西北工业大学计算机学院,西安710072 [2]西北工业大学自动化学院,西安710072

出　　处：《计算机应用研究》2008年第6期1793-1795,1801,共4页Application Research of Computers

基　　金：国家“863”计划资助项目(2006AA01Z406,2003AA142060)

摘　　要：深入分析了TrustZone技术和μCLinux操作系统在构建嵌入系统时存在的不足,并针对其安全缺陷,利用LSM框架,采用DTE模型和BLP模型实现了μCLinux操作系统的安全增强,从而在操作系统层解决了TrustZone技术存在的安全问题,在此基础上,提出了基于TrustZone技术和安全增强的μCLinux操作系统的安全嵌入式系统框架,并对其具体实现进行了简要介绍。This paper analyzed TrustZone technology and safety defects using μCLinux to construct embedded system.Then used DTE model and BLP model to enhance safety of μCLinux under LSM framework to solve safety problems of TrustZone technology in OS level.In the end,put forward a safety solution scheme for embedded system based on TrustZone technology and μCLinux with enhanced safety mechanism.And gave a brief introduction of implementation of the scheme.

关 键 词：安全嵌入式系统 安全操作系统 可信计算 强制访问控制 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]