论文信息 - Secure Computer Systems: A Mathematical Model - 字舞流文

Secure Computer Systems: A Mathematical Model

Len LaPadula | Len LaPadula | L. LaPadula

[1] D. E. Bell,et al. Secure Computer Systems : Mathematical Foundations , 2022 .

[2] Robert C. Daley,et al. The Multics virtual memory , 1972, Commun. ACM.

[3] Clark Weissman,et al. Security controls in the ADEPT-50 time-sharing system , 1899, AFIPS '69 (Fall).