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.