{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T17:09:38Z","timestamp":1767373778635,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,10]],"date-time":"2009-03-10T00:00:00Z","timestamp":1236643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"U.K. Ministry of Defence","award":["W911NF-06-3-0001"],"award-info":[{"award-number":["W911NF-06-3-0001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,10]]},"DOI":"10.1145\/1533057.1533091","type":"proceedings-article","created":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T14:57:19Z","timestamp":1240930639000},"page":"239-250","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["Expressive policy analysis with enhanced system dynamicity"],"prefix":"10.1145","author":[{"given":"Robert","family":"Craven","sequence":"first","affiliation":[{"name":"Imperial College, London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[{"name":"IBM T.J. Watson Research Center"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiefei","family":"Ma","sequence":"additional","affiliation":[{"name":"Imperial College, London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[{"name":"Imperial College, London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil","family":"Lupu","sequence":"additional","affiliation":[{"name":"Imperial College, London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arosha","family":"Bandara","sequence":"additional","affiliation":[{"name":"Open University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73847-3_14"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/INM.2005.1440817"},{"key":"e_1_3_2_1_4_1","first-page":"143","volume-title":"Proc. of Int. Conf. on AI","author":"Barker S.","year":"2000","unstructured":"S. Barker . Security policy specification in logic . In Proc. of Int. Conf. on AI , pages 143 -- 148 , June 2000 . S. Barker. Security policy specification in logic. In Proc. of Int. Conf. on AI, pages 143--148, June 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2393847.2393867"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"M. Y.\n      Becker\n     and \n      S.\n      Nanz\n  . \n  The role of abduction in declarative authorization policies\n  . In P. Hudak and D. S. Warren editors PADL volume \n  4902\n   of \n  LNCS pages \n  84\n  --\n  99\n  . \n  Springer 2008\n  .   M. Y. Becker and S. Nanz. The role of abduction in declarative authorization policies. In P. Hudak and D. S. Warren editors PADL volume 4902 of LNCS pages 84--99. Springer 2008.","DOI":"10.1007\/978-3-540-77442-6_7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009672"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314436.1314439"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2008.10"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30108-0_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/210197.210200"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"N.\n      Damianou N.\n      Dulay E.\n      Lupu and \n      M.\n      Sloman\n  . \n  The ponder policy specification language\n  . In M. Sloman J. Lobo and E. Lupu editors POLICY volume \n  1995\n   of \n  LNCS pages \n  18\n  --\n  38\n  . \n  Springer 2001\n  .   N. Damianou N. Dulay E. Lupu and M. Sloman. The ponder policy specification language. In M. Sloman J. Lobo and E. Lupu editors POLICY volume 1995 of LNCS pages 18--38. Springer 2001.","DOI":"10.1007\/3-540-44569-2_2"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_51"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2393847.2393881"},{"key":"e_1_3_2_1_16_1","first-page":"554","volume-title":"15th National Computer Security Conference","author":"Ferraiolo D.","year":"1992","unstructured":"D. Ferraiolo and D. Kuhn . Role based access control . In 15th National Computer Security Conference , pages 554 -- 563 , 1992 . D. Ferraiolo and D. Kuhn. Role based access control. In 15th National Computer Security Conference, pages 554--563, 1992."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062502"},{"key":"e_1_3_2_1_18_1","first-page":"1070","volume-title":"Proc. 5th International Conference and Symposium on Logic Programming","author":"Gelfond M.","year":"1988","unstructured":"M. Gelfond and V. Lifschitz . The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors , Proc. 5th International Conference and Symposium on Logic Programming , pages 1070 -- 1080 , Seattle, Washington, August 15--19 1988 . M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proc. 5th International Conference and Symposium on Logic Programming, pages 1070--1080, Seattle, Washington, August 15--19 1988."},{"key":"e_1_3_2_1_19_1","volume-title":"Logics of time and computation","author":"Goldblatt R.","year":"1992","unstructured":"R. Goldblatt . Logics of time and computation . Center for the Study of Language and Information, Stanford, CA, USA, 2 nd edition, 1992 . R. Goldblatt. Logics of time and computation. Center for the Study of Language and Information, Stanford, CA, USA, 2nd edition, 1992.","edition":"2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380564.1380569"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180423"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/383891.383894"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/882493.884380"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/253260.253364"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/647054.715771"},{"key":"e_1_3_2_1_27_1","first-page":"98","article-title":"Elaboration tolerance","author":"McCarthy J.","year":"1998","unstructured":"J. McCarthy . Elaboration tolerance . In Proc. Common Sense 98 , 1998 . J. McCarthy. Elaboration tolerance. In Proc. Common Sense 98, 1998.","journal-title":"Proc. Common Sense"},{"key":"e_1_3_2_1_28_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1007\/3-540-45632-5_17","volume-title":"Computational Logic: Logic Programming and Beyond","author":"Miller R.","year":"2002","unstructured":"R. Miller and M. Shanahan . Some alternative formulations of the event calculus . In A. C. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond , volume 2408 of LNCS , pages 452 -- 490 . Springer , 2002 . R. Miller and M. Shanahan. Some alternative formulations of the event calculus. In A. C. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, volume 2408 of LNCS, pages 452--490. Springer, 2002."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.05.014"},{"key":"e_1_3_2_1_30_1","volume-title":"extensible access control markup language (XACML) v2.0","author":"ASIS","year":"2005","unstructured":"O ASIS XACML TC. extensible access control markup language (XACML) v2.0 , 2005 . OASIS XACML TC. extensible access control markup language (XACML) v2.0, 2005."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2007.8"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300839"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/794197.795068"}],"event":{"name":"Asia CCS 09: Asia CCS 2009 ACM Symposium on Information, Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Sydney Australia","acronym":"Asia CCS 09"},"container-title":["Proceedings of the 4th International Symposium on Information, Computer, and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1533057.1533091","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1533057.1533091","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:44Z","timestamp":1750253384000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1533057.1533091"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,10]]},"references-count":32,"alternative-id":["10.1145\/1533057.1533091","10.1145\/1533057"],"URL":"https:\/\/doi.org\/10.1145\/1533057.1533091","relation":{},"subject":[],"published":{"date-parts":[[2009,3,10]]},"assertion":[{"value":"2009-03-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}