Secure Computer Systems¶
Bell, D. E., & LaPadula, L. J. (1973). Secure Computer Systems: Mathematical Foundations.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Escape and Leakage
- Escape and leakage is the dual problem: the fact that no boundary is perfectly impermeable, and systems must account for the inevitable leakage rate rather than assume perfect containment, a duality Bell and LaPadula (1973) made explicit in their lattice model of secure information flow.
This sourceMITRE Corporation. Foundational lattice model of secure information flow: formalizes the dual relation between containment (preventing information from flowing across security levels) and leakage (the unintended cross-level flows the model is designed to bound).
- Escape and leakage is the dual problem: the fact that no boundary is perfectly impermeable, and systems must account for the inevitable leakage rate rather than assume perfect containment, a duality Bell and LaPadula (1973) made explicit in their lattice model of secure information flow.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:ebb61793fff3 · see in the full table