Representation and reasoning on RBAC: A description logic approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3722 LNCS, Issue , 2005, Pages 381-393

  Zhao, Chen ^a   Heilili, Nuermaimaiti ^a   Liu, Shengping ^a   Lin, Zuoquan ^a  

^a PEKING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; CONSTRAINT THEORY; DECISION THEORY; FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS;

ACCESS CONTROL DECISION; DESCRIPTION LOGIC LANGUAGES; LARGE SCALE NETWORKING; ROLE-BASED ACCESS CONTROL (RBAC);

DATA FLOW ANALYSIS;

EID: 33646406549     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11560647_25     Document Type: Conference Paper

References (21)

1. Sandhu, R., Coyne, E., Feinstein, H., Youman, C.: Role-based access control models. IEEE Computer 29 (1996) 38-47
2. Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kühn, D.R., Chandramoli, R.: Proposed nist standard for role-based access control. ACM Transactions on Information and System Security (TISSEC) 4 (2001) 224-274
3. Koch, M., Mancini, L.V., Parisi-Presicce, F.: A formal model for role-based access control using graph transformation. In: Proceedings of the 6th European Symposium on Research in Computer Security. (2000) 122-139
4. Koch, M., Mancini, L.V., Parisi-Presicce, F.: A graph-based formalism for rbac. ACM Transactions on Information and System Security (TISSEC) 5 (2002) 332-365
5. Woo, T.Y., Lam, S.S.: Authorization in distributed systems: A new approach. Journal of Computer Security 2 (1993) 107-136
6. Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems 15 (1993) 706-734
7. Massacci, F.: Reasoning about security: A logic and a decision method for role-based access control. In: Proceeding of the International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU/FAPR-97). (1997) 421-435
8. Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: Proceedings of the 6th ACM Conference on Computer and Communications Security, Singapore (1999)
9. Jajodia, S., Samarati, P., Sapino, M., Subrahmanian, V.S.: Flexible; support for multiple access control policies. ACM Transactions on Database Systems 26 (2001) 214-260
10. Bacon, J., Moody, K., Yao, W.: A model of oasis role-based access control and its support for active security. ACM Transactions on Information and System Security (TISSEC) 5 (2002) 492-540
11. Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A logical framework for reasoning about access control models. ACM Transactions on Information and System Security (TISSEC) 6 (2003) 71-127
12. Crescini, V.F., Zhang, Y.: A logic based approach for dynamic access control. In: Proceedings of 17th Australian Joint Conference on Artificial Intelligence (AI 2004), Cairns, Australia (2004)
13. Gligor, V.D., Gavrila, S.I., Ferrailolo, D.: On the formal definition of separation-of-duty policies and their composition. In: Proceedings of IEEE Symposium on Security and Privacy, Oakland, California (1998) 172-185
14. Mossakowski, T., Drouineaud, M., Sohr, K.: A temporal-logic extension of role-based access control covering dynamic separation of duties. In: Proceedings of the 4th International Conference on Temporal Logic. (2003) 83-90
15. Ahn, G.J., Sandhu, R.: Role-based authorization constraints specification. ACM Transactions on Information and System Security (TISSEC) 3 (2000) 207-226
16. Baader, F., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press (2002)
17. Giacomo, G.D., Lenzerini, M.: A uniform framework for concept definitions in description logics. Journal of Artificial Intelligence Research 6 (1997) 87-110
18. Schmidt-SchauB, M., Smolka, G.: Attributive concept descriptions with complements. Artifical Intelligence 48 (1991) 1-26
19. Haarslev, V., Moller, R.: RACER system description. In: International Joint Conference on Automated Reasoning (IJCAR'2001), Siena, Italy (2001) 18-23
20. Haarslev, V., Moller, R.: Description of the RACER system and its applications. In: International Workshop on Description Logics (DL-2001), Stanford, USA (2001)
21. RICE (RACER Interactive Client Environment), http://www.big-systems.com/ ronald/rice/.