Expand description
Type-state secure-channel state machine.
§Spec: Annex D.4
States are phantom-typed so that calling out-of-order is a compile error
rather than a runtime fault. Calls from any state may transition back to
Disconnected on error.
See Session for the rendered state diagram.
Structs§
- Challenged
- Phantom: ACU has sent CHLNG and is awaiting CCRYPT.
- Cryptogrammed
- Phantom: ACU has verified CCRYPT and is awaiting RMAC_I.
- Disconnected
- Phantom: session not started.
- Secure
- Phantom: SC fully established.
- Session
- Secure-channel session state.