Thumbnail
Access Restriction
Subscribed

Author Popek, Gerald J. ♦ Farber, David A.
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Subject Keyword Operating systems ♦ Security ♦ Protection ♦ Program verification
Abstract Program verification applied to kernel architectures forms a promising method for providing uncircumventably secure, shared computer systems. A precise definition of data security is developed here in terms of a general model for operating systems. This model is suitable as a basis for verifying many of those properties of an operating system which are necessary to assure reliable enforcement of security. The application of this approach to the UCLA secure operating system is also discussed.
Description Affiliation: Univ. of California, Los Angeles (Popek, Gerald J.; Farber, David A.)
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 21
Issue Number 9
Page Count 13
Starting Page 737
Ending Page 749


Open content in new tab

   Open content in new tab
Source: ACM Digital Library