Formal Models for Computer Security
Carl E. LandwehrCode 7593, Naval Research Laboratory, Washington, D.C
1981en
ABI
Abstract
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
Identifiers
Citations and references
Cited by 20 references