Visual specifications of policies and their verification

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

Volumn 2621, Issue , 2003, Pages 278-293

  Koch, Manuel ^a   Parisi Presicce, Francesco ^b,c  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c GEORGE MASON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; SOFTWARE ENGINEERING;

GRAPH TRANSFORMATION; POLICY SPECIFICATION; ROLE-BASED ACCESS CONTROL; THREE MODELS; TOOL SUPPORT; VERIFIABILITY; VISUAL SPECIFICATION;

SPECIFICATIONS;

EID: 35248881970     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_20     Document Type: Article

References (21)

1. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency Checking and Visualization of OCL Constraints. In Proc. UML2000, number 1939 in LNCS, 2000.
2. 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.
3. P.A. Epstein. Engineering of Role/Permission Assignments. PhD Thesis, George Mason University, 2002.
4. R. Heckel and A. Wagner. Ensuring consistency of conditional graph grammars - a constructive approach. In Proc. SEGRAGRA'95 Graph Rewriting and Computation, number 2. Electronic Notes of TCS, 1995. http://www.elsevier.nl/locate/entcs/volume2.html.
5. H. Hussmann, B. Demuth, and F. Finger. Modular architecture for a toolset supporting OCL. In Proc. of UML2000, volume 1939 of LNCS, pages 278-293. Springer, 2000.
6. D. Jackson. Alloy: A Lightwight Object Modelling Notation. Technical Report 797, MIT Laboratory for Computer Science, 2001.
7. D. Jackson, I. Schlechter, and I. Shlyakhter. Alcoa: the Alloy constraint analyzer. In Proc. International Conference on Software Engineering, Limerick, Ireland, 2000.
8. M. Koch, L.V. Mancini, and F. Parisi-Presicce. A Graph Based Formalism for RBAC. ACM Transactions on Information and System Security (TISSEC), 5(3):332-365, August 2002.
9. M. Koch, L.V. Mancini, and F. Parisi-Presicce. Foundations for a graph-based approach to the Specification of Access Control Policies. In F. Honsell and M. Miculan, editors, Proc. of Foundations of Software Science and Computation Structures (FoSSaCS 2001), Lect. Notes in Comp. Sci. Springer, March 2001.
10. M. Koch, L.V. Mancini, and F. Parisi-Presicce. Conflict Detection and Resolution in Access Control Specifications. In M. Nielsen and U. Engberg, editors, Proc. of Foundations of Software Science and Computation Structures (FoSSaCS 2002), Lect. Notes in Comp. Sci., pages 223-237. Springer, 2002.
11. M. Koch and F. Parisi-Presicce. Access Control Policy Specification in UML. In Proc. of UML2002 Workshop on Critical Systems Development with UML, number TUM-I0208, pages 63-78. Technical University of Munich, September 2002.
12. U. Nickel, J. Niere, and A. Zündorf. Tool demonstration: The FUJABA environment. Proc. of the 22nd Int. Conf. on Software Engineering, 2000.
13. OMG. OMG Unified Modeling Language Specification, V.1.4, 2001.
14. M. Richters. The USE tool: A UML-based specification environment, 2001. http://www.db.informatik.uni-bremen.de/projects/USE.
15. M. Richters and M. Gogolla. Validating UML Models and OCL Constraints. In Proc. UML2000, 2000.
16. M. Richters and M. Gogolla. OCL - Syntax, Semantics and Tools. In Proc. Advances in Object Modelling with OCL, LNCS, pages 38-63. Springer, 2001.
17. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. I: Foundations. World Scientific, 1997.
18. R. Sandhu, E. Coyne, H. Feinstein, and C. Youman. Role-based access control models. In 1st ACM Workshop on Role-based access control, 1996.
19. R. Sandhu, D. Ferraiolo, and R. Kuhn. The NIST Model for Role-Based Access Control: Towards A Unified Standard. In Proc. of the 5th ACM Workshop on Role-Based Access Control. ACM, July 2000.
20. A. Schaad and J.D. Moffett. A Lightweight Approach to Specification and Analysis of Role-based Access Control Extensions. In Proc. 7th ACM Symposium on Access Control Models and Technologies. ACM Press, 2002.
21. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison Wesley, 1999.