Slide 1 John Mitchell Secure OS Principles and Security Policies by John Mitchell (Modified by Vijay Ganesh) Slide 2 John Mitchell Is it Possible to Design a Useable Secure…