Biba Model
Crime prevention
National security
Bell–LaPadula model
Mandatory Integrity Control
CDIS
Integrity
XTS-400
Computer security
Security
Clark–Wilson model