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