An interpretation of a refined Bell-La Padula model for the TMach kernel

Publisher Website

6 January 2003

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 368-378
https://doi.org/10.1109/acsac.1988.113335

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

The duality of memory and communication in the implementation of a multiprocessor operating system
ACM SIGOPS Operating Systems Review, 1987
Proving multilevel security of a system design
Published by Association for Computing Machinery (ACM) ,1977