Authorisation and antichains

Operating Systems Review (ACM)

Volumn 35, Issue 3, 2001, Pages 6-15

  Crampton, Jason ^a   Loizou, George ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0042907331     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/383237.383238     Document Type: Article

References (20)

1. AHN, G.-J., AND SANDHU, R. Role-based authorization constraints specification. ACM Transactions on Information and System Security 3, 4 (2000).
2. BELL, D., AND LAPADULA, L. Secure computer systems: Mathematical foundations. Tech. Rep. MTR-2547, Volume I, Mitre Corporation, 1973.
3. BELL, D., AND LAPADULA, L. Secure computer systems: A mathematical model. Tech. Rep. MTR-2547, Volume II, Mitre Corporation, 1973.
4. BRUALDI, R. Introductory Combinatorics. Prentice Hall, New Jersey, 1999.
5. CRAMPTON, J., AND LOIZOU, G. The structural complexity of conflict of interest policies. In preparation.
6. CRAMPTON, J., AND LOIZOU, G. Hierarchical secure systems: A preliminary description. Tech. Rep. BBKCS-00-18, Birkbeck College, University of London, 2000.
7. CRAMPTON, J., AND LOIZOU, G. Two partial orders on the set of antichains. Tech. Rep. BBKCS-00-05, Birkbeck College, University of London, 2000.
8. CRAMPTON, J., AND LOIZOU, G. The completion of a poset in a lattice of antichains. International Mathematical Journal (2001). Accepted for publication.
9. CRAMPTON, J., LOIZOU, G., AND O'SHEA, G. Evaluating access control. Submitted (1999).
10. CRAMPTON, J., LOIZOU, G., AND O'SHEA, G. A logic of access control. The Computer Journal 44, 1 (2001). To appear.
11. GAVRILA, S., AND BARKLEY, J. Formal specification for role based access control user/role and role/role relationship management. In Proceedings of Third ACM Workshop on Role-Based Access Control (Fairfax, Virginia, 1998), pp. 81-90.
12. HARRISON, M., RUZZO, W., AND ULLMAN, J. Protection in operating systems. Communications of the ACM 19, 8 (1976), 461-471.
13. LAMPSON, B. Protection. ACM Operating Systems Review 8 (1974), 437-443.
14. LLOYD, J. Foundations of Logic Programming. Springer-Verlag, London, 1984.
15. O'SHEA, G. Access Control in Operating Systems. PhD thesis, Birkbeck College, University of London, 1997.
16. SANDHU, R. The typed access matrix model. In Proceedings of IEEE Symposium on Security and Privacy (1992), IEEE, pp. 122-136.
17. SANDHU, R., BHAMIDIPATI, V., AND MUNAWER, Q. The ARBAC97 model for role-based administration of roles. ACM Transactions on Information and System Security 1, 2 (1999), 105-135.
18. SANDHU, R., COYNE, E., FEINSTEIN, H., AND YOUMAN, C. Role-based access control models. IEEE Computer 29, 2 (1996), 38-47.
19. SANDHU, R., FERRAIOLO, D., AND KUHN, D. The NIST model for role-based access control: Towards a unified standard. In Proceedings of the 5th ACM Workshop on Role-Based Access Control (Phoenix, Arizona, USA, 2000). http://www.acm.org/sigsac/nist.pdf.
20. SPERNER, E. Ein Satz über Untermengen einer endlichen Menge. Mathematische Zeitschrift 27 (1928), 544-548.