{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:22:53Z","timestamp":1725524573150},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/uic-atc.2017.8397415","type":"proceedings-article","created":{"date-parts":[[2018,6,28]],"date-time":"2018-06-28T22:34:27Z","timestamp":1530225267000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Verification techniques for policy based systems"],"prefix":"10.1109","author":[{"given":"Erisa","family":"Karafili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen","family":"Pipes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emil C.","family":"Lupu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1145\/860575.860717","article-title":"Argumentation based decision making for autonomous agents","author":"kakas","year":"2003","journal-title":"AAMAS"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45402-0_29"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/UIC-ATC.2017.8397414"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3078861.3078876"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2010.20"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774218"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2011.2178431"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2010.45"},{"key":"ref12","first-page":"115","article-title":"Analysis of XACML policies with SMT","author":"turkmen","year":"2015","journal-title":"POST ETAPS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2012.11"},{"key":"ref14","first-page":"227","article-title":"Formal modelling of content-based protection and release for access control in NATO operations","author":"armando","year":"2013","journal-title":"FPS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31540-4_3"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2462410.2462427"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjdc.2.207"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00015-5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2012-0461"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1080\/10919399409540214"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0410-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S096012951200093X"},{"journal-title":"Argumentation-based security for social good","year":"2017","author":"karafili","key":"ref29"},{"key":"ref5","first-page":"273","article-title":"Boosting model checking to analyse large ARBAC policies","author":"ranise","year":"2012","journal-title":"STM"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774613"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.38"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2007.31"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2008.42"},{"key":"ref1","first-page":"446","article-title":"Evaluating access control policies through model checking","author":"zhang","year":"2005","journal-title":"ISC"},{"key":"ref20","first-page":"5","article-title":"Policy conflict analysis using free variable tableaux for access control in web services environments","author":"kamoda","year":"2005","journal-title":"Policy Man for the Web"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25560-1_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77442-6_7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1145\/1533057.1533091","article-title":"Expressive policy analysis with enhanced system dynamicity","author":"craven","year":"2009","journal-title":"ASIACCS"},{"key":"ref26","article-title":"Conflict analysis for management policies","author":"lupu","year":"1997","journal-title":"IFIP\/IEEE International Symposium on Integrated Network Management"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.23"}],"event":{"name":"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)","start":{"date-parts":[[2017,8,4]]},"location":"San Francisco, CA","end":{"date-parts":[[2017,8,8]]}},"container-title":["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)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8386711\/8397387\/08397415.pdf?arnumber=8397415","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T12:52:36Z","timestamp":1643201556000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8397415\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/uic-atc.2017.8397415","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}