600.436 High-Assurance
Systems
Fall 01/Protection Profiles
29
Assurance Requirements Composition
“Rules”
¨Dependencies
–On
other assurance and functional requirements
¨Hierarchical
Relationships
–Each assurance component level is a strict superset of the
lower level(s)
¨Operations
–Refinement
(on components)
–Augmentation
(on assurance packages)