{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:16:24Z","timestamp":1743653784333,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642315398"},{"type":"electronic","value":"9783642315404"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-31540-4_3","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:18:03Z","timestamp":1340630283000},"page":"25-40","source":"Crossref","is-referenced-by-count":14,"title":["Automated and Efficient Analysis of Role-Based Access Control with Attributes"],"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":"3_CR1","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-01187-0_17","volume-title":"E-Technologies: Innovation in an Open World","author":"K. Adi","year":"2009","unstructured":"Adi, K., Bouzida, Y., Hattak, I., Logrippo, L., Mankovskii, S.: Typing for Conflict Detection in Access Control Policies. In: Babin, G., Kropf, P., Weiss, M. (eds.) MCETECH 2009. LNBIP, vol.\u00a026, pp. 212\u2013226. Springer, Heidelberg (2009)"},{"key":"3_CR2","unstructured":"Al-Kahtani, M., Sandhu, R.: A Model for Attribute-Based User-Role Assignment. In: Proc. of 18th Annual Comp. Sec. App. Conf., Las Vegas, Nevada (2002)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Al-Kahtani, M., Sandhu, R.: Induced Role Hierarchies with Attribute-Based RBAC. In: Proc. of 8th ACM SACMAT (2003)","DOI":"10.1145\/775412.775430"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Al-Kahtani, M., Sandhu, R.: Rule-based RBAC with negative authorization. In: Proc. of 20th Annual Comp. Sec. App. Conf., pp. 405\u2013415 (2004)","DOI":"10.1109\/CSAC.2004.32"},{"key":"3_CR5","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"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TSC.2010.29","volume":"4","author":"C. Ardagna","year":"2011","unstructured":"Ardagna, C., De Capitani di Vimercati, S., Paraboschi, S., Pedrini, E., Samarati, P., Verdicchio, M.: Expressive and Deployable Access Control in Open Web Service Applications. IEEE Trans. on Serv. Comp. (TSC)\u00a04(2), 96\u2013109 (2011)","journal-title":"IEEE Trans. on Serv. Comp. (TSC)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-22444-7_2","volume-title":"Security and Trust Management","author":"A. Armando","year":"2011","unstructured":"Armando, A., Ranise, S.: Automated Symbolic Analysis of ARBAC-Policies. In: Cuellar, J., Lopez, J., Barthe, G., Pretschner, A. (eds.) STM 2010. LNCS, vol.\u00a06710, pp. 17\u201334. Springer, Heidelberg (2011)"},{"key":"3_CR8","unstructured":"Autrel, F., Cuppens, F., Cuppens, N., Coma, C.: MotOrBAC 2: a security policy tool. In: 3rd Conf. SARSSI, pp. 13\u201317 (2008)"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L. Moura De","year":"2011","unstructured":"De Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM\u00a054, 69\u201377 (2011)","journal-title":"Commun. ACM"},{"key":"3_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, New York (1972)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Fisler, K., Krishnamurthi, S., Meyerovich, L.A., Tschantz, M.C.: Verification and change-impact analysis of access control policies. In: Int. Conf. on Sw Eng. (ICSE), pp. 196\u2013206 (2005)","DOI":"10.1145\/1062455.1062502"},{"issue":"6","key":"3_CR12","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/s10009-008-0085-y","volume":"10","author":"G. Hughes","year":"2008","unstructured":"Hughes, G., Bultan, T.: Automated Verification of Access Control Policies Using a SAT Solver. Int. J. on Sw Tools for Tech. Trandf. (STTT)\u00a010(6), 473\u2013534 (2008)","journal-title":"Int. J. on Sw Tools for Tech. Trandf. (STTT)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/383891.383894","volume":"26","author":"S. Jajodia","year":"2001","unstructured":"Jajodia, S., Samarati, P., Sapino, M.L., Subrahmanian, V.S.: Flexible support for multiple access control policies. ACM Trans. DB Syst.\u00a026, 214\u2013260 (2001)","journal-title":"ACM Trans. DB Syst."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Kamoda, H., Yamaoka, M., Matsuda, S., Broda, K., Sloman, M.: Access Control Policy Analysis Using Free Variable Tableaux. Trans. of Inform. Proc. Soc. of Japan, 207\u2013221 (2006)","DOI":"10.2197\/ipsjdc.2.207"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-29709-0_21","volume-title":"Perspectives of Systems Informatics","author":"K. Korovin","year":"2012","unstructured":"Korovin, K., Voronkov, A.: GoRRiLA and Hard Reality. In: Clarke, E., Virbitskaite, I., Voronkov, A. (eds.) PSI 2011. LNCS, vol.\u00a07162, pp. 243\u2013250. Springer, Heidelberg (2012)"},{"issue":"6","key":"3_CR16","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MC.2010.155","volume":"43","author":"D.R. Kuhn","year":"2010","unstructured":"Kuhn, D.R., Coyne, E.J., Weil, T.R.: Adding Attributes to Role Based Access Control. IEEE Computer\u00a043(6), 79\u201381 (2010)","journal-title":"IEEE Computer"},{"key":"3_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/11559306_9","volume-title":"Frontiers of Combining Systems","author":"S.K. Lahiri","year":"2005","unstructured":"Lahiri, S.K., Musuvathi, M.: An Efficient Decision Procedure for UTVPI Constraints. In: Gramlich, B. (ed.) FroCos 2005. LNCS (LNAI), vol.\u00a03717, pp. 168\u2013183. Springer, Heidelberg (2005)"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-36388-2_6","volume-title":"Practical Aspects of Declarative Languages","author":"N. Li","year":"2003","unstructured":"Li, N., Mitchell, J.C.: DATALOG with Constraints: A Foundation for Trust Management Languages. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 58\u201373. Springer, Heidelberg (2003)"},{"key":"3_CR19","unstructured":"Li, N., Mitchell, J.C.: RT: A Role-based Trust-management Framework. In: 3rd DARPA Infor. Surv. Conf. and Exp. (DISCEX III), pp. 201\u2013212 (2003)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10207-010-0106-1","volume":"9","author":"D. Lin","year":"2010","unstructured":"Lin, D., Rao, P., Bertino, E., Li, N., Lobo, K.: EXAM: a comprehensive environment for the analysis of access control policies. IJIS\u00a09, 253\u2013273 (2010)","journal-title":"IJIS"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Lupu, E., Sloman, M.: Reconciling Role Based Management and Role Based Access Control. In: 2nd ACM Ws. on Role Based Acc. Contr., pp. 135\u2013142 (1997)","DOI":"10.1145\/266741.266770"},{"key":"3_CR22","unstructured":"Mankai, M., Logrippo, L.: Access Control Policies: Modeling and Validation. In: Proc. of NOTERE, pp. 85\u201391 (2005)"},{"issue":"2","key":"3_CR23","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"C.G. Nelson","year":"1979","unstructured":"Nelson, C.G., Oppen, D.: Simplification by Cooperating Decision Procedures. ACM Trans. on Programming Languages and Systems\u00a01(2), 245\u2013257 (1979)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"3_CR24","unstructured":"Ranise, S., Tinelli, C.: The SMT-LIB Standard: Version 1.2, http:\/\/goedel.cs.uiowa.edu\/smtlib\/papers\/format-v1.2-r06.08.30.pdf"},{"key":"3_CR25","unstructured":"Ribeiro, C., Z\u00faquete, A., Ferreira, P., Guedes, P.: Security Policy Consistency. In: 1st Ws. on Rule-Based Constr. Reas. and Progr. CoRR cs.LO\/0006045 (2000)"},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45608-2_3","volume-title":"Foundations of Security Analysis and Design","author":"P. Samarati","year":"2001","unstructured":"Samarati, P., De Capitani di Vimercati, S.: Access Control: Policies, Models, and Mechanisms. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, pp. 137\u2013196. Springer, Heidelberg (2001)"},{"issue":"29","key":"3_CR27","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":"3_CR28","doi-asserted-by":"crossref","first-page":"141","DOI":"10.3233\/SAT190034","volume":"3","author":"R. Sebastiani","year":"2007","unstructured":"Sebastiani, R.: Lazy Satisfiability Modulo Theories. Journal on Satisfiability, Boolean Modeling and Computation, JSAT\u00a03, 141\u2013224 (2007)","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation, JSAT"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Shaikh, R., Adi, K., Logrippo, L., Mankovski, S.: Inconsistency Detection Method for Access Control Policies. In: IEEE 6th IAS, pp. 204\u2013209 (2010)","DOI":"10.1109\/ISIAS.2010.5604062"},{"issue":"2","key":"3_CR30","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/321879.321884","volume":"22","author":"R.E. Tarjan","year":"1975","unstructured":"Tarjan, R.E.: Efficiency of a Good But Not Linear Set Union Algorithm. Journal of the ACM\u00a022(2), 215\u2013225 (1975)","journal-title":"Journal of the ACM"},{"key":"3_CR31","unstructured":"Yices, http:\/\/yices.csl.sri.com\/"},{"key":"3_CR32","unstructured":"Yu, H., Xie, Q., Che, H.: Research on Description Logic Based Conflict Detection Methods for RB-RBAC Model. In: 4th Int. Conf. on AMT, pp. 335\u2013339 (2006)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Yuan, E., Tong, J.: Attributed Based Access Control (ABAC) for Web Services. In: Proc. of IEEE ICWS, pp. 561\u2013569 (2005)","DOI":"10.1109\/ICWS.2005.25"},{"key":"3_CR34","unstructured":"Z3, http:\/\/research.microsoft.com\/en-us\/um\/redmond\/projects\/z3"}],"container-title":["Lecture Notes in Computer Science","Data and Applications Security and Privacy XXVI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31540-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T15:10:27Z","timestamp":1743606627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31540-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642315398","9783642315404"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31540-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}