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.