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