可信操作系统设计导论.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Tursted Operating System Design 小结： 在可信操作系统设计这部分，我们讨论了 隔离，安全内核，层化设计，所有这些设 计的安全部分都是基于前面的安全策略的。 一个好的设计必须首先有好的安全策略。 * * Assurance In Trusted Operating System 这部分内容是讨论如何保证设计出的 操作系统是可信的，包括对设计出的操作 系统的测试、验证以及评估，以及不同国 家的各种评诂标准问题。 （略，自学） * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Tursted Operating System Design * * Tursted Operating System Design 从上面的对比可以看出，在设计可信操作系统时，比一般操作系统多出以下方面： 1、对每个设备和服务的访问控制 2、数据和程序按照共享和私有分离 3、不同用户占用内存空间的彼此分离等 * * Tur