Cryptographic Module Finite State Model
Friday, February 6th, 2009
The operation of a cryptographic module shall be specified using a Finite State Model (or equivalent) represented by a state transition diagram and/or a state transition table and state descriptions. The FSM shall be sufficiently detailed to demonstrate that the cryptographic module complies with all of the requirements of this standard.
Documentation shall include the FSM (or equivalent) using a state transition diagram and/or state transition table and state descriptions that [..]