{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:50:03Z","timestamp":1725893403399},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642224430"},{"type":"electronic","value":"9783642224447"}],"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-22444-7_2","type":"book-chapter","created":{"date-parts":[[2011,10,5]],"date-time":"2011-10-05T21:29:33Z","timestamp":1317850173000},"page":"17-34","source":"Crossref","is-referenced-by-count":13,"title":["Automated Symbolic Analysis of ARBAC-Policies"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvio","family":"Ranise","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3"},{"key":"2_CR2","unstructured":"http:\/\/www.cs.stonybrook.edu\/~stoller\/ccs2007"},{"key":"2_CR3","unstructured":"http:\/\/www.spass-prover.org"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/978-3-540-73368-3_17","volume-title":"Computer Aided Verification","author":"P.A. Abdulla","year":"2007","unstructured":"Abdulla, P.A., Delzanno, G., Rezine, A.: Parameterized verification of infinite state processes with global conditions. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 145\u2013157. Springer, Heidelberg (2007)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Abdulla, P.A., Jonsson, B.: Model checking of systems with many identical timed processes. Theoretical Computer Science, 241\u2013264 (2003)","DOI":"10.1016\/S0304-3975(01)00330-9"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Alberti, F., Armando, A., Ranise, S.: Efficient Symbolic Automated Analysis of Administrative Role Based Access Control Policies. In: Proc. of 6th ACM Symp. on Info. Computer and Comm. Security, ASIACCS 2011 (2011)","DOI":"10.1145\/1966913.1966935"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Armando, A., Ranise, S.: Automated Symbolic Analysis of ARBAC-Policies, (Extended version) (2010), http:\/\/st.fbk.eu","DOI":"10.1007\/978-3-642-22444-7_2"},{"key":"2_CR8","first-page":"293","volume-title":"Logic and Databases","author":"K. Clark","year":"1978","unstructured":"Clark, K.: Negation as failure. In: Logic and Databases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"key":"2_CR9","first-page":"158","volume-title":"Proc. 12th ACM Conf. on Comp. and Comm. Security (CCS)","author":"J. Crampton","year":"2005","unstructured":"Crampton, J.: Understanding and developing role-based administrative models. In: Proc. 12th ACM Conf. on Comp. and Comm. Security (CCS), pp. 158\u2013167. ACM Press, New York (2005)"},{"key":"2_CR10","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"1972","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, Inc., London (1972)"},{"key":"2_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-71070-7_6","volume-title":"Automated Reasoning","author":"S. Ghilardi","year":"2008","unstructured":"Ghilardi, S., Nicolini, E., Ranise, S., Zucchelli, D.: Towards SMT model checking of array-based systems. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 67\u201382. Springer, Heidelberg (2008)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Li, N., Mao, Z.: Administration in Role Based Access Control. In: Proc. ACM Symp. on Information, Computer, and Communication Security, ASIACCS (2007)","DOI":"10.1145\/1229285.1229305"},{"issue":"4","key":"2_CR13","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 (TISSEC)\u00a09(4), 391\u2013420 (2006)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"issue":"4","key":"2_CR14","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1007\/s10817-009-9161-6","volume":"44","author":"R. Piskac","year":"2010","unstructured":"Piskac, R., de Moura, L., Bjoerner, N.: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. of Autom. Reas.\u00a044(4), 401\u2013424 (2010)","journal-title":"J. of Autom. Reas."},{"issue":"2","key":"2_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/300830.300839","volume":"1","author":"R. Sandhu","year":"1999","unstructured":"Sandhu, R., Bhamidipati, V., Munawer, Q.: The ARBAC97 model for role-based control administration of roles. ACM Transactions on Information and System Security (TISSEC)\u00a01(2), 105\u2013135 (1999)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"issue":"29","key":"2_CR16","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"2","author":"R. Sandhu","year":"1996","unstructured":"Sandhu, R., Coyne, E., Feinstein, H., Youmann, C.: Role-Based Access Control Models. IEEE Computer\u00a02(29), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"key":"2_CR17","volume-title":"Proc. of the 19th Computer Security Foundations (CSF) Workshop","author":"A. Sasturkar","year":"2006","unstructured":"Sasturkar, A., Yang, P., Stoller, S.D., Ramakrishnan, C.R.: Policy analysis for administrative role based access control. In: Proc. of the 19th Computer Security Foundations (CSF) Workshop, IEEE Computer Society Press, Los Alamitos (July 2006)"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Stoller, S.D., Yang, P., Gofman, M.I., Ramakrishnan, C.R.: Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control. In: Proc. of. SACMAT 2009, pp. 445\u2013454 (2007)","DOI":"10.1145\/1542207.1542233"},{"key":"2_CR19","volume-title":"Proc. of the 14th Conf. on Computer and Communications Security (CCS)","author":"S.D. Stoller","year":"2007","unstructured":"Stoller, S.D., Yang, P., Ramakrishnan, C.R., Gofman, M.I.: Efficient policy analysis for administrative role based access control. In: Proc. of the 14th Conf. on Computer and Communications Security (CCS). ACM Press, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22444-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,16]],"date-time":"2019-06-16T23:40:46Z","timestamp":1560728446000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22444-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642224430","9783642224447"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22444-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}