Multilevel Object Security Model.
Elisabeth C. Sullivan, Teresa F. Lunt, Norman Proctor · 1986
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.