Course Information

Fundamentals of Cyber Security (CMP 431)

Term: 2019-2020 Fall Term


Veronical L GadsdenShow MyInfo popup for Veronical L Gadsden
Email address is hidden, click here to email


Mon-Wed-Fri, 11:00 AM - 11:50 AM (8/8/2019 - 12/11/2019) Location: MAIN SB 134


This course studies the mathematical models for computer security (Bell-LaPadula, Clark-Wilson, Biba and Gligor models). Topics 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. Prerequisite: CMP 225.