可信操作系统的设计

- 本章要点 - 什么使得一个操作系统“安全”或者“值得信赖” 如何设计可信系统，及在这些设计原则中，有哪些设计准则可以应用于其他程序开发任务中 我们如何促进对可信操作系统的