安全操作系统的一般结构 用 用户软件 可信应用软件 安全内核 硬件 安全操作系统的一般结构 高安全级别OS的结构VS.低安全级别OS的结构 >分离的安全内核？ >前者：KSOS,UCLA Secure Linux >后者：LINVS IV,Secure XENIX,TMACH和Secure TUNIS 嵌入式系统实验室 EMBEDDED SYSTEM LABORATORY SUZHOU INSTITUTE FON ADVANCED STUDY OF USTC安全操作系统的一般结构 ❖ 高安全级别OS的结构 VS. 低安全级别OS的结构 ➢ 分离的安全内核? ➢ 前者：KSOS，UCLA Secure Linux ➢ 后者：LINVS IV，Secure XENIX，TMACH和Secure TUNIS 用户软件 可信应用软件 安全内核 硬件 安全操作系统的一般结构 用 户