FPT_AMT.1 Abstract machine testing
User application notes
This component provides support for the periodic testing of the security assumptions of the underlying abstract machine upon which the TSF's operation depends, by requiring the ability to periodically invoke testing functions.
The PP/ST author may refine the requirement to state whether the function should be available in off-line, on-line or maintenance mode.
Evaluator application notes
It is acceptable for the functions for periodic testing to be available only in an off-line or maintenance mode. Controls should be in place to limit access, during maintenance, to authorised users.
Operations
Selection:
In FPT_AMT.1.1 the PP/ST author should specify when the TSF will execute the abstract machine testing, during initial start-up, periodically during normal operation, at the request of an authorised user, or under other conditions. In the case of the latter option, the PP/ ST author should refine what those conditions are. The PP/ST author, through this selection, has the ability to indicate the frequency with which the self tests will be run. If the tests are run often, then the end users should have more confidence that the TOE is operating correctly then if the tests are run less frequently. However, this need for confidence that the TOE is operating correctly must be balanced with the potential impact on the availability of the TOE, as often times, self tests may delay the normal operation of a TOE.