|
# |
date |
topic |
reading |
| 1. | Wed, Jan 3 | Access control matrix model | §2 |
| 2. | Fri, Jan 5 | no class | |
| 3. | Mon, Jan 8 | Safety question, Harrison-Ruzzo-Ullman model | §3.1-3.2 |
| 4. | Wed, Jan 10 | Take-Grant Protection Model | §3.3 |
| 5. | Fri, Jan 12 | Schematic Protection Model | §3.4 |
| Mon, Jan 15 | no class--Martin Luther King Holiday | ||
| 6. | Wed, Jan 17 | Expressive power, TAM and variants | §3.5 |
| 7. | Fri, Jan 19 | Security and precision, Bell-LaPadula model (lattice) | §4.7, 5.1-5.2.1 |
| 8. | Mon, Jan 22 | Bell-LaPadula model, basic security theorem | §5.2.3 |
| 9. | Wed, Jan 24 | Bell-LaPadula model, proving systems secure; System Z | §5.2.4-5.4 |
| 10. | Fri, Jan 26 | Biba, Lipner integrity models | §6.1-6.3 |
| 11. | Mon, Jan 29 | no class | |
| 12. | Wed, Jan 31 | Clark-Wilson, Chinese Wall models | §6.4, 7.1 |
| 13. | Fri, Feb 2 | CISS model; ORCON; RBAC | §7.2-7.4 |
| 14. | Mon, Feb 5 | Deterministic noninterference | §8.1-8.2 |
| 15. | Wed, Feb 7 | Nondeducibility, generalized noninterference, restrictiveness | §8.3-8.5 |
| 16. | Fri, Feb 9 | Information flow and non-lattice policies | §16.1-16.2.2 |
| 17. | Mon, Feb 12 | More policies, compiler-based flow mechanisms | §16.2.3-16.3 |
| 18. | Wed, Feb 14 | Execution-based flow mechanisms, examples | §16.4-16.5 |
| 19. | Fri, Feb 16 | Confinement problem, virtual machines | §17.1-17.2.1 |
| Mon, Feb 19 | no class--Presidents' Holiday | ||
| 20. | Wed, Feb 21 | Sandboxes, covert channels | §17.2.2-17.3.1 |
| 21. | Fri, Feb 23 | Covert channel detection, analysis | §17.3.1-17.3.2 |
| 22. | Mon, Feb 26 | Covert channel analysis, mitigation | §17.3.2-17.3.3 |
| 23. | Wed, Feb 28 | Malicious logic and undecidability | §22.6 |
| 24. | Fri, Mar 2 | Assurance: Requirements Definition and Analysis | §18, 19.1 |
| 25. | Mon, Mar 5 | Assurance: System and Software Design | §19.2 |
| 26. | Wed, Mar 7 | Assurance: Implementation, Integration, and Testing | §19.3 |
| 27. | Fri, Mar 9 | to be arranged | |
| 28. | Mon, Mar 12 | to be arranged | |
| 29. | Wed, Mar 14 | no class | |
| Fri, Mar 16 | Final Exam Scheduled |