The Bell-LaPadula and Biba models implement state machines in a fashion that uses what specific state machine model?

The information flow model applies state machines to the flow of information. The Bell-LaPadula model applies the information flow model to confidentiality, while the Biba model applies it to integrity.