Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip

Luigi Logrippo

The multi level Bell La Padula model for secure data access and data flow control, formulated in the 1970s, was based on the theory of partial orders. Since then, another model, ba…