Trusted computing base
State machine model
Information flow model
Noninterference model
Take-Grant model
Access control matrix
Bell-LaPadula model
Biba model
Clark-Wilson model
Brewer and Nash model (also known as Chinese Wall)
Goguen-Meseguer model
Sutherland model
Graham-Denning model
Guidelines:
Must be in APA
3-page
In-text citations
References( different page)