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