Bell- Lapadula Model 1 topic · 1 source TechnologyDefenseA formal state transition model of computer security policy that describes a set of access control rules.DoD Missile Defense Agency — MDA Glossary Cite