A formal model for role-based access control using graph transformation

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

Volumn 1895, Issue , 2000, Pages 122-139

  Koch, Manuel ^a   Mancini, Luigi V ^a   Parisi Presicce, Francesco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; GRAPH THEORY; MATHEMATICAL TRANSFORMATIONS; SPECIFICATIONS;

FORMAL MODELING; FORMALISATION; GENERALISATION; GRAPH STRUCTURES; GRAPH TRANSFORMATION; NONLINEAR STRUCTURE; ROLE-BASED ACCESS CONTROL; SPECIFICATION TECHNIQUE; STATICS AND DYNAMICS; SYSTEM ACCESS;

ACCESS CONTROL;

EID: 84944075708     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/10722599_8     Document Type: Article

References (9)

1. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. II:Applications, Languages, and Tools. World Scientific, 1999.
2. Serban I. Gavrila and John F. Barkley. Formal Specification for Role Based Access Control User/Role and Role/Role Relationship Management. In Proc. of 3rd ACM Workshop on Role-Based Access Control, 1998.
3. Reiko Heckel and Annika Wagner. Ensuring consistency of conditional graph grammars - a constructive approach. In Proc. of SEGRAGRA’95 Graph Rewriting and Computation, number 2. Electronic Notes of TCS, 1995. http://www.elsevier.nl/locate/entcs/volume2.html.
4. M. Koch, L. V. Mancini, and F. Parisi-Presicce. On the specification and evolution of access control policies. Technical Report SI-2000/05, Dip.Scienze dell’Informazione, Uni. Roma La Sapienza, May 2000.
5. M. Nyanchama and S.L. Osborne. The Role Graph Model and Conflict of Interest. ACM Trans. of Info. and System Security, 2(1):3-33, 1999.
6. F. Parisi-Presicce H. Ehrig and U. Montanari. Graph Rewriting with Unification and Composition. In Proc. 3rd Workshop on Graph Grammars. Lecture Notes in Computer Science 291, Springer-Verlag, 1987, pp.496-514.
7. Grzegorz Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. I: Foundations. World Scientific, 1997.
8. Ravi S. Sandhu. Role-Based Access Control. In Advances in Computers, volume 46. Academic Press, 1998.
9. Ravi Sandhu, Venkata Bhamidipati, and Qamar Munawer. The ARBAC97 model for role-based administration of roles. ACM Transactions on Information and System Security, 2(1):105-135, Feb. 1999.