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