How to Prove Your Love?
- Continuous Time Series: I will always love you! (7×24, 365 days, n years)
- Finite State Machine: I love you, dead or alive! (Two states)
Limited and Unlimited States
A system with limited states is easier or more feasible to implement and manage than one with unlimited (continuous) states. That’s why the finite-state machine (FSM) is commonly employed in security models.
Finite-State Machine (FSM)
A finite-state machine (FSM) or just a state machine is is a mathematical model that can be in exactly one of a finite number of states at any given time. It can change or transit from one state to another in response to events.
If a system as a state machine is secure in each state and between the transition between states, then we can say it is a secure system.