Key points are not available for this paper at this time.
Efforts to build quot;secure quot; computer systems have now been underway for more than a decade. Many designs have been proposed, some prototypes have been constructed, and a few systems are approaching the production stage. A small number of systems are even operating in what the Department of Defense calls the quot;multilevel quot; mode some
Carl E. Landwehr (Tue,) studied this question.