600.436 High-
Assurance Systems
Fall 01/System Security Realization
56
Techniques
¨
Stepwise Refinement
¨
Reverse Engineering
¨
Interviews
¨
Hybrids
