{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:33:00Z","timestamp":1755999180038,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,10]],"date-time":"2020-06-10T00:00:00Z","timestamp":1591747200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF1910432"],"award-info":[{"award-number":["W911NF1910432"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Ministerio de Econom\u00eda, Industria y Competitividad, Gobierno de Espa\u00f1a","award":["TIN201681032P, MDM20150502"],"award-info":[{"award-number":["TIN201681032P, MDM20150502"]}]},{"DOI":"10.13039\/100010198","name":"Army Research Laboratory","doi-asserted-by":"publisher","award":["W911NF-16-3-0001"],"award-info":[{"award-number":["W911NF-16-3-0001"]}],"id":[{"id":"10.13039\/100010198","id-type":"DOI","asserted-by":"publisher"}]},{"name":"U.K. Ministry of Defence","award":["W911NF-16-3-0001"],"award-info":[{"award-number":["W911NF-16-3-0001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,10]]},"DOI":"10.1145\/3381991.3395613","type":"proceedings-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T04:34:57Z","timestamp":1590726897000},"page":"179-188","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On Security Policy Migrations"],"prefix":"10.1145","author":[{"given":"Jorge","family":"Lobo","sequence":"first","affiliation":[{"name":"UPF\/ICREA\/Imperial College, Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa","family":"Bertino","sequence":"additional","affiliation":[{"name":"Purdue Univeristy, West Lafayette, IN, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russos","sequence":"additional","affiliation":[{"name":"Imperial College, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJIPT.2010.032611"},{"key":"e_1_3_2_1_2_1","volume-title":"Pearson Education","author":"Agrawal Dakshi","year":"2008","unstructured":"Dakshi Agrawal , Seraphin Calo , Kang-won Lee, Jorge Lobo , and Dinesh Verma . Policy technologies for self-managing systems . Pearson Education , 2008 . Dakshi Agrawal, Seraphin Calo, Kang-won Lee, Jorge Lobo, and Dinesh Verma. Policy technologies for self-managing systems. Pearson Education, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2005.1522127"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3029806.3029828"},{"key":"e_1_3_2_1_5_1","volume-title":"Enforceable security policies revisited. ACM Transactions on Information and System Security (TISSEC), 16(1):3","author":"Basin David","year":"2013","unstructured":"David Basin , Vincent Jug\u00e9 , Felix Klaedtke , and Eugen Zua linescu. Enforceable security policies revisited. ACM Transactions on Information and System Security (TISSEC), 16(1):3 , 2013 . David Basin, Vincent Jug\u00e9, Felix Klaedtke, and Eugen Zua linescu. Enforceable security policies revisited. ACM Transactions on Information and System Security (TISSEC), 16(1):3, 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.78"},{"key":"e_1_3_2_1_7_1","first-page":"671","volume-title":"Denver","author":"Justin","year":"1993","unstructured":"Justin A. Boyan and Michael L. Littman. Packet routing in dynamically changing networks: A reinforcement learning approach. In Advances in Neural Information Processing Systems 6, [7th NIPS Conference , Denver , Colorado, USA , 1993 ], pages 671 -- 678 , 1993. Justin A. Boyan and Michael L. Littman. Packet routing in dynamically changing networks: A reinforcement learning approach. In Advances in Neural Information Processing Systems 6, [7th NIPS Conference, Denver, Colorado, USA, 1993], pages 671--678, 1993."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2018.09.011"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData47090.2019.9005959"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3319535.3354196"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076732.2076759"},{"key":"e_1_3_2_1_12_1","unstructured":"Bart de Schuymer and Nick Fedchik. Ebtables\/iptables interaction on a linux-based bridge 2003.  Bart de Schuymer and Nick Fedchik. Ebtables\/iptables interaction on a linux-based bridge 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1791834.1791836"},{"key":"e_1_3_2_1_14_1","volume-title":"Managing security with snort and ids tools","author":"Gerg Christopher","year":"2004","unstructured":"Christopher Gerg and Kerry J Cox . Managing security with snort and ids tools . 2004 . Christopher Gerg and Kerry J Cox. Managing security with snort and ids tools. 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/WF-IoT.2014.6803166"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/NOMS.2006.1687561"},{"key":"e_1_3_2_1_17_1","volume-title":"Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(1):175--205","author":"Hamlen Kevin W","year":"2006","unstructured":"Kevin W Hamlen , Greg Morrisett , and Fred B Schneider . Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(1):175--205 , 2006 . Kevin W Hamlen, Greg Morrisett, and Fred B Schneider. Computability classes for enforcement mechanisms. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(1):175--205, 2006."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31540-4_4"},{"key":"e_1_3_2_1_19_1","volume-title":"Proving the correctness of multiprocess programs","author":"Lamport Leslie","year":"1977","unstructured":"Leslie Lamport . Proving the correctness of multiprocess programs . IEEE transactions on software engineering, (2):125--143, 1977 . Leslie Lamport. Proving the correctness of multiprocess programs. IEEE transactions on software engineering, (2):125--143, 1977."},{"key":"e_1_3_2_1_20_1","first-page":"2919","volume-title":"The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI","author":"Law Mark","year":"2019","unstructured":"Mark Law , Alessandra Russo , Elisa Bertino , Krysia Broda , and Jorge Lobo . Representing and learning grammars in answer set programming . In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019 , Honolulu, Hawaii, USA , January 27 - February 1, 2019, pages 2919 -- 2928 . AAAI Press , 2019. Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, and Jorge Lobo. Representing and learning grammars in answer set programming. In The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, pages 2919--2928. AAAI Press, 2019."},{"key":"e_1_3_2_1_21_1","volume-title":"The Thirty-fourth AAAI Conference on Artificial Intelligence, AAAI 2020","author":"Law Mark","year":"2020","unstructured":"Mark Law , Alessandra Russo , Elisa Bertino , Krysia Broda , and Jorge Lobo . FastLAS : Scalable inductive logic programming incorporating domain-specific optimisation criteria . In The Thirty-fourth AAAI Conference on Artificial Intelligence, AAAI 2020 , NY, NY, USA, February 7 -- 12 , 2020 . AAAI Press, 2020. Mark Law, Alessandra Russo, Elisa Bertino, Krysia Broda, and Jorge Lobo. FastLAS: Scalable inductive logic programming incorporating domain-specific optimisation criteria. In The Thirty-fourth AAAI Conference on Artificial Intelligence, AAAI 2020, NY, NY, USA, February 7 -- 12, 2020. AAAI Press, 2020."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0046-8"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377836.1377853"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2012.174"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/widm.1282"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880022.1880030"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MilCIS.2015.7348942"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542207.1542222"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/354876.354878"},{"key":"e_1_3_2_1_30_1","first-page":"91","volume-title":"Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017","author":"Pasarella Edelmira","year":"2017","unstructured":"Edelmira Pasarella and Jorge Lobo . A datalog framework for modeling relationship-based access control policies. In Elisa Bertino, Ravi Sandhu, and Edgar R. Weippl, editors , Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017 , Indianapolis, IN, USA, June 21--23 , 2017 , pages 91 -- 102 . ACM, 2017. Edelmira Pasarella and Jorge Lobo. A datalog framework for modeling relationship-based access control policies. In Elisa Bertino, Ravi Sandhu, and Edgar R. Weippl, editors, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies, SACMAT 2017, Indianapolis, IN, USA, June 21--23, 2017, pages 91--102. ACM, 2017."},{"key":"e_1_3_2_1_31_1","volume-title":"No Starch Press","author":"Rash Michael","year":"2007","unstructured":"Michael Rash . Linux Firewalls : Attack Detection and Response with iptables, psad, and fwsnort . No Starch Press , 2007 . Michael Rash. Linux Firewalls: Attack Detection and Response with iptables, psad, and fwsnort. No Starch Press, 2007."},{"key":"e_1_3_2_1_32_1","volume-title":"Enforceable security policies. ACM Transactions on Information and System Security (TISSEC), 3(1):30--50","author":"Schneider Fred B","year":"2000","unstructured":"Fred B Schneider . Enforceable security policies. ACM Transactions on Information and System Security (TISSEC), 3(1):30--50 , 2000 . Fred B Schneider. Enforceable security policies. ACM Transactions on Information and System Security (TISSEC), 3(1):30--50, 2000."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2019.2902347"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTCOMP.2019.00031"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"D Verma S Calo Supriyo Chakraborty Elisa Bertino Christopher Williams J Tucker and Brian Rivera. Generative policy model for autonomic management. In 2017 IEEE SmartWorld Ubiquitous Intelligence & Computing Advanced & Trusted Computed Scalable Computing & Communications Cloud & Big Data Computing Internet of People and Smart City Innovation (SmartWorld\/SCALCOM\/UIC\/ATC\/CBDCom\/IOP\/SCI) pages 1--6. IEEE 2017.  D Verma S Calo Supriyo Chakraborty Elisa Bertino Christopher Williams J Tucker and Brian Rivera. Generative policy model for autonomic management. In 2017 IEEE SmartWorld Ubiquitous Intelligence & Computing Advanced & Trusted Computed Scalable Computing & Communications Cloud & Big Data Computing Internet of People and Smart City Innovation (SmartWorld\/SCALCOM\/UIC\/ATC\/CBDCom\/IOP\/SCI) pages 1--6. IEEE 2017.","DOI":"10.1109\/UIC-ATC.2017.8397410"},{"key":"e_1_3_2_1_36_1","volume-title":"Foundations for the run-time analysis of software systems","author":"Viswanathan Mahesh","year":"2000","unstructured":"Mahesh Viswanathan . Foundations for the run-time analysis of software systems . 2000 . Mahesh Viswanathan. Foundations for the run-time analysis of software systems. 2000."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2773807.2774052"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Christopher Williams Elisa Bertino S Calo D Verma K Leung and C Dearlove. Towards an architecture for policy-based management of software defined coalitions. In 2017 IEEE SmartWorld Ubiquitous Intelligence & Computing Advanced & Trusted Computed Scalable Computing & Communications Cloud & Big Data Computing Internet of People and Smart City Innovation (SmartWorld\/SCALCOM\/UIC\/ATC\/CBDCom\/IOP\/SCI) pages 1--6. IEEE 2017.  Christopher Williams Elisa Bertino S Calo D Verma K Leung and C Dearlove. Towards an architecture for policy-based management of software defined coalitions. In 2017 IEEE SmartWorld Ubiquitous Intelligence & Computing Advanced & Trusted Computed Scalable Computing & Communications Cloud & Big Data Computing Internet of People and Smart City Innovation (SmartWorld\/SCALCOM\/UIC\/ATC\/CBDCom\/IOP\/SCI) pages 1--6. IEEE 2017.","DOI":"10.1109\/UIC-ATC.2017.8397420"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2014.2369048"}],"event":{"name":"SACMAT '20: The 25th ACM Symposium on Access Control Models and Technologies","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Barcelona Spain","acronym":"SACMAT '20"},"container-title":["Proceedings of the 25th ACM Symposium on Access Control Models and Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381991.3395613","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3381991.3395613","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3381991.3395613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:33:08Z","timestamp":1750199588000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3381991.3395613"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,10]]},"references-count":39,"alternative-id":["10.1145\/3381991.3395613","10.1145\/3381991"],"URL":"https:\/\/doi.org\/10.1145\/3381991.3395613","relation":{},"subject":[],"published":{"date-parts":[[2020,6,10]]},"assertion":[{"value":"2020-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}