| Meeting | Date | Topic | Reading | Assignment |
|---|---|---|---|---|
| 1 | 08/30 |
Introduction Use Cases Misuse Cases |
Referenced in the Presentation | |
| 2 | 09/06 |
Miusue Case work of Ian Alexander
Misuse Cases |
Requirements Engineering |
|
| 3 | 09/13 |
Propositional and Predicate Logic
Logic Slides |
||
| 4 | 09/20 |
Predicate and Modal Logic
Logic Slides Modal Logic (may be updated during the course of the week) |
||
| 5 | 09/27 | Motivating "Security Protocol Verification" | John Mitchell's web page (read his 1998 Dragstool summer school ppts) | |
| 6 | 10/4 | Motivating "Security Protocol Verification" Cont. | John Mitchell's web page (read his 1998 Dragstool summer school ppts) | |
| -- | 10/11 | No Class | ||
| 7 | 10/18 |
AVISPA Protocol Verifier AVISPA Slides |
||
| 8 | 10/25 |
AVISPA Protocol Verifier Cont. AVISPA Slides (expanded version of the previous transparency) |
||
| 9 | 11/1 |
CSP (communicating sequential processes) and FDR Protocol Verifier |
||
| 10 | 11/8 | Strand Spaces |