CS498 Computer Security

All the lecture videos can be downloaded from http://media.cs.uiuc.edu/fa05/cs463.html

Date	Lecture No.	Lecturer	Slides
08/25/05	Lecture 1 Introduction	Carl Gunter Nikita Borisov	Introduction Critical Infrastructure Protection Host Security
08/30/05	Lecture 2 Foundational results	Nikita Borisov	Computer Security Foundations
09/01/05	Lecture 3 Foundational results Hybrid Policies	Carl Gunter	Computer Security Foundations Hybrid Policies
09/06/05	Lecture 4 Hybrid Policies	Carl Gunter	Computer Security Foundations Hybrid Policies
09/08/05	Lecture 5 Key Management	Himanshu Khurana (NCSA)	Key management
09/13/05	Lecture 6 Key Management	Himanshu Khurana (NCSA)	Key management
09/15/05	Lecture 7 Representing Identity	Nikita Borisov	Representing Identity
09/20/05	Lecture 8 Representing Identity	Nikita Borisov	Representing Identity
09/22/05	Lecture 9 Access Control Mechanisms Term Project Description and Demo	Nikita Borisov	Access Control Mechanisms Project JanusSlides Demo
09/27/05	Lecture 10 Access Control Mechanisms	Nikita Borisov	Access Control Mechanisms
09/29/05	Lecture 11 Access Control Mechanisms	Nikita Borisov	Access Control Mechanisms Hybrid Policies
10/04/05	Lecture 12 Noninterference and Policy Composition	Carl Gunter	Noninterference and Policy Composition
10/06/05	Lecture 13 Noninterference and Policy Composition	Carl Gunter	Noninterference and Policy Composition
10/11/05	Lecture 14 Information Flow	Nikita Borisov	Information Flow
10/13/05	Lecture 15 Information Flow	Nikita Borisov	Information Flow
10/18/05	Lecture 16 Confinement Problem	Nikita Borisov	Confinement Problem
10/20/05	Lecture 17 Confinement Problem	Nikita Borisov	Confinement Problem
10/25/05	Midterm	��
10/27/05	Lecture 18 Building System with Assurance	Carl Gunter	Building System with Assurance
11/01/05	Lecture 19 Building System with Assurance	Carl Gunter	Building System with Assurance
11/03/05	Lecture 20 Formal Methods	Kaijun Tan	Formal Methods
11/08/05	Lecture 21 Formal Methods	Kaijun Tan	Formal Methods
11/10/05	Lecture 22 Vulnerability Analysis	William Sanders	Probabilistic Validation of Computer System Survivability
11/15/05	Lecture 23 Vulnerability Analysis	Zbigniew Kalbarczyk	Security Vulnerabilities: From Analysis to Detection and Masking Techniques
11/17/05	Implementation Demos	��	��
11/29/05	Lecture 24 Intrusion Detection	Nikita Borisov	Intrusion Detection
12/01/05	Lecture 25 Intrusion Detection	Nikita Borisov	Intrusion Detection
12/06/05	No Lecture	��	��
12/08/05	Lecture 26 Program Security	Nikita Borisov	Program Security
12/09/05	(All day event) Project Reviews	��	��

* Slides awaiting final update.
** Slides are only provided in front of the lecture that they are used for the first time.