600.436
High-Assurance Systems
Fall 01/Introduction
42
Discussion Topic 1:
¨Is CEM
a methodology or Methodology?
¨References
–CC and
CEM
–Paper: An
Informal Comparison of The UK ITSEC Scheme And The US TPEP
–Your
ideas