{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:48:18Z","timestamp":1725706098876},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346002"},{"type":"electronic","value":"9783642346019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34601-9_2","type":"book-chapter","created":{"date-parts":[[2012,11,15]],"date-time":"2012-11-15T21:04:18Z","timestamp":1353013458000},"page":"15-28","source":"Crossref","is-referenced-by-count":3,"title":["On the Automated Analysis of Safety in Usage Control: A New Decidability Result"],"prefix":"10.1007","author":[{"given":"Silvio","family":"Ranise","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Armando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-22438-6_4","volume-title":"Automated Deduction \u2013 CADE-23","author":"F. Alberti","year":"2011","unstructured":"Alberti, F., Armando, A., Ranise, S.: ASASP: Automated Symbolic Analysis of Security Policies. In: Bj\u00f8rner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS, vol.\u00a06803, pp. 26\u201333. Springer, Heidelberg (2011)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1504\/IJCSE.2007.015739","volume":"3","author":"S. De Capitani di Vimercati","year":"2007","unstructured":"De Capitani di Vimercati, S., Foresti, S., Jajodia, S., Samarati, P.: Access control policies and languages. IJCSE\u00a03(2), 94\u2013102 (2007)","journal-title":"IJCSE"},{"key":"2_CR3","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, New York (1972)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Ghilardi, S., Ranise, S.: Backward reachability of array-based systems by smt solving: Termination and invariant synthesis. LMCS\u00a06(4) (2010)","DOI":"10.2168\/LMCS-6(4:10)2010"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Jagadeesan, R., Marrero, W., Pitcher, C., Saraswat, V.: Timed constraint programming: A declarative approach to usage control. In: PPDP. ACM (2005)","DOI":"10.1145\/1069774.1069790"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Janicke, H., Cau, A., Zedan, H.: A note on the formalization of UCON. In: SACMAT. ACM (2007)","DOI":"10.1145\/1266840.1266867"},{"key":"2_CR7","unstructured":"Kleiner, E., Newcomb, T.: On the Decidability of the Safety Problem for Access Control Policies. In: AVoCS. ENTCS, pp. 91\u2013103 (2006)"},{"key":"2_CR8","unstructured":"Kr\u00f6ger, F., Merz, S.: Temporal Logic and State Systems. Springer (2008)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.cosrev.2010.02.002","volume":"4","author":"A. Lazouski","year":"2010","unstructured":"Lazouski, A., Martinelli, F., Mori, P.: Usage control in computer security: A survey. Computer Science Review\u00a04, 81\u201399 (2010)","journal-title":"Computer Science Review"},{"issue":"4","key":"2_CR10","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 Trans. Inf. Syst. Security\u00a09(4), 391\u2013420 (2006)","journal-title":"ACM Trans. Inf. Syst. Security"},{"key":"2_CR11","unstructured":"Massonet, P., Arenas, A., Martinelli, F., Mori, P., Crispo, B.: Usage control for trust and security in next generation grids. In: At Your Service. MIT Press (2008)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Park, J., Sandhu, R.: Towards usage control models: Beyond traditional access control. In: SACMAT, pp. 57\u201364. ACM (2002)","DOI":"10.1145\/507711.507722"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Pretschner, A., R\u00fcesch, J., Schaefer, C., Walter, T.: Formal Analyses of Usage Control Policies. In: Int. Conf. on Av., Rel. and Sec., pp. 98\u2013105 (2009)","DOI":"10.1109\/ARES.2009.100"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/11556992_32","volume-title":"Information Security","author":"N. Zhang","year":"2005","unstructured":"Zhang, N., Ryan, M.D., Guelev, D.P.: Evaluating Access Control Policies Through Model Checking. In: Zhou, J., L\u00f3pez, J., Deng, R.H., Bao, F. (eds.) ISC 2005. LNCS, vol.\u00a03650, pp. 446\u2013460. Springer, Heidelberg (2005)"},{"issue":"4","key":"2_CR15","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1145\/1108906.1108908","volume":"8","author":"X. Zhang","year":"2005","unstructured":"Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal Model and Policy Specification of Usage Control. ACM TISSec\u00a08(4), 351\u2013387 (2005)","journal-title":"ACM TISSec"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Zhang, X., Sandhu, R., Parisi-Presicce, F.: Safety Analysis of Usage Control Authorization Models. In: ASIACCS. ACM (2006)","DOI":"10.1145\/1128817.1128853"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Zhigang, Z., Jiandong, W., Yuguang, M.: Study and Safety Analysis of UCON\n                    onA\n                   Model. In: 1st Int. Ws. on Database Technology and App., pp. 103\u2013106 (2009)","DOI":"10.1109\/DBTA.2009.123"}],"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-642-34601-9_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:00:21Z","timestamp":1620118821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34601-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346002","9783642346019"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34601-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}