{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T02:08:46Z","timestamp":1776305326844,"version":"3.50.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.23919\/fmcad.2018.8602994","type":"proceedings-article","created":{"date-parts":[[2019,1,9]],"date-time":"2019-01-09T01:33:52Z","timestamp":1546997632000},"page":"1-9","source":"Crossref","is-referenced-by-count":81,"title":["Semantic-based Automated Reasoning for AWS Access Policies using SMT"],"prefix":"10.23919","author":[{"given":"John","family":"Backes","sequence":"first","affiliation":[]},{"given":"Pauline","family":"Bolignano","sequence":"additional","affiliation":[]},{"given":"Byron","family":"Cook","sequence":"additional","affiliation":[]},{"given":"Catherine","family":"Dodge","sequence":"additional","affiliation":[]},{"given":"Andrew","family":"Gacek","sequence":"additional","affiliation":[]},{"given":"Kasper","family":"Luckow","sequence":"additional","affiliation":[]},{"given":"Neha","family":"Rungta","sequence":"additional","affiliation":[]},{"given":"Oksana","family":"Tkachuk","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Varming","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36388-2_6"},{"key":"ref11","article-title":"Extensible access control markup language (xacml) version 1.0","author":"anderson","year":"2003","journal-title":"OASIS"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/504909.504910"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501979"},{"key":"ref14","article-title":"Automated analysis and debugging of network connectivity policies","author":"jayaraman","year":"2014","journal-title":"Microsoft Research Tech Rep MSR-TR-2014-102"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-417750-5.50022-1"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","article-title":"CVC4","author":"barrett","year":"2011","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref17","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2017.8102241"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_15"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-008-0087-9"},{"key":"ref3","first-page":"219","article-title":"Model-checking access control policies","volume":"3225","author":"guelev","year":"2004","journal-title":"ISC"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/605434.605438"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ENABL.2003.1231406"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2002.1004365"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1109\/CSFW.2004.1310738","article-title":"Cassandra: Flexible trust management, applied to electronic health records","author":"becker","year":"2004","journal-title":"Computer Security Foundations Workshop 2004 Proceedings 17th IEEE"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/ICSE.2005.1553562","article-title":"Verification and change-impact analysis of access-control policies","author":"fisler","year":"2005","journal-title":"Proceedings 27th International Conference on Software Engineering 2005 ICSE 2005"},{"key":"ref1","first-page":"632","article-title":"Specifying and reasoning about dynamic access-control policies","volume":"4130","author":"dougherty","year":"2006","journal-title":"IJCAR"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2001.924291"}],"event":{"name":"2018 Formal Methods in Computer Aided Design (FMCAD)","location":"Austin, TX","start":{"date-parts":[[2018,10,30]]},"end":{"date-parts":[[2018,11,2]]}},"container-title":["2018 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8585253\/8602989\/08602994.pdf?arnumber=8602994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T01:20:44Z","timestamp":1643160044000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8602994\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2018.8602994","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}