论文信息 - The Bell and La Padula Security Model

The Bell and La Padula Security Model

A precise description is given of the Bell and La Padula security model using modern notation. The development faithfully follows that of the original presentation [1,2]. The paper is intended to provide a basis for more exact, formal, and scientific discussion of the model than has been the case heretofore.

John Rushby | J. Rushby

[1] D. Elliott Bell. Secure Computer Systems: A Refinement of the Mathematical Model , 1974 .

[2] M. D. Mesarović,et al. Mathematical theory of general systems , 1971 .

[3] T. Taylor. Comparison Paper between the Bell and LaPadula Model , 1984, 1984 IEEE Symposium on Security and Privacy.

[4] Jeffrey D. Ullman,et al. Formal languages and their relation to automata , 1969, Addison-Wesley series in computer science and information processing.

[5] J. Meseguer,et al. Security Policies and Security Models , 1982, 1982 IEEE Symposium on Security and Privacy.

[6] John McLean,et al. A Comment on the 'Basic Security Theorem' of Bell and LaPadula , 1985, Inf. Process. Lett..

[7] Richard J. Feiertag. A Technique for Proving Specifications are Multilevel Secure , 1980 .

[8] Dorothy E. Denning,et al. Cryptography and Data Security , 1982 .

[9] Lawrence Robinson,et al. Proving multilevel security of a system design , 1977, SOSP '77.

[10] J K Millen,et al. Computer Security Models , 1984 .

[11] D. Elliott Bell,et al. Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .