Example - Summary Specification
		¨ Example 3 (TSF_6) – The firewall administrator, and only the firewall administrator, can perform the following functions: – display and modify the firewall access control parameters – initialise and modify user authentication data – etc.
	600.436 High- Assurance Systems
				Fall 01/Protection Profiles			23