User Outputs (in CC Context)
		¨ Two kinds of requirements documentation ¨ Abstract – Protection Profile – System context, specific functions, general assurances – No binding to specific implementation ¨ Specific – Security Target – System context, specific functions, specific assurances – Bound to specific implementation
	600.436 High- Assurance Systems
				Fall 01/Introduction			18