600.436 High-Assurance
Systems
Fall 01/System Security Realization
24
TSP-Enforcing Functions
¨“The
low-level design shall describe how each TSP-enforcing function is
provided.”
–Describe the approach being used to implement a module’s
security functionality
–Experience shows that this description should also document
other implementation approaches that were considered and the reasons they were
not chosen