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

Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek (1979)
a service of Schloss Dagstuhl - Leibniz Center for Informatics