600.436 High-Assurance
Systems
Fall 01/System Security Realization
33
Complexity Minimization
¨Increases assurance (confidence)
that code is understood
¨Based on premise that if the code in
the TSF is less complex, it is more likely that the design of the TSF
is comprehensible.
¨“Design complexity minimization is a key characteristic
of a reference validation mechanism.”