嵌入式安全操作系统的研究和实现  

Research and Realization of Embedded Security Operating System

作　　者：陈志平[1] 雷航[1] 杨霞[1] 李欢[1] 

机构地区：[1]电子科技大学计算机科学与工程学院,成都610054

出　　处：《计算机工程》2007年第1期83-85,103,共4页Computer Engineering

基　　金：微软亚洲研究院研究基金资助项目

摘　　要：在研究分析传统安全操作系统的安全理论和技术的基础上,结合嵌入式操作系统的特点,提出一种适合于嵌入式操作系统的安全核框架：ESK(embedded security kernel)。它有如下特点：自主配置安全属性,强制访问控制机制和多策略判定。通过对Win CE4．2嵌入式操作系统的改造,验证了该安全核框架的有效性。Based on research and analysis of traditional embedded operating system security theories and technologies, combining with characteristics of embedded operating system, this paper puts forward a security kernel frame fit for embedded operating system： ESK（embedded security kernel）. It has the characteristics as follows： self-determination configuring security attributions, mandatory access control, security signs and multi-strategy determinant. Through the reconstruction of Win CE operating system, the validity of the security kernel frame is validated.

关 键 词：嵌入式系统 安全操作系统 安全核框架 强制访问控制 多策略判定 

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