单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第5章 可信操作系统的设计 本章要点 什么使得一个操作系统安全或者值得信赖 如何设计可信系统及在这些设计原则中有哪些设计准则可以应用于其他程序开发任务中 我们如何促进对可信操作系统的正确性的保障 如果一个操作系统能够稳定而有效地提供内存保护文件保护一般对象的访问控制用户鉴别 4种服务那么我们就说它是可信的(trusted