Multilevel Object Security Model.
Abstract
This report is a summary of the Multilevel Object Security Model (MOSM) project. The MOSM effort involved the development of an intermediate-level security model which satisfies the requirements of the Bell-Lapadula model and the NRL model, while incorporating the ease of verification of the Bell-Lapadula model and the flexibility of the user interface of the NRL model. The project consisted of three tasks: development of the model, an abstract implementation of the model in terms of the NRL model, and an analysis of the Diamond Document Handling system with respect to the model. Each of these tasks is described in detail and a formal statement of the MOSM appears in the appendix. Keywords: Computer security; Multilevel security; Formal security model.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1986
- Accession Number
- ADA169187
Entities
People
- Elisabeth C. Sullivan
- Norman Proctor
- Teresa F. Lunt