600.436 High-
Assurance Systems
Fall 01/Protection Profiles
9
Interface - Exceptions
¨
Describe Conditions Under Which Interface
Behaves Differently
–
E.g., in presence of security privileges
–
Use same format as Effects
