Final answer:
The security models built on a state machine model are the Bell-LaPadula and Biba models, which enforce security policies based on the current state and allowed state transitions within a system.
Step-by-step explanation:
The security models built on a state machine model include the Bell-LaPadula and Biba models. The Bell-LaPadula model focuses on preserving confidentiality and preventing unauthorized access to information, while the Biba model emphasizes data integrity and preventing unauthorized modifications. These models use a state machine to enforce security policies based on the current state and allowed state transitions within a system.