Who developed one of the first mathematical models of a multilevel-security computer system?

Who developed one of the first mathematical models of a multilevel-security computer system?

A.
Diffie Hillman

B.
Clark and Wilson

C.
Bell and LaPadula

D.
Gasser and Lipner