Los Alamos CCS (Center for Computer Security) formal computer security model
- Los Alamos National Lab., NM (USA)
This paper provides a brief presentation of the formal computer security model currently being developed at the Los Alamos Department of Energy (DOE) Center for Computer Security (CCS). The initial motivation for this effort was the need to provide a method by which DOE computer security policy implementation could be tested and verified. The actual analytical model was a result of the integration of current research in computer security and previous modeling and research experiences. The model is being developed to define a generic view of the computer and network security domains, to provide a theoretical basis for the design of a security model, and to address the limitations of present models. Formal mathematical models for computer security have been designed and developed in conjunction with attempts to build secure computer systems since the early 70's. The foundation of the Los Alamos DOE CCS model is a series of functionally dependent probability equations, relations, and expressions. The mathematical basis appears to be justified and is undergoing continued discrimination and evolution. We expect to apply the model to the discipline of the Bell-Lapadula abstract sets of objects and subjects. 5 refs.
- Research Organization:
- Los Alamos National Laboratory (LANL), Los Alamos, NM (United States)
- Sponsoring Organization:
- DOE/DP
- DOE Contract Number:
- W-7405-ENG-36
- OSTI ID:
- 5501353
- Report Number(s):
- LA-UR-89-635; CONF-891064-1; ON: DE89008013
- Resource Relation:
- Conference: 12. national computer security conference, Baltimore, MD (USA), 10-13 Oct 1989
- Country of Publication:
- United States
- Language:
- English
Similar Records
FY 1986 activities and accomplishments of the DOE Center for Computer Security. Status report
Acceleration of Los Alamos National Laboratory transuranic waste disposition