A detailed understanding of the analysis, design, and implementation of trusted systems is essential for the development of secure information systems. This course provides an overview of computer security to include an analysis of computer security in relation to systems design, why systems are not secure, and the general concepts and design techniques applicable to the design of secure modern information systems, software, and applications. It examines in detail the principles of security architecture, access control, policy, and the threat of malicious code; the considerations of trusted system implementation to include security models, and the related assurance measures associated with trusted systems to include documentation, formal specification, verification, and testing.