{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:26Z","timestamp":1725490226788},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_18","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:13:34Z","timestamp":1188299614000},"page":"223-238","source":"Crossref","is-referenced-by-count":14,"title":["Describing Policies with Graph Constraints and Rules"],"prefix":"10.1007","author":[{"given":"Manuel","family":"Koch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"18_CR1","unstructured":"Policies for Distributed Systems and Networks, number 1995 in LNCS. Springer, 2001."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Elisa Bertino, Elena Ferrari, and Vijay Atluri. The Specification and Enforcement of Authotization Constraints in Workflow Management Systems. ACM Trancactions on Information and System Security, 2(1):65\u2013104, February 1999.","DOI":"10.1145\/300830.300837"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"P. Bonatti, S. de Capitani di Vimercati, and P. Samarati. A Modular Approach to Composing Access Control Policies. In Proc. of 7th ACM Conference on Computer and Communication Security, pages 164\u2013173. ACM, 2000.","DOI":"10.1145\/352600.352623"},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1007\/3-540-40011-7_21","volume-title":"UML 2000","author":"P. Bottoni","year":"2000","unstructured":"P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Consistency checking and visualization of OCL constraints. In A. Evans and S. Kent, editors, UML 2000, number 1939 in LNCS, pages 294\u2013308. Springer, 2000."},{"key":"18_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Proc. of POLICY 2001","author":"N. Damianou","year":"2001","unstructured":"N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The Ponder Policy Specification Language. In Proc. of POLICY 2001 [1], pages 18\u201338."},{"key":"18_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of 6th Int. Workshop on Theory and Graph Transformation","author":"F. Gadducci","year":"2000","unstructured":"F. Gadducci, R. Heckel, and M. Koch. A fully abstract model for graph-interpreted temporal logic. In H. Ehrig, G. Engels, H.J. Kreowski, and G. Rozenberg, editors, Proc. of 6th Int. Workshop on Theory and Graph Transformation, number 1764 in LNCS. Springer, 2000."},{"key":"18_CR7","unstructured":"M. Gro\u00dfe-Rhode, F. Parisi-Presicce, and M. Simeoni. Formal software specification with refinement and modules for typed graph transformation systems. Journal of Computer and System Sciences. to appear."},{"key":"18_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/3-540-44569-2_11","volume-title":"Proc. of POLICY 2001","author":"Y. Kanada","year":"2001","unstructured":"Y. Kanada. Taxonomy and Description of Policy Combination Methods. In Proc. of POLICY 2001 [1], pages 171\u2013184."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"M. Koch, L. V. Mancini, and F. Parisi-Presicce. On the Specification and Evolution of Access Control Policies. In S. Osborne, editor, Proc. 6th ACM Symp. on Access Control Models and Technologies, pages 121\u2013130. ACM, May 2001.","DOI":"10.1145\/373256.373280"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"M. Koch, L.V. Mancini, and F. Parisi-Presicce. A Formal Model for Role-Based Access Control using Graph Transformation. In F. Cuppens, Y. Deswarte, D. Gollmann, and M. Waidner, editors, Proc. of the 6th European Symposium on Research in Computer Security (ESORICS 2000), number 1895 in Lect. Notes in Comp. Sci., pages 122\u2013139. Springer, 2000.","DOI":"10.1007\/10722599_8"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/3-540-45315-6_19"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"M. Koch, L.V. Mancini, and F. Parisi-Presicce. Conflict Detection and Resolution in Access Control Policy Specifications. In M. Nielsen and U. Engberg, editors, Proc. of Foundations of Software Science and Computation Structures (FoSSaCS 2002), number 2303 in Lect. Notes in Comp. Sci., pages 223\u2013237. Springer, 2002.","DOI":"10.1007\/3-540-45931-6_16"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"H.-J. Kreowski and S. Kuske. Graph transformation units and modules. In H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, volume 2, chapter 15, pages 607\u2013638. 1999.","DOI":"10.1142\/9789812815149_0015"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. I: Foundations, World Scientific, 1997.","DOI":"10.1142\/3303"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"R. S. Sandhu. Role-Based Access Control. In Advances in Computers, volume 46. Academic Press, 1998.","DOI":"10.1016\/S0065-2458(08)60206-5"},{"issue":"4","key":"18_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/BF02283186","volume":"2","author":"M. S. Sloman","year":"1994","unstructured":"M. S. Sloman. Policy Driven Management for Distributed Systems. Network and Systems Management, 2(4):333\u2013360, 1994.","journal-title":"Network and Systems Management"},{"key":"18_CR17","first-page":"477","volume":"2","author":"C. Stirling","year":"1992","unstructured":"C. Stirling. Modal and Temporal Logics. In Background: Computational structures, volume 2, pages 477\u2013563. Clarendon Press, 1992.","journal-title":"Background: Computational structures"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"D. Wijesekera and S. Jajodia. A policy algebra for access control: the propositional case. In Proc. of the 8th ACM Conference on Computer and Communication Security, pages 38\u201347. ACM Press, November 2001.","DOI":"10.1145\/501983.501990"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:13:10Z","timestamp":1556802790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}