UUY-CYB 3142 units300 LevelFirst Semester

Information Security Models

B.Sc. Cybersecurity, University of Uyo

The formal models that underpin access control and multi-level security: Bell-LaPadula, Biba, Clark-Wilson, Brewer-Nash, and the access-control mechanisms (MAC, RBAC, ACLs, lattice-based control) that implement them in real systems.

On Areté, UUY-CYB 314 comes with

  • 2 recommended textbooks
  • an AI tutor that has read this course’s outline and notes
Sign in to study UUY-CYB 314

Free for University of Uyo students — sign in with your email, no password.

Course outline

  1. 01Basic concepts of formal security models; Access Control Lists (ACL)
  2. 02Bell-LaPadula model (confidentiality) and the Biba model (integrity)
  3. 03Brewer and Nash model (Chinese Wall) and the Clark-Wilson model
  4. 04Capability-based security and the Object-Capability Model
  5. 05Context-Based Access Control (CBAC) and Graham-Denning model
  6. 06Harrison-Ruzzo-Ullman (HRU) and the Take-Grant protection model
  7. 07Lattice-Based Access Control (LBAC), Mandatory Access Control (MAC), and Multi-Level Security (MLS)
  8. 08Non-interference security; Role-Based Access Control (RBAC)
  9. 09Protection rings and the High-Water Mark security model

Recommended textbooks

  • Computer Security: Principles and Practice — William Stallings & Lawrie Brown

    4th ed. — covers Bell-LaPadula, Biba, and Clark-Wilson in depth

  • Security Engineering — Ross Anderson

    3rd ed. — free online; excellent treatment of access control models

How to pass UUY-CYB 314

  • Contrast Bell-LaPadula (confidentiality: "no read up, no write down") with Biba (integrity: the reverse) — this pairing is exam-critical
  • Draw the lattice for MLS/LBAC by hand — visualising the ordering makes the model click
  • Link RBAC and MAC back to UUY-CYB 122 and UUY-CYB 221, where these controls are applied practically
  • Memorise which model addresses which property (confidentiality, integrity, or conflict of interest) — a common exam table

Other 300 Level courses

Lecture notes, practice questions and the AI tutor for UUY-CYB 314 are available once you sign in.

Sign in to Areté