600.436 High-Assurance
Systems
Fall
01/Protection Profiles
23
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.