Brain Dump

Non-interference

Tags: security

Is an alternative to MAC created by Goguen and Meseguer:

Actions by high level subjects (eg. top secret) should not be visible (flow down to) to lower level subjects.