Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract).

Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek

Browse the full SOSP paper archive.