Course Information

Fundamentals of Cyber Security (CMP 431)

Term: 2016-2017 Fall Term


Mr. Ronald WilliamsShow MyInfo popup for Mr. Ronald Williams
Email address is hidden, click here to email
Office hours:
  • Monday 10:00 AM to 11:00 AM
  • Monday 2:00 PM to 5:00 PM
  • Tuesday 4:00 PM to 5:00 PM
  • Wednesday 10:00 AM to 11:00 AM
  • Wednesday 2:00 PM to 5:00 PM
  • Thursday 4:00 PM to 5:00 PM
  • Friday 11:00 AM to 12:00 PM


    Fri, 8:00 AM - 10:15 AM (8/10/2016 - 12/10/2016) Location: MAIN SB 101


    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.