FPT_AMT.1 Abstract machine testing
Hierarchical to: No other components.
FPT_AMT.1.1 The TSF shall run a suite of tests [selection: during initial start-up, periodically during normal operation, at the request of an authorised user, other conditions] to demonstrate the correct operation of the security assumptions provided by the abstract machine that underlies the TSF.
Dependencies: No dependencies.