| 600.436: High-Assurance Systems |
|
|
|
|
|
|
|
|
|
|
|
|
| David
M. Chizmadia, Promia, Inc., dchizmadia@srl.cs.jhu.edu |
|||||||||||
| Jonathan
S. Shapiro, Johns Hopkins University, shap@srl.cs.jhu.edu |
|||||||||||
| Course
website: http://srl.cs.jhu.edu/courses/cs436.html |
|||||||||||
| Time/Place:
M 4-5, Tu 3-5, NEB 12 |
|||||||||||
| Required
Texts: |
|||||||||||
| Anderson:
Security Engineering |
|||||||||||
| DeMarco
& Lister: Peopleware (2nd Ed.) |
|||||||||||
| ISO: Common
Criteria, Common Evaluation Methodology |
|||||||||||
| Papers
as distributed in class |
|||||||||||
| Recommended
(Strongly) |
|||||||||||
| Schneier:
Secrets & Lies |
|||||||||||
|
|
| 600.436 High- |
|
| Assurance
Systems |
|
| Fall
01/Introduction |
| 1 |