An information flow control mechanism is an enforcement mechanism that ensures the behaviour of a system satisfies an information flow property.
An information flow control mechanism is an enforcement mechanism that ensures the behaviour of a system satisfies an information flow property.