A model of a protected McCA79 data management system," ESD-TR-76289, ESD/AFSC, Hanscom AFB (1976)

by M J GROHN
Venue:I P. Sharp, Ottawa, Canada NTIS ADA 035256). HARRISON, M. A., Ruzzo, W L., AND MILL76 ULLMAN, J . D
Add To MetaCart
Results 1 - 1 of 1

Formal models for computer security

by Carl E. Landwehr - ACM Computing Surveys , 1981
"... Efforts to build "secure " computer systems have now been underway for more than a decade. Many designs have been proposed, some prototypes have been constructed, and a few systems are approaching the production stage. A small number of systems are even operating in what the Department of ..."
Abstract - Cited by 133 (2 self) - Add to MetaCart
Efforts to build "secure " computer systems have now been underway for more than a decade. Many designs have been proposed, some prototypes have been constructed, and a few systems are approaching the production stage. A small number of systems are even operating in what the Department of Defense calls the "multilevel " mode some