NSSCryptoModuleSpec/Section 4: Finite State Model