Abstract
We develop a general framework in which various mandatory access control security models that allow changes in security levels can be formalized. These models form a Boolean Algebra. We expand the framework to include models that allow n-person rules necessary for discretionary access controls in an industrial security setting. The resulting framework is a distributive lattice.

This publication has 0 references indexed in Scilit: