{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T06:35:51Z","timestamp":1773902151966,"version":"3.50.1"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1736209"],"award-info":[{"award-number":["1736209"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-0964710"],"award-info":[{"award-number":["CNS-0964710"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008982","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1748109"],"award-info":[{"award-number":["CNS-1748109"]}],"id":[{"id":"10.13039\/501100008982","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2019]]},"DOI":"10.1109\/tdsc.2019.2949410","type":"journal-article","created":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T19:58:32Z","timestamp":1572033512000},"page":"1-1","source":"Crossref","is-referenced-by-count":8,"title":["Cree: a Performant Tool for Safety Analysis of Administrative Temporal Role-Based Access Control (ATRBAC) Policies"],"prefix":"10.1109","author":[{"given":"Jonathan","family":"Shahen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwei","family":"Niu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mahesh V.","family":"Tripunitara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70225"},{"key":"ref11","first-page":"46","author":"gofman","year":"2009","journal-title":"RBAC-PAT A Policy Analysis Tool for Role Based Access Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501979"},{"key":"ref13","year":"2018","journal-title":"Seconds Since the Epoch"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2613087.2613102"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1996.502679"},{"key":"ref16","first-page":"217","author":"lee","year":"2007","journal-title":"Automated Trust Negotiation in Open Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2015.2427834"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2018.2839745"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_30"},{"key":"ref28","article-title":"Cree: Source code and supplementary material","author":"shahen","year":"2019"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2445566.2445570"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-15756"},{"key":"ref3","first-page":"237","article-title":"Protection mechanism models: Their usefulness","author":"jones","year":"1978","journal-title":"Found Secure Comput"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2752952.2752966"},{"key":"ref29","article-title":"NuSMV","year":"2016"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1992.213266"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/300830.300839"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2295136.2295169"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.05.009"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/360303.360333"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315300"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1996-42-303"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1187441.1187442"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-140510"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-2007-15202"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACOMP.2016.011"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2695664.2695787"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/4358699\/08883057.pdf?arnumber=8883057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:51:28Z","timestamp":1649443888000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8883057\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/tdsc.2019.2949410","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]}}}