ABSTRACT

Secure Computer System: Unified Exposition and MULTICS Interpretation   [open pdf - 3MB]

This report summarizes, both narratively and formally, the particular version of the mathematical model that is relevant to the development of a multics security kernel. The report not only presents the model in convenient and readable form, but also explicitly relates the model to the emerging multics kernel design to help bridge the gap between the mathematical notions of the model and their counterparts in the mulitics security kernel.

Publisher:
Date:
1976-03
Copyright:
Public Domain
Format:
pdf
Media Type:
application/pdf
URL:
Help with citations