CS 573 Fundamentals of CyberSecurity
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.
Prerequisite
(CS 182 or
CS 385 or
CS 570 or
CS 590) and (Grad Student or (Junior or Senior))
Distribution
Computer Science Program