Non-interference (security)
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.
Source: Wikipedia — Non-interference (security) (CC BY-SA 4.0)