Thumbnail
Access Restriction
Subscribed

Author Kemmerer, Richard A. ♦ Walker, Bruce J. ♦ Popek, Gerald J.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Unix ♦ Operating systems ♦ Security kernel ♦ Programming methodology ♦ Verification ♦ Alphard ♦ Formal specifications ♦ Security ♦ Protection
Description Affiliation: Univ. of California at Los Angeles, Los Angeles (Walker, Bruce J.; Kemmerer, Richard A.; Popek, Gerald J.)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 23
Issue Number 2
Page Count 14
Starting Page 118
Ending Page 131


Open content in new tab

   Open content in new tab
Source: ACM Digital Library