Session programme and handouts

Please note that the slides and exercises are still subject to change. I aim to finalise the material one week before it is used, but this is an aim, not a promise.

All files are in PDF. Handouts show four frames per page. Slides are in colour, and some of them may not be readable in grayscale print.

Week 1: What is Computer Security?

Week 2: Dilemma and Design

Week 3: Identification and Authentication

Week 4: Access Control

Week 5: Reference Monitor

Week 6: The Bell-LaPadula Model

Week 7: Other Formal Models

Week 8: Security Evaluation

Week 9: Software Security

$Id: syllabus.inc,v 1.23 2007/11/06 13:45:26 css1hs Exp $