S. B. Lipner (Moderator). Panel session: Bell/La Padula and alternative models of security. In Proceedings of the Symposium on Security and Privacy, IEEE Computer Society, Oakland, CA, April 1983. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Security Requirements Specifications: How and What? - Rushby (2001) (3 citations) Self-citation (Security) (Correct)
....whether it is consistent with some alternative formulation, or entails some expected property. The Basic Security Theorem of Bell and La Padula was a demonstration of this kind that was advanced by some (though not by its authors) as evidence that their model captures the essence of security [9]. McLean refuted this claim by establishing an essentially identical theorem for a model that clearly violates any reasonable notion of security [11] The problem is that the Basic Security Theorem is a consequence of the underlying state machine model and not of the security requirements layered ....
S. B. Lipner (Moderator). Panel session: Bell/La Padula and alternative models of security. In Proceedings of the Symposium on Security and Privacy, IEEE Computer Society, Oakland, CA, April 1983.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC