{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T04:11:26Z","timestamp":1751602286979,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF 2309707"],"award-info":[{"award-number":["CCF 2309707"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000161","name":"National Institute of Standards and Technology","doi-asserted-by":"publisher","award":["60NANB23D152"],"award-info":[{"award-number":["60NANB23D152"]}],"id":[{"id":"10.13039\/100000161","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,8]]},"DOI":"10.1145\/3734436.3734444","type":"proceedings-article","created":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T17:32:44Z","timestamp":1751563964000},"page":"91-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Safety Analysis in the NGAC Model"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-2455-8791","authenticated-orcid":false,"given":"Brian","family":"Tan","sequence":"first","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2699-0976","authenticated-orcid":false,"given":"Ewan S. D.","family":"Davies","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0714-7676","authenticated-orcid":false,"given":"Indrakshi","family":"Ray","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9407-6342","authenticated-orcid":false,"given":"Mahmoud A.","family":"Abdelgawad","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, CO, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611978322.63"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1991.130777"},{"key":"e_1_3_2_1_3_1","unstructured":"ANSI INCITS. 2020. Information Technology - Next Generation Access Control (NGAC). ANSI."},{"key":"e_1_3_2_1_4_1","volume-title":"Computer Security: Art and Science","author":"Bishop Matt","year":"2003","unstructured":"Matt Bishop. 2003. Computer Security: Art and Science. Addison-Wesley Professional. isbn: 978-0--201--44099--7."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00977968"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3589608.3593832"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3450569.3463563"},{"key":"e_1_3_2_1_8_1","volume-title":"Cryptography and Data Security","author":"Robling Denning Dorothy Elizabeth","unstructured":"Dorothy Elizabeth Robling Denning. 1982. Cryptography and Data Security. Addison-Wesley, Reading, Mass. isbn: 978-0-201-10150-8."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233819"},{"key":"e_1_3_2_1_10_1","volume-title":"Johnson","author":"Garey Michael R.","year":"1979","unstructured":"Michael R. Garey and David S. Johnson. 1979. Computers and Intractability: A Guide to the Theory of NP-completeness. A Series of Books in the Mathematical Sciences. W. H. Freeman, New York. isbn: 978-0-7167-1045-5."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1187441.1187442"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1237500.1237501"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/322017.322025"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27810-8_23"},{"key":"e_1_3_2_1_17_1","volume-title":"A Problem of Maximum Consistent Subsets. Tech. rep. RC-240. IBM Research","author":"Miller Raymond E","unstructured":"Raymond E Miller and David E Muller. 1960. A Problem of Maximum Consistent Subsets. Tech. rep. RC-240. IBM Research, JT Watson Research Center, Yorktown Heights, NY."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02760473"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/335305.335341"},{"key":"e_1_3_2_1_20_1","volume-title":"Shari Lawrence Pfleeger, and Lizzie Coles-Kemp","author":"Pfleeger Charles P.","year":"2024","unstructured":"Charles P. Pfleeger, Shari Lawrence Pfleeger, and Lizzie Coles-Kemp. 2024. Security in Computing. (Sixth edition ed.). Addison-Wesley, Boston Amsterdam London. isbn: 978-0-13-789121-4."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/35.312842"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(92)90008--7"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301315"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722599_7"},{"key":"e_1_3_2_1_25_1","unstructured":"Masakazu Soshi Mamoru Maekawa and Eiji Okamoto. 2004. The dynamictyped access matrix model and decidability of the safety problem. IEICE Transactions on Fundamentals E87-A 1 190--203."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2012.77"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4169\/amer.math.monthly.1"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.46298\/dmtcs.543"}],"event":{"name":"SACMAT '25:SACMAT '25","location":"Stony Brook NY USA","sponsor":["sigsac ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 30th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"deposited":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T17:34:04Z","timestamp":1751564044000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3734436.3734444"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,7]]},"references-count":28,"alternative-id":["10.1145\/3734436.3734444","10.1145\/3734436"],"URL":"https:\/\/doi.org\/10.1145\/3734436.3734444","relation":{},"subject":[],"published":{"date-parts":[[2025,7,7]]},"assertion":[{"value":"2025-07-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}