I
M
P
_
N
oninterference
Definitions
Idempotence
Overapproximation
Correctness
Degeneracy