Basic Theorems about Security

Article type: Research Article

Authors: Jacob, Jeremy

Affiliations: Oxford University Computing Laboratory, 11 Keble Road, Oxford OX1 3QD, USA

Abstract: 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 many different choices for the meaning of “confidentiality” and “integrity” and so on, and to compare and contrast security properties with functionality properties.

Keywords: Foundations, Formal methods, Confidentiality, Integrity, Availability

DOI: 10.3233/JCS-1992-13-409

Journal: Journal of Computer Security, vol. 1, no. 3-4, pp. 385-411, 1992