SWhat changed
Made security classes and permitted flows into a lattice framework for reasoning about program mechanisms.
Scientific scope
The record is Denning's sole-author 1976 Communications of the ACM paper. It does not absorb all mandatory-access-control systems, later noninterference formulations, declassification policies or every implementation.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Denning's sole-author 1976 Communications of the ACM paper. It does not absorb all mandatory-access-control systems, later noninterference formulations, declassification policies or every implementation.
Contributors
- Dorothy E. Denning · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction