{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T08:23:22Z","timestamp":1742977402995,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642255595"},{"type":"electronic","value":"9783642255601"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-25560-1_8","type":"book-chapter","created":{"date-parts":[[2011,11,9]],"date-time":"2011-11-09T22:28:46Z","timestamp":1320877726000},"page":"116-130","source":"Crossref","is-referenced-by-count":7,"title":["Abductive Analysis of Administrative Policies in Rule-Based Access Control"],"prefix":"10.1007","author":[{"given":"Puneet","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott D.","family":"Stoller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhongyuan","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Becker, M.Y.: Specification and analysis of dynamic authorisation policies. In: Proc. 22nd IEEE Computer Security Foundations Symposium (CSF), pp. 203\u2013217 (2009)","DOI":"10.1109\/CSF.2009.14"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-77442-6_7","volume-title":"Practical Aspects of Declarative Languages","author":"M.Y. Becker","year":"2008","unstructured":"Becker, M.Y., Nanz, S.: The Role of Abduction in Declarative Authorization Policies. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 84\u201399. Springer, Heidelberg (2008)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Nanz, S.: A logic for state-modifying authorization policies. ACM Transactions on Information and System Security 13(3) (2010)","DOI":"10.1145\/1805974.1805976"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TDSC.2007.70225","volume":"5","author":"S. Jha","year":"2008","unstructured":"Jha, S., Li, N., Tripunitara, M., Wang, Q., Winsborough, W.: Towards formal verification of role-based access control policies. IEEE Transactions on Dependable and Secure Computing\u00a05(4), 242\u2013255 (2008)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"4","key":"8_CR5","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/1187441.1187442","volume":"9","author":"N. Li","year":"2006","unstructured":"Li, N., Tripunitara, M.V.: Security analysis in role-based access control. ACM Transactions on Information and System Security\u00a09(4), 391\u2013420 (2006)","journal-title":"ACM Transactions on Information and System Security"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/300830.300839","volume":"2","author":"R. Sandhu","year":"1999","unstructured":"Sandhu, R., Bhamidipati, V., Munawer, Q.: The ARBAC97 model for role-based administration of roles. ACM Transactions on Information and Systems Security\u00a02(1), 105\u2013135 (1999)","journal-title":"ACM Transactions on Information and Systems Security"},{"issue":"2-3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.cose.2010.08.002","volume":"30","author":"S.D. Stoller","year":"2011","unstructured":"Stoller, S.D., Yang, P., Gofman, M., Ramakrishnan, C.R.: Symbolic reachability analysis for parameterized administrative role based access control. Computers & Security\u00a030(2-3), 148\u2013164 (2011)","journal-title":"Computers & Security"}],"container-title":["Lecture Notes in Computer Science","Information Systems Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25560-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T06:50:22Z","timestamp":1555397422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25560-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642255595","9783642255601"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25560-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}