CS5430: System Security

Course Overview and Organization.

Lecture times, teaching staff, office hours, prerequisites, assignments and grading policy.

Topic Outline.

High-level listing of topics to be covered along with recommended readings.

Recent Announcements

• [5/9] Homework 6 is graded. Graded assignments can be can be collected at the Homework Handback Room (Upson 360), which is open:
  Monday - Thursday: 12noon - 4:00pm.
  Friday: 1:30pm - 4:00pm.
  Consult the course policy on regrades if you believe an error was made in grading. Regrade requests for Homework 6 must be submitted by 9am May 13, 2011.
• [4/29] Homework 6 Revision. Here is a new wording for problem 5.10 in the on-line notes (i.e., for problem 2 in Homework 6):

           5.10 The protocol of Figure 5.7 requires the authentication token
                to store information about a user's PIN.  Modify the protocol
                so information derived from a PIN is not being stored on the
                authentication token but, nevertheless, a PIN must be entered
                in order for an authentication to succeed.

• [4/23] Homework 6 is posted.
• [4/23] Homework 5 is graded. Graded assignments can be can be collected at the Homework Handback Room (Upson 360), which is open:
  Monday - Thursday: 12noon - 4:00pm.
  Friday: 1:30pm - 4:00pm.
  Consult the course policy on regrades if you believe an error was made in grading. Regrade requests for Homework 4 must be submitted by 9am April 28, 2011.
• [3/27] Homework 5 and an Extra Credit Assignment are posted. Recall, extra credit assignments are optional. They affect your final course grade only if you are close to a border; and then they could cause your course grade to increase or decrease depending on the correctness of your solution.
• [3/22] Homework 3 is graded. Graded assignments can be can be collected after the Spring Break at the Homework Handback Room (Upson 360), which is open:
  Monday - Thursday: 12noon - 4:00pm.
  Friday: 1:30pm - 4:00pm.
  Consult the course policy on regrades if you believe an error was made in grading. Regrade requests for Homework 2 must be submitted by 9am April 1, 2011.
• [3/07] Homework 4 is posted.
• [3/07] Homework 2 is graded. Graded assignments can be can be collected at the Homework Handback Room (Upson 360), which is open:
  Monday - Thursday: 12noon - 4:00pm.
  Friday: 1:30pm - 4:00pm.
  Consult the course policy on regrades if you believe an error was made in grading. Regrade requests for Homework 2 must be submitted by 9am March 11, 2011.
• [3/07] Revised lecture notes posted. Changes have been made to the on-line lecture notes that are linked to the course topic outline.
  • Revised notes for program analysis techniques
  • A link to a survey on database privacy that discusses a superset of what we covered in lecture.
• [2/16] Homework 1 is graded. Graded assignments can be can be collected at the Homework Handback Room (Upson 360), which is open:
  Monday - Thursday: 12noon - 4:00pm.
  Friday: 1:30pm - 4:00pm.
  Consult the course policy on regrades if you believe an error was made in grading. Regrade requests for Homework 1 must be submitted by 9am Feb 25, 2011.
• [1/25] Lecture room changed to accomodate larger enrollment. As of Wed 1/26/2011, CS5430 will meet in Thurston 203. (CS5431, which meets Fridays 1010, is also moved to Thurston 203.)

Homework

• [Due 10:00am 2/7] Homework 1: Security Requirements

• [Due 10:00am 2/21] Homework 2: Authorization

• [Due 10:00am 3/4] Homework 3: More on Authorization

• [Due 5pm 3/17] Homework 4: Information Flow

• [Due 5pm 4/8] Homework 5: Authenticating Machines

• [Due 5pm 4/22] Extra-credit Assginment: Security Policy Analysis

• [Due 5pm 5/3] Homework 6: Authenticating People