论文部分内容阅读
在研究分析传统安全操作系统的安全理论和技术的基础上，结合嵌入式操作系统的特点，提出一种适合于嵌入式操作系统的安全核框架：ESK（embedded security kernel）。它有如下特点：自主配置安全属性，强制访问控制机制和多策略判定。通过对WinCE4．2嵌入式操作系统的改造，验证了该安全核框架的有效性。