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.