{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:02Z","timestamp":1750308182531,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2003,10,30]],"date-time":"2003-10-30T00:00:00Z","timestamp":1067472000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2003,10,30]]},"DOI":"10.1145\/1035429.1035437","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"67-76","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Formal access control analysis in the software development process"],"prefix":"10.1145","author":[{"given":"Manuel","family":"Koch","sequence":"first","affiliation":[{"name":"Freie Universit\u00e4t Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Parisi-Presicce","sequence":"additional","affiliation":[{"name":"George Mason University, VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2003,10,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Int. Conference on Distributed Applications and Interoperable Systems (DAIS). Kluwer","author":"Brose G.","year":"2001","unstructured":"G. Brose . Raccoon --- An infrastructure for managing access control in CORBA . In Proc. Int. Conference on Distributed Applications and Interoperable Systems (DAIS). Kluwer , 2001 . G. Brose. Raccoon --- An infrastructure for managing access control in CORBA. In Proc. Int. Conference on Distributed Applications and Interoperable Systems (DAIS). Kluwer, 2001."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/773069.773071"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. of 6th Internat. Conf. on Integrated Design and Process Technology (IDPT)","author":"Brose G.","year":"2002","unstructured":"G. Brose , M. Koch , and K. P. L\u00f6hr . Integrating Access Control Design into the Software Development Process . In Proc. of 6th Internat. Conf. on Integrated Design and Process Technology (IDPT) , 2002 . G. Brose, M. Koch, and K. P. L\u00f6hr. Integrating Access Control Design into the Software Development Process. In Proc. of 6th Internat. Conf. on Integrated Design and Process Technology (IDPT), 2002."},{"key":"e_1_3_2_1_4_1","first-page":"56","volume-title":"5th Int. Workshop on Graph Grammars and their Application to Computer Science, number 1073 in Lect. Notes in Comp. Sci.","author":"Corradini A.","year":"1996","unstructured":"A. Corradini , H. Ehrig , M. L\u00f6we , and J. Padberg . The category of typed graph grammars and their adjunction with categories of derivations . In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, number 1073 in Lect. Notes in Comp. Sci. , pages 56 - 74 . Springer , 1996 . A. Corradini, H. Ehrig, M. L\u00f6we, and J. Padberg. The category of typed graph grammars and their adjunction with categories of derivations. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, number 1073 in Lect. Notes in Comp. Sci., pages 56-74. Springer, 1996."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336559"},{"key":"e_1_3_2_1_6_1","volume-title":"Rozenberg {19}","author":"Ehrig H.","year":"1997","unstructured":"H. Ehrig , R. Heckel , M. Korff , M. L\u00f6we , L. Ribeiro , A. Wagner , and A. Corradini . Algebraic Approaches to Graph Transformation Part II: Single Pushout Approach and comparison with Double Pushout Approach . In Rozenberg {19} , 1997 . H. Ehrig, R. Heckel, M. Korff, M. L\u00f6we, L. Ribeiro, A. Wagner, and A. Corradini. Algebraic Approaches to Graph Transformation Part II: Single Pushout Approach and comparison with Double Pushout Approach. In Rozenberg {19}, 1997."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/319171.319184"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80188-4"},{"key":"e_1_3_2_1_9_1","first-page":"412","volume-title":"Proc. of UML","author":"J\u00fcrjens J.","year":"2002","unstructured":"J. J\u00fcrjens . UMLsec: Extending UML for Secure Systems Development . In Proc. of UML 2002 , number 2460 in LNCS, pages 412 - 425 . Springer , 2002. J. J\u00fcrjens. UMLsec: Extending UML for Secure Systems Development. In Proc. of UML 2002, number 2460 in LNCS, pages 412-425. Springer, 2002."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of Found. of Soft. Sci. and Comp. Structures (FoSSaCS 2002","author":"Koch M.","year":"2002","unstructured":"M. Koch , L. Mancini , F. Parisi-Presicce . Conflict Detection and Resolution in Access Control Specifications. In M.Nielsen and U.Engberg, editors , Proc. of Found. of Soft. Sci. and Comp. Structures (FoSSaCS 2002 ), Lect. Notes in Comp. Sci., pages 223-237. Springer , 2002 . M. Koch, L. Mancini, F. Parisi-Presicce. Conflict Detection and Resolution in Access Control Specifications. In M.Nielsen and U.Engberg, editors, Proc. of Found. of Soft. Sci. and Comp. Structures (FoSSaCS 2002), Lect. Notes in Comp. Sci., pages 223-237. Springer, 2002."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/373256.373280"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/545186.545191"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of UML2002 Workshop on Critical Systems Development with UML","author":"Koch M.","year":"2002","unstructured":"M. Koch and F. Parisi-Presicce . Access Control Policy Specification in UML . In Proc. of UML2002 Workshop on Critical Systems Development with UML , Technical University of Munich, TUM-10208 , 63-78, Sept 2002 . M. Koch and F. Parisi-Presicce. Access Control Policy Specification in UML. In Proc. of UML2002 Workshop on Critical Systems Development with UML, Technical University of Munich, TUM-10208, 63-78, Sept 2002."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/775265.775268"},{"key":"e_1_3_2_1_15_1","first-page":"426","volume-title":"Proc. of UML","author":"Lodderstedt T.","year":"2002","unstructured":"T. Lodderstedt , D. Basin , and J. Doser . SecureUML:A UML-Based Modeling Language for Model-Driven Security . In Proc. of UML 2002 , number 2460 in LNCS, pages 426 - 441 . Springer , 2002 T. Lodderstedt, D. Basin, and J. Doser. SecureUML:A UML-Based Modeling Language for Model-Driven Security. In Proc. of UML 2002, number 2460 in LNCS, pages 426-441. Springer, 2002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/336512.336523"},{"key":"e_1_3_2_1_17_1","volume-title":"V.1.4","author":"OMG.","year":"2001","unstructured":"OMG. OMG Unified Modeling Language Specification , V.1.4 , 2001 . OMG. OMG Unified Modeling Language Specification, V.1.4, 2001."},{"key":"e_1_3_2_1_18_1","unstructured":"OMG. Model driven architecture 2003. http:\/\/www.omg.org\/mda\/.  OMG. Model driven architecture 2003. http:\/\/www.omg.org\/mda\/."},{"key":"e_1_3_2_1_19_1","volume-title":"Foundations. World Scientific","author":"Rozenberg G.","year":"1997","unstructured":"G. Rozenberg , editor. Handbook of Graph Grammars and Computing by Graph Transformations . Vol. I : Foundations. World Scientific , 1997 . G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations. Vol. I: Foundations. World Scientific, 1997."}],"event":{"name":"CCS03: Tenth ACM Conference on Computer and Communications Security 2003","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Washington D.C.","acronym":"CCS03"},"container-title":["Proceedings of the 2003 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035437","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1035429.1035437","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:24:29Z","timestamp":1750263869000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1035429.1035437"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10,30]]},"references-count":19,"alternative-id":["10.1145\/1035429.1035437","10.1145\/1035429"],"URL":"https:\/\/doi.org\/10.1145\/1035429.1035437","relation":{},"subject":[],"published":{"date-parts":[[2003,10,30]]},"assertion":[{"value":"2003-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}