{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:46Z","timestamp":1740098926334,"version":"3.37.3"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319647005"},{"type":"electronic","value":"9783319647012"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-64701-2_19","type":"book-chapter","created":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T04:56:55Z","timestamp":1500958615000},"page":"257-272","source":"Crossref","is-referenced-by-count":6,"title":["Safety of ABAC $$_\\alpha $$ Is Decidable"],"prefix":"10.1007","author":[{"given":"Tahmina","family":"Ahmed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Sandhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,26]]},"reference":[{"issue":"8","key":"19_CR1","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/360303.360333","volume":"19","author":"MA Harrison","year":"1976","unstructured":"Harrison, M.A., Ruzzo, W.L., Ullman, J.D.: Protection in operating systems. Commun. ACM 19(8), 461\u2013471 (1976). \nhttp:\/\/doi.acm.org\/10.1145\/360303.360333","journal-title":"Commun. ACM"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Hu, V.C., Ferrariolo, D., Kuhn, R., Schnitzer, A., Sandlin, K., Miller, R., Karen, S.: Guide to attribute based access control (ABAC) definitions and considerations. 2014 NIST Special Publication 800\u2013162","DOI":"10.6028\/NIST.SP.800-162"},{"key":"19_CR3","unstructured":"Jin, X.: Attribute-Based Access Control Models and Implementation in Cloud Infrastructure as a Service. Ph.D. thesis, UTSA (2014)"},{"key":"19_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-31540-4_4","volume-title":"Data and Applications Security and Privacy XXVI","author":"X Jin","year":"2012","unstructured":"Jin, X., Krishnan, R., Sandhu, R.: A unified attribute-based access control model covering DAC, MAC and RBAC. In: Cuppens-Boulahia, N., Cuppens, F., Garcia-Alfaro, J. (eds.) DBSec 2012. LNCS, vol. 7371, pp. 41\u201355. Springer, Heidelberg (2012). doi:\n10.1007\/978-3-642-31540-4_4"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-73538-0_11","volume-title":"Data and Applications Security XXI","author":"J Kolter","year":"2007","unstructured":"Kolter, J., Schillinger, R., Pernul, G.: A privacy-enhanced attribute-based access control system. In: Barker, S., Ahn, G.-J. (eds.) DBSec 2007. LNCS, vol. 4602, pp. 129\u2013143. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-73538-0_11"},{"key":"19_CR6","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1145\/984334.984339","volume":"7","author":"J Park","year":"2004","unstructured":"Park, J., Sandhu, R.: The UCONabc usage control model. ACM TISSEC 7, 128\u2013174 (2004)","journal-title":"ACM TISSEC"},{"issue":"5","key":"19_CR7","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1109\/TDSC.2015.2427834","volume":"13","author":"P Rajkumar","year":"2016","unstructured":"Rajkumar, P., Sandhu, R.: Safety decidability for pre-authorization usage control with finite attribute domains. IEEE Trans. Dependable Secure Comput. 13(5), 582\u2013590 (2016)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/978-3-642-03095-6_65","volume-title":"Algorithms and Architectures for Parallel Processing","author":"H Shen","year":"2009","unstructured":"Shen, H.: A semantic-aware attribute-based access control model for web services. In: Hua, A., Chang, S.-L. (eds.) ICA3PP 2009. LNCS, vol. 5574, pp. 693\u2013703. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-03095-6_65"},{"issue":"2","key":"19_CR9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3233\/JCS-2007-15202","volume":"15","author":"MV Tripunitara","year":"2007","unstructured":"Tripunitara, M.V., Li, N.: A theory for comparing the expressive power of access control models. J. Comput. Secur. 15(2), 231\u2013272 (2007)","journal-title":"J. Comput. Secur."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Yuan, E., Tong, J.: Attributed based access control (ABAC) for web services. In: Proceedings of the IEEE International Conference on Web Services, ICWS 2005, pp. 561\u2013569 (2005). \nhttp:\/\/dx.doi.org\/10.1109\/ICWS.2005.25","DOI":"10.1109\/ICWS.2005.25"}],"container-title":["Lecture Notes in Computer Science","Network and System Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64701-2_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T05:04:14Z","timestamp":1500959054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64701-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319647005","9783319647012"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64701-2_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}