01
Bell-LaPadula and the Formalization of Multilevel Security
David Bell and Leonard LaPadula turned military information-flow rules into a mathematical security model, making confidentiality policy something that could be stated as invariants over system states and transitions.
↗