Graduate Course Catalog 2011-2013
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 and 68-530.