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