Aggregation and Separation as Noninterference Properties
Simon N. Foley · Journal of Computer Security · 1992
This paper proposes a notation that can be used to describe information flow policies that may have transitivity, aggregation and separation (of duty) exceptions. Operators for comparing, composing and abstracting these policies are described. These