canmove, Confirmed users
937
edits
FIPSFSM: Difference between revisions
→Transitions
(→States) |
|||
| Line 64: | Line 64: | ||
| 1.0|| Power Off|| Power On|| Host computer is powered up|| None | | 1.0|| Power Off|| Power On|| Host computer is powered up|| None | ||
|- | |- | ||
| 1.1|| Power On|| Power Up Self Test|| | | 1.1|| Power On|| Power Up Self Test|| <code>FC_Initialize</code> called|| Power-up self-tests initiated | ||
|- | |- | ||
| 1.2|| Power Up Self Test|| Public Services|| Successful library initialization, software integrity test, and power-up self-tests|| FC_Initialize sets the internal Boolean state variable fatalError to false and returns CKR_OK | | 1.2|| Power Up Self Test|| Public Services|| Successful library initialization, software integrity test, and power-up self-tests|| <code>FC_Initialize</code> sets the internal Boolean state variable <code>fatalError</code> to false and returns <code>CKR_OK</code> | ||
|- | |- | ||
| 1.3|| Power Up Self Test|| Error|| Software integrity test or power-up self-test failure|| FC_Initialize sets the internal Boolean state variable fatalError to true and returns CKR_DEVICE_ERROR | | 1.3|| Power Up Self Test|| Error|| Software integrity test or power-up self-test failure|| <code>FC_Initialize</code> sets the internal Boolean state variable <code>fatalError</code> to true and returns <code>CKR_DEVICE_ERROR</code> | ||
|- | |- | ||
| 1.4|| Public Services|| Error|| Conditional self-test (continuous random number generator test) failed while performing a service (random number generation)|| The function (FC_SeedRandom or FC_GenerateRandom) sets the internal Boolean state variable fatalError to true and returns CKR_DEVICE_ERROR | | 1.4|| Public Services|| Error|| Conditional self-test (continuous random number generator test) failed while performing a service (random number generation)|| The function (<code>FC_SeedRandom</code> or <code>FC_GenerateRandom</code>) sets the internal Boolean state variable <code>fatalError</code> to true and returns <code>CKR_DEVICE_ERROR</code> | ||
|- | |- | ||
| 1.5|| Public Services|| NSS User Services|| User login succeeded|| FC_Login sets the internal Boolean state variable isLoggedIn to true and returns CKR_OK | | 1.5|| Public Services|| NSS User Services|| User login succeeded|| <code>FC_Login</code> sets the internal Boolean state variable <code>isLoggedIn</code> to true and returns <code>CKR_OK</code> | ||
|- | |- | ||
| 1.6|| Public Services|| Public Services|| User login failed|| FC_Login returns a nonzero error code (e.g., CKR_PIN_INCORRECT) | | 1.6|| Public Services|| Public Services|| User login failed|| <code>FC_Login</code> returns a nonzero error code (e.g., <code>CKR_PIN_INCORRECT</code>) | ||
|- | |- | ||
| 1.7|| Public Services|| Power On|| | | 1.7|| Public Services|| Power On|| <code>FC_Finalize</code> called|| <code>FC_Finalize</code> returns <code>CKR_OK</code> | ||
|- | |- | ||
| 2.1|| NSS User Services|| Public Services|| User logout requested|| FC_Logout sets the internal Boolean state variable isLoggedIn to false and returns CKR_OK | | 2.1|| NSS User Services|| Public Services|| User logout requested|| <code>FC_Logout</code> sets the internal Boolean state variable <code>isLoggedIn</code> to false and returns <code>CKR_OK</code> | ||
|- | |- | ||
| 2.2|| NSS User Services|| On Demand Self Test|| On-demand self-test requested with a FC_Login call|| Self-tests initiated | | 2.2|| NSS User Services|| On Demand Self Test|| On-demand self-test requested with a <code>FC_Login</code> call|| Self-tests initiated | ||
|- | |- | ||
| 2.3|| On Demand Self Test|| NSS User Services|| On-demand self-test passed|| FC_Login returns CKR_USER_ALREADY_LOGGED_IN | | 2.3|| On Demand Self Test|| NSS User Services|| On-demand self-test passed|| <code>FC_Login</code> returns <code>CKR_USER_ALREADY_LOGGED_IN</code> | ||
|- | |- | ||
| 2.4|| On Demand Self Test|| Error|| On-demand self-test failed|| FC_Login sets the internal Boolean state variable fatalError to true and returns CKR_DEVICE_ERROR | | 2.4|| On Demand Self Test|| Error|| On-demand self-test failed|| <code>FC_Login</code> sets the internal Boolean state variable <code>fatalError</code> to true and returns <code>CKR_DEVICE_ERROR</code> | ||
|- | |- | ||
| 2.5|| NSS User Services|| Power On|| | | 2.5|| NSS User Services|| Power On|| <code>FC_Finalize</code> called|| <code>FC_Finalize</code> returns <code>CKR_OK</code> | ||
|- | |- | ||
| 2.6|| NSS User Services|| Error|| Conditional self-test (pair-wise consistency test) failed while performing a service (key pair generation)|| The function (FC_GenerateKeyPair) sets the internal Boolean state variable fatalError to true and returns CKR_GENERAL_ERROR | | 2.6|| NSS User Services|| Error|| Conditional self-test (continuous random number generator test or pair-wise consistency test) failed while performing a service (random number generation or key pair generation)|| The function (<code>FC_SeedRandom</code>, <code>FC_GenerateRandom</code>, or <code>FC_GenerateKeyPair</code>) sets the internal Boolean state variable <code>fatalError</code> to true and returns <code>CKR_DEVICE_ERROR</code> or <code>CKR_GENERAL_ERROR</code> | ||
|- | |- | ||
| 3.0|| Error|| Power On|| | | 3.0|| Error|| Power On|| <code>FC_Finalize</code> called|| <code>FC_Finalize</code> returns <code>CKR_OK</code> | ||
|- | |- | ||
| 4.0|| Power On|| Power Off|| Host computer is powered off|| None | | 4.0|| Power On|| Power Off|| Host computer is powered off|| None | ||
|+ | |+ | ||
} | } | ||