|
ABSTRACT
Abstract models are given which reflect the properties of most existing mechanisms for enforcing protection or access control, together with some possible implementations. The properties of existing systems are explicated in terms of the model and implementations.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
P. A. Crisman, ed., <u>The Compatible Time-</u>Sharing System: A Programmer's Guide, second edition, M.I.T. Press, Cambridge, Mass., 1965.
|
 |
2
|
|
 |
3
|
|
 |
4
|
|
 |
5
|
|
 |
6
|
|
| |
7
|
Iliffe, J. K., <u>Basic Machine Principles</u>, American Elsevier, New York, 1968.
|
| |
8
|
Lampson, B. W. et al, "A User Machine in a Time-Sharing System," Proc. IEEE <u>54</u>, 12 (Dec. 1966), p. 1766.
|
| |
9
|
Lampson, B. W., "Dynamic Protection Structures," Proc. AFIPS Conf. <u>35</u> (1969 FJCC), p. 27.
|
| |
10
|
Lampson, B. W., "On Reliable and Extendable Operating Systems," Working Material, Second NATO Conference on Software Engineering, Rome, Oct. 1969.
|
| |
11
|
Linde, R. R. et al, "The ADEPT-50 Time-Sharing System," Proc. AFIPS Conf. <u>35</u> (1969 FJCC), p. 39.
|
| |
12
|
Molho, L., "Hardware Aspects of Secure Computing," Proc. AFIPS Confo <u>36</u> (1970 FJCC), p. 135.
|
| |
13
|
|
| |
14
|
Weissman, C., "Security Controls in the ADEPT-50 Time-Sharing System," Proc. AFIPS Conf. <u>35</u>, (1969 FJCC), p. 39.
|
| |
15
|
|
CITED BY 107
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jonathon E. Tidswell , Geoffrey H. Outhred , John M. Potter, Dynamic rights: safe extensible access control, Proceedings of the fourth ACM workshop on Role-based access control, p.113-120, October 28-29, 1999, Fairfax, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Joerg M. Haake , Anja Haake , Till Schümmer , Mohamed Bourimi , Britta Landgraf, End-user controlled group formation and access rights management in a shared workspace system, Proceedings of the 2004 ACM conference on Computer supported cooperative work, November 06-10, 2004, Chicago, Illinois, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Timothy Fraser , David Ferraiolo , Mikel L. Matthews , Casey Schaufler , Stephen Smalley , Robert Watson, Panel: which access control technique will provide the greatest overall benefit, Proceedings of the sixth ACM symposium on Access control models and technologies, p.141-149, May 2001, Chantilly, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Li Gong , Marianne Mueller , Hemma Prafullchandra , Roland Schemers, Going beyond the sandbox: an overview of the new security architecture in the javaTM development Kit 1.2, Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems, p.10-10, December 08-11, 1997, Monterey, California
|
|
|
|
|
|
Trent Jaeger , Jochen Liedtke , Nayeem Islam, Operating system protection for fine-grained programs, Proceedings of the 7th conference on USENIX Security Symposium, 1998, p.11-11, January 26-29, 1998, San Antonio, Texas
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Masoom Alam , Jean-Pierre Seifert , Qi Li , Xinwen Zhang, Usage control platformization via trustworthy SELinux, Proceedings of the 2008 ACM symposium on Information, computer and communications security, March 18-20, 2008, Tokyo, Japan
|
|
|
|
|
|
|
|
|
|
|
|
Anderson Santana de Oliveira , Eric Ke Wang , Claude Kirchner , Helene Kirchner, Weaving rewrite-based access control policies, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, p.71-80, November 02-02, 2007, Fairfax, Virginia, USA
|
|
|
|
|
|
|
|
|
|
|
|
Avik Chaudhuri , Prasad Naldurg , Sriram K. Rajamani , G. Ramalingam , Lakshmisubrahmanyam Velaga, EON: modeling and analyzing dynamic access control systems with logic programs, Proceedings of the 15th ACM conference on Computer and communications security, October 27-31, 2008, Alexandria, Virginia, USA
|
|
|
|
|
|
Ram Krishnan , Ravi Sandhu , Jianwei Niu , William H. Winsborough, A conceptual framework for Group-Centric secure information sharing, Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, March 10-12, 2009, Sydney, Australia
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Scott Alexander , Yuu-Heng Cheng , Brian Coan , Andrei Ghetie , Vikram Kaul , Bruce Siegell , Steve Bellovin , Nicholas F. Maxemchuk , Henning Schulzrinne , Stephen Schwab , Angelos Stavrou , Jonathan M. Smith, The dynamic community of interest and its realization in ZODIAC, IEEE Communications Magazine, v.47 n.10, p.40-47, October 2009
|
|