John Mitchell Secure OS Principles and Security Policies by John Mitchell (Modified by Vijay Ganesh)
by John Mitchell (Modified by Vijay Ganesh)