Fundamentals of CyberSecurity (CS573)

This course studies the mathematical models for computer security (Bell- LaPadula, Clark-Wilson, Biba, and Gligor models). It analyzes and compares, with respect to formal and pragmatic criteria, the properties of various models for hardware, software, and database security. Topics also include: formal specification and verification of security properties, operating system security, trust management, multi-level security, security labeling, security auditing and intrusion detection, security policy, safeguards and countermeasures, risk mitigation, covert channels, identification and authentication, password schemes, access control lists, and data fusion techniques. The course includes a project.

Click HERE for prerequisites: If the prospective student doesn't have the prerequisite then he or she should contact the program director to discuss if enrollment might still be possible.  

Fundamentals of CyberSecurity Syllabus


For a person like me with little background in Computer Science this course was a very good overview of different aspects of Service Oriented Architecture. The lecture podcasts were very effective in helping me understand the course content. The Assignments were very well planned to help me understand the practical implementation of different concepts."
Print This PageE-Mail This Page