Tentative Syllabus
This syllabus is tentative and subject to change as needed.
If there is a topic you want to hear about and it is in the syllabus,
please let me know. I won't promise to cover it, but I may ....
Week of March 27, 2006
Reading: text §1, 13
Topics: Introduction; discussion of the role of policy;
principles of secure design
Week of April 3, 2006
Reading: text §2, 3.1—3.3
Topics: Access control matrix, Harrison-Ruzzo-Ullman result,
Take-Grant Protection Model
Week of April 10, 2006
Reading: text §3.4
Topics: SPM and its descendants
Week of April 17, 2006
Reading: text §3.5, 4.7
Topics: Expressive power, security policies and precision
Week of April 24, 2006
Reading: text §5
Topics: Bell-LaPadula Model, System Z, and the controversy
Week of May 1, 2006
Reading: text §6
Topics: Biba's Model, Lipner's Model, Clark-Wilson Model
Week of May 8, 2006
Reading: text §7
Topics: Chinese Wall Model, CISS Model, RBAC Model
Week of May 15, 2006
Reading: text §8
Topics: Noninterference, nondeducibility, and policy composition
Week of May 22, 2006
Reading: text §16
Topics: Models of information flow,
static and dynamic information flow analysis
Week of May 29, 2006
Reading: text §17
Topics: Confinement problem, covert channels
Week of June 5, 2006
Reading: text §22.6
Topics: Computer viruses, malicious logic
Version of March 28, 2006 at 11:14 AM
You can also obtain a PDF version of this.