© G. Dhillon, IS Department Virginia Commonwealth University Principles of IS Security Formal Models.