Assignments for Fall '02

Do the readings as outlined in the course calendar to prepare for each class.
Assignment 1
Assignment 2
Assignment 3

Assignment 1

Due: 28 August 2002

Purpose: build class email list

Assignment: send email to skchin@syr.edu with the following information:

Name
Contact Information
Program of Study, e.g., M.S.C.E., Ph.D., etc.
Full-time or part time student. If you are working, please let me know what company you are working for.

Due: 4 September
Purpose: Thinking critically about key distribution protocols
Assignment:

Read the sections in the textbook as specified in the class calendar (RSA and hash functions)
Read Example 6 on the BAN and try to do the proof of goal G1 for the Otway-Rees protocol in Section 5 without looking at my proof. Note: the BAN logic will be on the first exam.
The source material for the BAN logic (which explains in detail the semantics and several protocols) is found in Michael Burrows, Martin Abadi, Roger Needham. A Logic of Authentication. SRC Research Report 39, Systems Research Center, Digital Equipment Corporation, Palo Alto, CA, 1990.

Due: 9 September
Purpose: Comprehension and formal analysis of selected aspects of cryptographic algorithms and protocols
Assignment:

Example 1 (you can omit Section 2 on the Caesar cipher). This example introduces some formal aspects of cryptographic algorithms.
Example 2 shows a simple analysis of flaws. The example examines the three questions at the end of Chapter 2.
Example 3 is a very detailed formal description and verification of DES.
Example 4 is a formal description of electronic code book (ECB) and cipher block chaining CBC.
Example 4a shows a formal analysis of a flawed CBC message integrity code.
Example 5 discusses public key algorithms

Updated September 3, 2002