Course Information

Fundamentals of Cyber Security (CMP 431)

Term: 2021-2022 NDS CCS-2


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


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.