Secure Computer Systems: Mathematical Foundations by David Elliott Bell and Leonard J. LaPadula (source code)

= Secure Computer Systems: Mathematical Foundations by David Elliott Bell and Leonard J. LaPadula
{c}
{tag=Work by David Elliott Bell}
{tag=Work by Leonard J. LaPadula}
{title2=1973}

https://websites.umich.edu/~cja/LPS12b/refs/belllapadula1.pdf

MTR-2547 volume I, original dated 1 March 1973; electronic reconstruction by Len LaPadula dated November 1996.