600.436 High-Assurance Systems
Fall 01/Introduction
1
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