D.E. Denning, T.F. Lunt, R. Schell, M. Heckman, and S. Shockley. Secure Distributed Data View (Sea View) -- the Sea View Formal Security Policy Model. Technical report, SRI International, July 1987. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Providing Security and Interoperation of Heterogeneous Systems - Dawson, Qian, al. (1998) (4 citations) (Correct)
....(relation produced by the wrapper) at the source has associated a security level. In case of ner grained classi cation, the level assigned to each object will be the greatest lower bound of the security levels of the information in the object, as is common practice in mandatory security policies [9]. As described in Section 5, the security level associated with the object is the level that will be considered by the mediator to lter access requests to the object. Finer grained access control (within the object) will be enforced at the source itself. 4. Application schema de nition and ....
D.E. Denning, T.F. Lunt, R. Schell, M. Heckman, and S. Shockley. Secure distributed data view (SeaView) { the SeaView formal security policy model. Technical report, SRI International, July 1987.
Authorization In Distributed Systems: A New Approach - Woo, Lam (1993) (37 citations) (Correct)
....(standing for a specific access request) in their logic is fully abstract (i.e. uninterpreted) 1, p. 725] In some sense, our work is complementary to theirs in that we investigate the structure of these statements and provide meanings to them. Lastly, concrete models such as those proposed in [8, 15, 24] address the same general concerns as ours, but for application specific domains. Our framework can be used as a general basis underlying their respective specific proposals. 3 Three Types of Structural Properties Authorization requirements are highly structured because the set of subjects and ....
D.E. Denning, T.F. Lunt, R.R. Schell, M. Heckman, and W.R. Shockley. The SeaView formal security policy model. Technical Report A003, Computer Science Laboratory, SRI International, 1987.
Authorization in Distributed Systems: A Formal Approach - Woo, Lam (1992) (22 citations) (Correct)
....abstract security properties of a system as a whole, which includes authorization as a key component. The papers by Abadi, et al. 2] and Lunt [19] are similar in spirit to ours, in that their focus is on understanding the semantics of authorization. Concrete models such as those proposed in [6, 12, 18] address the same general concerns as ours, but for application specific domains. Lastly, our composition operators are designed for authorization requirements, and are different from the one in [20] which is designed for a particular notion of security. The balance of this paper is organized as ....
D.E. Denning, T.F. Lunt, R.R. Schell, M. Heckman, and W.R. Shockley. The SeaView formal security policy model. Technical Report A003, Computer Science Laboratory, SRI International, 1987.
The Specification and Modeling of Computer Security - McLean (1990) (17 citations) (Correct)
....,read ) b f s (s ) f o (x ) Our definition of the property , however, requires more substantial modification. We now say that a state is secure if and only if for any subjects s 1 ,s 2 and objects x ,y if (s 1 ,x ,read ) b and ############### 7. See, for example, the SeaView model [5]. 8. See, for example, the MMS model [10] 9. What follows can be applied to the set of objects in an analogous manner if we wish to capture the notion of being able to operate on an object only conjointly with operations on another object, as for example, in double entry bookkeeping. 13 (s ....
....as well. For example, who grants or revokes permission for a user to change an object s security level In the mean time, both frameworks should support future research in security modeling by suggesting new ############### 10. This is the approach taken, for example, in the MMS [10] and SeaView [5]. 11. A representative sample of this response is contained in Computer Security Forum 5, 18 (July 5, 1986) ed. Ted Lee for Arpanet distribution. System Z was originally presented in issue 14 (June 22, 1986) of the Forum, and additional responses appeared in issues 25 (September 23, 1986) 26 ....
D. E. Denning, T. F. Lunt, R. R. Schell, M. Heckman, and W. Shockley, "The SeaView Formal Security Policy Model," SRI Interim Report A003, SRI International, 1987.
Specification and Enforcement of Classification and.. - Steven Dawson Sabrina (1999) (2 citations) (Correct)
No context found.
D.E. Denning, T.F. Lunt, R. Schell, M. Heckman, and S. Shockley. Secure Distributed Data View (Sea View) -- the Sea View Formal Security Policy Model. Technical report, SRI International, July 1987.
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