3.Next

Noninterference is a strict multilevel security policy model, first described by Joseph Goguen and José Meseguer in 1982 and developed further in 1984.

Introduction

In simple terms, a computer is modeled as a machine with inputs and outputs. Inputs and outputs are classified as either low (low sensitivity, not highly classified) or high (sensitive, not to be viewed by uncleared individuals). A computer

3.Next