CSCI 8430 TRUSTED SYSTEM DESIGN, ANALYSIS AND DEVELOPMENT (3 credits)
This course examines in detail: the principles of a security architecture, access control, policy and the threat of malicious code; the considerations of trusted system implementation to include hardware security mechanisms, security models, security kernels, and architectural alternatives; the related assurance measures associated with trusted systems to include documentation, formal specification and verification, and testing, and approaches that extend the trusted system, into applications and databases and into networks and distributed systems.
Prerequisite(s): CSCI 8366 or equivalents, or instructor permission. Not open to non-degree graduate students.