Help

Course Information

Fundamentals of Cyber Security (CMP 431)

Term: 2020-2021 Fall Term

Faculty

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

Description

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.