Jim Hook's CS 4/591 course materials

Course home page

Additional web resources:

National Information Assurance Training and Education Center

Bishop's slides by chapter

Professor Hook's Lectures:

Lecture 1: Introduction and Overview ppt pdf

Lecture 2: Access Control ppt pdf slides pdf handouts

Lecture 3: Policy ppt pdf slides pdf handouts

Lecture 4: Bell-La Padula ppt pdf slides pdf handouts (Download Bishop's slides for Chapter 5)
Supplementary material:

Lecture 5: Integrity Models ppt pdf slides pdf handouts (Download Bishop's slides for Chapters 6 and 7)
Supplementary material:

  1. Brewer and Nash, The Chinese Wall Security Policy, IEEE Symposium on Researchin Security and Privacy, May 1989.

Lecture 6: Information Flow. Download Bishop's slides for Chapter 15
Note: there are a few extra }'s and one slide is repeated.
Supplementary material:

  1. Denning and Denning, 1977, available from ACM portal.
  2. Vincent Simonet, Flow Caml in a Nutshell.
  3. Flow Caml home page (I got the windows executable to work, but was not successful building the source distribution).
  4. A file derived from the flowcaml tutorial presented in class.

Lecture 7: Information Flow followup ppt pdf slides pdf handouts. Also: Bishop's chapters 15 and 14.

Lecture 8: Confinement

Lecture 9: Assurance ppt pdf slides pdf handouts (Download Bishop's slides for Chapter 17)

Lecture 10: Evaluation ppt pdf slides pdf handouts (Download Bishop's slides for Chapter 18)

Lecture 11: Midterm:

Remaining lectures will be presented by Professor Binkley