Information System Assurance
Prerequisites: Math 0203 or adequate math placement test score, (CS 2703 or CS 2713) and (CS 2723 or CS 2743).
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.