FIPSFSM: Difference between revisions

Jump to navigation Jump to search
19 bytes added ,  15 June 2006
Line 7: Line 7:
'''Recovery from error states''': If the module ever enters the Error state, the NSS library needs to be shut down (transition 3.0) and reinitialized (transition 1.1).
'''Recovery from error states''': If the module ever enters the Error state, the NSS library needs to be shut down (transition 3.0) and reinitialized (transition 1.1).


'''Inclusive statement''': The action of the finite state model as a result of all other combinations of data and control inputs is:
'''Inclusive statement''': The action of the finite state model as a result of all other combinations of data and control inputs is defined as follows.
* if the data and control inputs are valid and the module performs the service successfully, the module outputs the requested data or status information and returns CKR_OK;
* If the data and control inputs are valid and the module performs the service successfully, the module outputs the requested data or status information and returns CKR_OK.
* if the data and control inputs are invalid or the module encounters an error (e.g., running out of memory) when performing a service, the module does not output any data and simply returns an appropriate error code (e.g., CKR_HOST_MEMORY, CKR_TOKEN_WRITE_PROTECTED, CKR_TEMPLATE_INCOMPLETE, or CKR_ATTRIBUTE_VALUE_INVALID).
* If the data and control inputs are invalid or the module encounters an error (e.g., running out of memory) when performing a service, the module does not output any data and simply returns an appropriate error code (e.g., CKR_HOST_MEMORY, CKR_TOKEN_WRITE_PROTECTED, CKR_TEMPLATE_INCOMPLETE, or CKR_ATTRIBUTE_VALUE_INVALID).
The module stays in the current state.
The module stays in the current state.


canmove, Confirmed users
937

edits

Navigation menu