 | | Close
CS 573:Fundamentals of CyberSecurity
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. |
|
|
| | School: Schaefer School of Engineering & Science | | Department: Computer Science | Program: Computer Science
|
|
