Graduate Course Catalog 2007-2009
COURSE: 68-555 Security Assurance Principles (3)
This course investigates fundamental assurance technologies that can be applied to interface specifications, architectures, and implementations of information security mechanisms. Formal security models are discussed and applied. Formal and semi-formal specification techniques are investigated and applied. Principles of testing are discussed and applied to demonstrative and vulnerability testing. Prerequisite: 68-505 (or 68-506, 68-507, and 68-508).