Computer Science 1 CSC 405 Introduction to Computer Security Topic 5. Trusted Operating Systems -- Part II.
CS426Fall 2010/Lecture 231 Computer Security CS 426 Lecture 23 Trusted Operating Systems and Assurance.