{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:40:08Z","timestamp":1750207208596,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:00:00Z","timestamp":1559001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Bundesministerium f\u00fcr Verkehr und Digitale Infrastruktur","award":["19H18012E"],"award-info":[{"award-number":["19H18012E"]}]},{"name":"Bundesministerium f\u00fcr Bildung und Forschung","award":["16KIS0583"],"award-info":[{"award-number":["16KIS0583"]}]},{"name":"Bundesministeriums f\u00fcr Wirtschaft und Energie","award":["ZF4123903ED6"],"award-info":[{"award-number":["ZF4123903ED6"]}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["NSF-IIS-1527268"],"award-info":[{"award-number":["NSF-IIS-1527268"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,28]]},"DOI":"10.1145\/3322431.3325105","type":"proceedings-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:37:16Z","timestamp":1559306236000},"page":"149-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Effective Verification of Multi-Model Access Control Properties"],"prefix":"10.1145","author":[{"given":"Bernhard J.","family":"Berger","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Maeder","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigue","family":"Wete Nguempnang","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Sohr","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Rubio-Medrano","sequence":"additional","affiliation":[{"name":"Arizona State University, Tempe, AZ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,5,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859001"},{"volume-title":"2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom)","author":"Mohamed Abomhara and Mehdi Ben Lazrag. 2016. UML\/OCL-based Modeling of Work-Based Access Control Policies for Collaborative Healthcare Systems.","key":"e_1_3_2_1_2_1","unstructured":"Mohamed Abomhara and Mehdi Ben Lazrag. 2016. UML\/OCL-based Modeling of Work-Based Access Control Policies for Collaborative Healthcare Systems. In 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom) . IEEE , Munich, Germany , 1--6. Mohamed Abomhara and Mehdi Ben Lazrag. 2016. UML\/OCL-based Modeling of Work-Based Access Control Policies for Collaborative Healthcare Systems. In 2016 IEEE 18th International Conference on e-Health Networking, Applications and Services (Healthcom). IEEE, Munich, Germany, 1--6."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/319171.319176"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/382912.382913"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE","author":"Ahn Gail-Joon","year":"2001","unstructured":"Gail-Joon Ahn and Michael E. Shin . 2001. Role-based Authorization Constraints Specification Using Object Constraint Language . In Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001 . IEEE, Cambridge, MA, USA, 157--162. Gail-Joon Ahn and Michael E. Shin. 2001. Role-based Authorization Constraints Specification Using Object Constraint Language. In Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. WET ICE 2001. IEEE, Cambridge, MA, USA, 157--162."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/784591.784743"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.05.011"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998443"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125810"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2013.37"},{"key":"e_1_3_2_1_11_1","unstructured":"National Computer Security Center. 1985. Department of Defense Trusted Computer System Evaluation Criteria. Department of Defense. DOD 5200.28-STD (supersedes CSC-STD-001--83).  National Computer Security Center. 1985. Department of Defense Trusted Computer System Evaluation Criteria. Department of Defense. DOD 5200.28-STD (supersedes CSC-STD-001--83)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.25103\/jestr.021.09"},{"key":"e_1_3_2_1_13_1","volume-title":"Role-Based Access Control","author":"Ferraiolo David F.","unstructured":"David F. Ferraiolo , D. Richard Kuhn , and Ramaswamy Chandramouli . 2007. Role-Based Access Control 2 nd ed.). Artech House, Inc. , Norwood, MA, USA . David F. Ferraiolo, D. Richard Kuhn, and Ramaswamy Chandramouli. 2007. Role-Based Access Control 2nd ed.). Artech House, Inc., Norwood, MA, USA.","edition":"2"},{"key":"e_1_3_2_1_14_1","unstructured":"Stefanie Gerdes. 2007. Rollenbasiertes Sicherheitskonzept f\u00fcr Krankenh\u00e4user unter Ber\u00fccksichtigung der aktuellen Entwicklungen in der Gesundheitstelematik. Master's thesis. Universit\"at Bremen.  Stefanie Gerdes. 2007. Rollenbasiertes Sicherheitskonzept f\u00fcr Krankenh\u00e4user unter Ber\u00fccksichtigung der aktuellen Entwicklungen in der Gesundheitstelematik. Master's thesis. Universit\"at Bremen."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"volume-title":"Modellierung 2014 (LNI),, Hans-Georg Fill","author":"Gogolla Martin","key":"e_1_3_2_1_16_1","unstructured":"Martin Gogolla , Lars Hamann , Frank Hilken , Mirco Kuhlmann , and Robert France . 2014. From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics . In Modellierung 2014 (LNI),, Hans-Georg Fill , Dimitris Karagiannis, and Ulrich Reimer (Eds.), Vol. P 225 . Gesellschaft f\u00fcr Informatik e.V., Bonn , 273--288. https:\/\/dl.gi.de\/20.500.12116\/17056 Martin Gogolla, Lars Hamann, Frank Hilken, Mirco Kuhlmann, and Robert France. 2014. From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics. In Modellierung 2014 (LNI),, Hans-Georg Fill, Dimitris Karagiannis, and Ulrich Reimer (Eds.), Vol. P225. Gesellschaft f\u00fcr Informatik e.V., Bonn, 273--288. https:\/\/dl.gi.de\/20.500.12116\/17056"},{"volume-title":"Modellierung 2016 (LNI),","author":"Gogolla Martin","key":"e_1_3_2_1_17_1","unstructured":"Martin Gogolla and Frank Hilken . 2016. Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool . In Modellierung 2016 (LNI), , Andreas Oberweis and Ralf Reussner (Eds.), Vol. P 254 . Gesellschaft f\u00fcr Informatik e.V., Bonn , 205--220. https:\/\/dl.gi.de\/20.500.12116\/825 Martin Gogolla and Frank Hilken. 2016. Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool. In Modellierung 2016 (LNI),, Andreas Oberweis and Ralf Reussner (Eds.), Vol. P254. Gesellschaft f\u00fcr Informatik e.V., Bonn, 205--220. https:\/\/dl.gi.de\/20.500.12116\/825"},{"volume-title":"Context-Aware Security Infrastructure for Distributed Healthcare Applications. In First Workshop on Pervasive Security, Privacy and Trust (PSPT '04)","author":"Hu Junzhe","key":"e_1_3_2_1_18_1","unstructured":"Junzhe Hu and Alfred C. Weaver . 2004. A Dynamic , Context-Aware Security Infrastructure for Distributed Healthcare Applications. In First Workshop on Pervasive Security, Privacy and Trust (PSPT '04) . Boston, MA, 8. Junzhe Hu and Alfred C. Weaver. 2004. A Dynamic, Context-Aware Security Infrastructure for Distributed Healthcare Applications. In First Workshop on Pervasive Security, Privacy and Trust (PSPT '04). Boston, MA, 8."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.33"},{"key":"e_1_3_2_1_20_1","volume-title":"https:\/\/ipcsa.international Retrieved","author":"IPCSA.","year":"2019","unstructured":"IPCSA. 2018. https:\/\/ipcsa.international Retrieved January 4, 2019 from IPCSA. 2018. https:\/\/ipcsa.international Retrieved January 4, 2019 from"},{"key":"e_1_3_2_1_21_1","volume-title":"UMLsec: Extending UML for Secure Systems Development. In UML 2002 -- The Unified Modeling Language (LNCS),, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook (Eds.)","volume":"2460","author":"J\u00fcrjens Jan","year":"2002","unstructured":"Jan J\u00fcrjens . 2002 . UMLsec: Extending UML for Secure Systems Development. In UML 2002 -- The Unified Modeling Language (LNCS),, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook (Eds.) , Vol. 2460 . Springer, Berlin, Heidelberg, 412--425. Jan J\u00fcrjens. 2002. UMLsec: Extending UML for Secure Systems Development. In UML 2002 -- The Unified Modeling Language (LNCS),, Jean-Marc J\u00e9z\u00e9quel, Heinrich Hussmann, and Stephen Cook (Eds.), Vol. 2460. Springer, Berlin, Heidelberg, 412--425."},{"key":"e_1_3_2_1_22_1","volume-title":"Hierarchical Reflexion Models. In 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings. IEEE","author":"Koschke Rainer","year":"2003","unstructured":"Rainer Koschke and Daniel Simon . 2003 . Hierarchical Reflexion Models. In 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings. IEEE , Victoria, British Columbia, Canada, 36--45. Rainer Koschke and Daniel Simon. 2003. Hierarchical Reflexion Models. In 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings. IEEE, Victoria, British Columbia, Canada, 36--45."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000266"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.155"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/567331.567336"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/990036.990054"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/286884.286893"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.241422"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings IEEE 9th International Workshops onEnabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE","author":"Michael","year":"2000","unstructured":"Michael E. Shin and Gail-Joon Ahn. 2000. UML-Based Representation of Role-Based Access Control . In Proceedings IEEE 9th International Workshops onEnabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2000 ). IEEE, Gaithersburg, MD, USA, 195--200. Michael E. Shin and Gail-Joon Ahn. 2000. UML-Based Representation of Role-Based Access Control. In Proceedings IEEE 9th International Workshops onEnabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2000). IEEE, Gaithersburg, MD, USA, 195--200."},{"key":"e_1_3_2_1_31_1","volume-title":"Threat Modeling: Designing for Security","author":"Shostack Adam","year":"2014","unstructured":"Adam Shostack . 2014 . Threat Modeling: Designing for Security 1 st ed.). John Wiley & Sons . Adam Shostack. 2014. Threat Modeling: Designing for Security 1st ed.). John Wiley & Sons.","edition":"1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0194-4"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11747-3_6"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.06.008"},{"key":"e_1_3_2_1_35_1","volume-title":"Merks","author":"Steinberg Dave","year":"2009","unstructured":"Dave Steinberg , Frank Budinsky , Marcelo Paternostro , and Ed Merks . 2009 . EMF : Eclipse Modeling Framework 2nd ed.). Addison-Wesley , Boston, MA. Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and Ed Merks. 2009. EMF: Eclipse Modeling Framework 2nd ed.). Addison-Wesley, Boston, MA."},{"key":"e_1_3_2_1_36_1","unstructured":"Daniel Tietjen. 2017. Validierung eines RBAC-Ecore-OCL-Modells mittels des USE-Tools. Master's thesis. Universit\u00e4t Bremen.  Daniel Tietjen. 2017. Validierung eines RBAC-Ecore-OCL-Modells mittels des USE-Tools. Master's thesis. Universit\u00e4t Bremen."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005556004010406"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/937527.937530"}],"event":{"name":"SACMAT '19: The 24th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Toronto ON Canada","acronym":"SACMAT '19"},"container-title":["Proceedings of the 24th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322431.3325105","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322431.3325105","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3322431.3325105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:27Z","timestamp":1750206327000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3322431.3325105"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,28]]},"references-count":39,"alternative-id":["10.1145\/3322431.3325105","10.1145\/3322431"],"URL":"https:\/\/doi.org\/10.1145\/3322431.3325105","relation":{},"subject":[],"published":{"date-parts":[[2019,5,28]]},"assertion":[{"value":"2019-05-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}