Clark–Wilson model
Sign in to saveintegrity model provides a foundation for specifying and analyzing an integrity policy for a computing system
integrity model provides a foundation for specifying and analyzing an integrity policy for a computing system