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.

Links

• IEEE Xplore

Citation

McLean, J., 1988. The Algebra of Security. Proceedings. 1988 IEEE Symposium on Security and Privacy 2–7. https://doi.org/10.1109/SECPRI.1988.8092