Describes a system that is always secure no matter what state it is in.
Based on the computer science definition of a finite state machine (FSM).
A state is a snapshot of a system at a specific moment in time. All state transitions must be evaluated.
If each possible state transition results in another secure state, the system can be called a secure state machine.