A. K. Jones. Protection mechanism models: their usefulness. Foundations of Secure Computation, 1978. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
PLAS - Policy Language for Authorizations - Abad-Peiro, Debar.. (1999) (Correct)
....as a suite of conditions to be respected in order to fulfill properly secure operations taken over the system. The definition of security policies is made in a security model. In this sense, security models provide the semantic framework in which security requirements can be formally described [Jon78]. The access control policy is the part of a security policy that governs who may access resources and information stored in the system, and how. There are three types of authorization services that implement access control policies: definition, evaluation, and enforcement services. There is a ....
A. K. Jones. Protection mechanism models: their usefulness. Foundations of Secure Computation, 1978.
Information Security Curricula in Computer Science Departments.. - Ac Ti Ce (Correct)
....appears to be a separate, necessary element of computer science. Access control, information flow, multi level security, etc. do not directly align with any other mainstream computer science topic. Rather they are a discipline of their own and have been the topic of extensive research [BL73] [Jon78] and many others. Nonetheless, no security curriculum could be considered comprehensive without presenting extensive material on security policies, and one or more courses on security policies would be appropriate in a security curriculum within a computer science department. 1. Software ....
Anita Jones, "Protection Mechanism Models: Their Usefulness", In Foundations of Secure Computation, 1978, pp. 237-252 Information Security Courses with Relevant Computer Science Elements 1. Security Management: Systems Administration 2. Internet Security, tools & techniques Systems Administration
Specification and Verification of Security Policies - Peri (1996) (Correct)
.... ascetic and indifferent in social rituals has to be provided with blue prints and specifications for evoking the right form for every occasion Marshall McLuhan Chapter 4: Specification of Security Critical Systems 70 card reader daemon could install a Trojan horse in a user file space [JON78]. Although security holes similar to the one in Multics have been found in modern operating systems, access control models had very little role in discovering them. This is unfortunate, since a simple analysis of the protection mechanisms most likely could have found most of these holes in a ....
Jones, A., 'Protection Mechanism Models: Their Usefulness', Foundations of Secure Computation, Academic Press, 1978.
Conspiracy and Information Flow in the Take-Grant Protection Model - Bishop (1996) (Correct)
....flow. We establish precise bounds on the number of actors required for information to be transferred from one vertex to another, and contrast these results with similar results for the transfer of rights. Applications of the Take Grant Protection Model to various systems have been explored [3][8][13] 16] This paper also tries to place its theoretical results into an applied context by exploring how these results can be used to analyze the actors moving information around a network. Further applications are of course possible, but using the new results to analyze current models of ....
A. Jones, "Protection Mechanism Models: Their Usefulness," in Foundations of Secure Computing, Academic Press, NewYork City, NY (1978), 237-254.
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