{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:49Z","timestamp":1750306249505,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T00:00:00Z","timestamp":1490313600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["608090"],"award-info":[{"award-number":["608090"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,3,24]]},"DOI":"10.1145\/3041048.3041049","type":"proceedings-article","created":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T14:54:21Z","timestamp":1490367261000},"page":"43-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Verification of Resilience Policies that Assist Attribute Based Access Control"],"prefix":"10.1145","author":[{"given":"Antonios","family":"Gouglidis","sequence":"first","affiliation":[{"name":"School of Computing and Communications, Lancaster, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent C.","family":"Hu","sequence":"additional","affiliation":[{"name":"Computer Security Division, NIST, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeremy S.","family":"Busby","sequence":"additional","affiliation":[{"name":"Department of Management Science, Lancaster, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Hutchison","sequence":"additional","affiliation":[{"name":"School of Computing and Communications, Lancaster, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,3,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ANSI. Information technology - Next Generation Access Control - Functional Architecture 2013.  ANSI. Information technology - Next Generation Access Control - Functional Architecture 2013."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1063979.1063990"},{"key":"e_1_3_2_1_3_1","volume-title":"Principles of model checking","author":"Baier C.","year":"2008","unstructured":"C. Baier , J.-P. Katoen , Principles of model checking . MIT press Cambridge , 2008 . C. Baier, J.-P. Katoen, et al. Principles of model checking. MIT press Cambridge, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300837"},{"key":"e_1_3_2_1_5_1","volume-title":"BS 65000 - Guidance for organizational resilience","author":"BSI.","year":"2014","unstructured":"BSI. BS 65000 - Guidance for organizational resilience , 2014 . BSI. BS 65000 - Guidance for organizational resilience, 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750423.2750438"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2752952.2752961"},{"key":"e_1_3_2_1_8_1","volume-title":"A multivariate approach for checking resiliency in access control. arXiv preprint arXiv:1604.01550","author":"Crampton J.","year":"2016","unstructured":"J. Crampton , G. Gutin , S. P\u00e9rennes , and R. Watrigant . A multivariate approach for checking resiliency in access control. arXiv preprint arXiv:1604.01550 , 2016 . J. Crampton, G. Gutin, S. P\u00e9rennes, and R. Watrigant. A multivariate approach for checking resiliency in access control. arXiv preprint arXiv:1604.01550, 2016."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914642.2914650"},{"key":"e_1_3_2_1_10_1","volume-title":"Role-based access control","author":"Ferraiolo D.","year":"2003","unstructured":"D. Ferraiolo , D. R. Kuhn , and R. Chandramouli . Role-based access control . Artech House , 2003 . D. Ferraiolo, D. R. Kuhn, and R. Chandramouli. Role-based access control. Artech House, 2003."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.481533"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-013-0205-x"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICT.2016.7500410"},{"key":"e_1_3_2_1_14_1","first-page":"162","article-title":"Guide to attribute based access control (ABAC) definition and considerations","volume":"800","author":"Hu V. C.","year":"2014","unstructured":"V. C. Hu , D. Ferraiolo , R. Kuhn , A. Schnitzer , K. Sandlin , R. Miller , and K. Scarfone . Guide to attribute based access control (ABAC) definition and considerations . NIST SP , 800 : 162 , 2014 . V. C. Hu, D. Ferraiolo, R. Kuhn, A. Schnitzer, K. Sandlin, R. Miller, and K. Scarfone. Guide to attribute based access control (ABAC) definition and considerations. NIST SP, 800:162, 2014.","journal-title":"NIST SP"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.33"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2016.368"},{"key":"e_1_3_2_1_17_1","volume-title":"McAfee. Part of Intel Security","author":"Security Intel","year":"2016","unstructured":"Intel Security . Protect critical infrastructure. Technical report , McAfee. Part of Intel Security , 2016 . Intel Security. Protect critical infrastructure. Technical report, McAfee. Part of Intel Security, 2016."},{"key":"e_1_3_2_1_18_1","volume-title":"IEC 13568:  2002: Information technology--Z formal specification notation--syntax, type system and semantics","author":"ISO.","year":"2002","unstructured":"ISO. IEC 13568: 2002: Information technology--Z formal specification notation--syntax, type system and semantics , 2002 . ISO. IEC 13568: 2002: Information technology--Z formal specification notation--syntax, type system and semantics, 2002."},{"key":"e_1_3_2_1_19_1","volume-title":"LTL. Presentation","author":"Krug R. B.","year":"2010","unstructured":"R. B. Krug . CTL vs . LTL. Presentation , May 2010 . R. B. Krug. CTL vs. LTL. Presentation, May 2010."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646793.704698"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1513601.1513602"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-1-4020-6266-7_59","volume-title":"Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications","author":"Majdalawieh M.","year":"2007","unstructured":"M. Majdalawieh , F. Parisi-Presicce , and R. Sandhu . RBAC model for SCADA . In Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications , pages 329 -- 335 . Springer , 2007 . M. Majdalawieh, F. Parisi-Presicce, and R. Sandhu. RBAC model for SCADA. In Innovative Algorithms and Techniques in Automation, Industrial Electronics and Telecommunications, pages 329--335. Springer, 2007."},{"key":"e_1_3_2_1_23_1","volume-title":"CERT resilience management model, version 1.0 improving operational resilience processes. Technical report","author":"Richard A. C.","year":"2010","unstructured":"A. C. Richard , H. A. Julia , D. C. Pamela , W. W. David , and R. Y. Lisa . CERT resilience management model, version 1.0 improving operational resilience processes. Technical report , Software Engineering Institute , 2010 . A. C. Richard, H. A. Julia, D. C. Pamela, W. W. David, and R. Y. Lisa. CERT resilience management model, version 1.0 improving operational resilience processes. Technical report, Software Engineering Institute, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/35.312842"},{"key":"e_1_3_2_1_25_1","volume-title":"Responce property pattern","author":"Laboraroty S","year":"2012","unstructured":"SAnTo S Laboraroty . Specification patterns , Responce property pattern , 2012 . SAnToS Laboraroty. Specification patterns, Responce property pattern, 2012."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.185"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880022.1880034"}],"event":{"name":"CODASPY '17: Seventh ACM Conference on Data and Application Security and Privacy","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Scottsdale Arizona USA","acronym":"CODASPY '17"},"container-title":["Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3041048.3041049","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3041048.3041049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:51Z","timestamp":1750220631000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3041048.3041049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3,24]]},"references-count":27,"alternative-id":["10.1145\/3041048.3041049","10.1145\/3041048"],"URL":"https:\/\/doi.org\/10.1145\/3041048.3041049","relation":{},"subject":[],"published":{"date-parts":[[2017,3,24]]},"assertion":[{"value":"2017-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}