Students will learn design and analysis methods for high assurance information systems. Topics covered will consist of safety, reliability, security, and specification of mission-critical system properties. Software and hardware validation, as well as verification and certification are also included. This course satisfies the computer proficiency requirement.