600.436 High-
Assurance Systems
Fall 01/Protection Profiles
30
Refinement Operation
¨
Refinement
¨
e.g.
–
The CM system shall provide an automated
means to ensure that only authorized changes
are made to the TOE implementation
representation. This shall be compatible with
SCCS.