January 30, 2014 Outline
Reading:
text
, § 18, 19
Assignment due:
Project progress report, due February 4, 2014; Homework #2, due February 11, 2014
Assurance
Trustworthy entities
Security assurance
Trusted system
Why assurance is needed
Requirements
Assurance and software life cycle
Policy and requirements
Security specifications
Problems with precision
You can also obtain a PDF version of this.
Version of January 30, 2014 at 12:54PM