Basic Theorems about Security
Jeremy L. Jacob · Journal of Computer Security · 1992
We build a mathematical structure in which we can ask questions about the methods for achieving security properties, such as confidentiality and integrity, and functionality properties, such as safety and liveness. The structure allows us to consider