{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T10:16:02Z","timestamp":1775470562028,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,3]],"date-time":"2009-06-03T00:00:00Z","timestamp":1243987200000},"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":[[2009,6,3]]},"DOI":"10.1145\/1542207.1542238","type":"proceedings-article","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T12:44:24Z","timestamp":1244551464000},"page":"187-196","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["The next 700 access control models or a unifying meta-model?"],"prefix":"10.1145","author":[{"given":"Steve","family":"Barker","sequence":"first","affiliation":[{"name":"King's College London, London, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2009,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"359","author":"ANSI","year":"2004","journal-title":"RBAC"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90025-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1410234.1410235"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/950191.950194"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2007.18"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"D. E. Bell and L. J. LaPadula. Secure computer system: Unified exposition and multics interpretation. MITRE-2997 1976.  D. E. Bell and L. J. LaPadula. Secure computer system: Unified exposition and multics interpretation. MITRE-2997 1976.","DOI":"10.21236\/ADA023588"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/293910.293151"},{"key":"e_1_3_2_1_8_1","first-page":"381","volume-title":"SWWS 2001","author":"Boley H.","year":"2001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(89)90020-4"},{"key":"e_1_3_2_1_10_1","first-page":"293","volume-title":"Logic and Databases","author":"Clark K.","year":"1978"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/512756.512758"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377860"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"S.\n       \n      Genaim\n     and \n      \n      \n      M.\n       \n      Codish\n      \n  \n  . \n  Inferring termination conditions for logic programs using backwards analysis\n  . volume \n  2250\n   of \n  LNCS pages \n  685\n  --\n  694\n  . \n  Springer 2001\n  .   S. Genaim and M. Codish. Inferring termination conditions for logic programs using backwards analysis. volume 2250 of LNCS pages 685--694. Springer 2001.","DOI":"10.1007\/3-540-45653-8_47"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365257"},{"key":"e_1_3_2_1_18_1","first-page":"114","volume-title":"IEEE Symposium on Security and Privacy","author":"Li N.","year":"2002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00063-8"},{"key":"e_1_3_2_1_20_1","unstructured":"OASIS. eXtensible Access Control Markup language (XACML) 2003. http:\/\/www.oasis-open.org\/xacml\/docs\/.  OASIS. eXtensible Access Control Markup language (XACML) 2003. http:\/\/www.oasis-open.org\/xacml\/docs\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/286884.286893"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-588-7.ch001"},{"key":"e_1_3_2_1_23_1","unstructured":"The XSB System Version 2.7.1 Programmer's Manual 2005.  The XSB System Version 2.7.1 Programmer's Manual 2005."}],"event":{"name":"SACMAT '09: 14th ACM Symposium on Access Control Models and Technologies","location":"Stresa Italy","acronym":"SACMAT '09","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM symposium on Access control models and technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542207.1542238","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542207.1542238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:58Z","timestamp":1750253398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542207.1542238"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,3]]},"references-count":23,"alternative-id":["10.1145\/1542207.1542238","10.1145\/1542207"],"URL":"https:\/\/doi.org\/10.1145\/1542207.1542238","relation":{},"subject":[],"published":{"date-parts":[[2009,6,3]]},"assertion":[{"value":"2009-06-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}