{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:56:29Z","timestamp":1725738989347},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642397868"},{"type":"electronic","value":"9783642397875"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39787-5_19","type":"book-chapter","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T04:22:14Z","timestamp":1372738934000},"page":"230-240","source":"Crossref","is-referenced-by-count":0,"title":["Representation and Reasoning on RBAC: A Nonmonotonic Approach"],"prefix":"10.1007","author":[{"given":"Wei","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"19_CR1","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R. Sandhu","year":"1996","unstructured":"Sandhu, R., Coynek, E.J., Feinsteink, H.L., Youmank, C.E.: Role-based access control models. Computer\u00a029(2), 38\u201347 (1996)","journal-title":"Computer"},{"key":"19_CR2","unstructured":"ANSI INCITS: INCITS 359-2004, American national standard for information technology, role based access control (2004)"},{"key":"19_CR3","unstructured":"Anderson, A.: Core and hierarchical role based access control (RBAC) profile of XACML version 2.0. OASIS XACML-TC, Committee Draft (2004)"},{"issue":"3","key":"19_CR4","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/545186.545191","volume":"5","author":"M. Koch","year":"2002","unstructured":"Koch, M., Mancini, L.V., Parisi-Presicce, F.: A graph-based formalism for RBAC. ACM Transactions on Information and System Security (TISSEC)\u00a05(3), 332\u2013365 (2002)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"19_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-30203-2_2","volume-title":"Graph Transformations","author":"R. Sandhu","year":"2004","unstructured":"Sandhu, R.: A perspective on graphs and access control models. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 2\u201312. Springer, Heidelberg (2004)"},{"issue":"10","key":"19_CR6","doi-asserted-by":"publisher","first-page":"2152","DOI":"10.1016\/j.ins.2006.12.004","volume":"177","author":"G. Ding","year":"2007","unstructured":"Ding, G., Chen, J., Lax, R.F., Chen, P.P.: Graph-theoretic method for merging security system specifications. Information Sciences\u00a0177(10), 2152\u20132166 (2007)","journal-title":"Information Sciences"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem-solving using the DLV system. In: Logic-based Artificial Intelligence, pp. 79\u2013103. Springer US (2000)","DOI":"10.1007\/978-1-4615-1567-8_4"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels\u2014an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"19_CR9","unstructured":"Lifschitz, V.: What is answer set programming. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 1594\u20131597 (2008)"},{"key":"19_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J.W. Lloyd","year":"1984","unstructured":"Lloyd, J.W.: Foundations of logic programming, 2nd edn. Springer, Berlin (1984)","edition":"2"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, W., Lin, Z.: A Logic-based RBAC Framework for Flexible Policies. In: 2012 Eighth International Conference on Semantics, Knowledge and Grids (SKG), pp. 279\u2013282. IEEE (2012)","DOI":"10.1109\/SKG.2012.5"},{"key":"19_CR12","unstructured":"Woo, T.Y., Lam, S.S.: A semantic model for authentication protocols. In: Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 178\u2013194. IEEE (1993)"},{"issue":"2","key":"19_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 Transactions on Database Systems (TODS)\u00a026(2), 214\u2013260 (2001)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"1","key":"19_CR14","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/605434.605437","volume":"6","author":"E. Bertino","year":"2003","unstructured":"Bertino, E., Catania, B., Ferrari, E., Perlasca, P.: A logical framework for reasoning about access control models. ACM Transactions on Information and System Security (TISSEC)\u00a06(1), 71\u2013127 (2003)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"issue":"4","key":"19_CR15","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/950191.950194","volume":"6","author":"S. Barker","year":"2003","unstructured":"Barker, S., Stuckey, P.J.: Flexible access control policy specification with constraint logic programming. ACM Transactions on Information and System Security (TISSEC)\u00a06(4), 501\u2013546 (2003)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11560647_25","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2005","author":"C. Zhao","year":"2005","unstructured":"Zhao, C., Heilili, N., Liu, S., Lin, Z.: Representation and reasoning on RBAC: A description logic approach. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS, vol.\u00a03722, pp. 381\u2013393. Springer, Heidelberg (2005)"},{"key":"19_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-72163-5_14","volume-title":"Information Security Practice and Experience","author":"J.H. Chae","year":"2007","unstructured":"Chae, J.H., Shiri, N.: Formalization of RBAC policy with object class hierarchy. In: Dawson, E., Wong, D.S. (eds.) ISPEC 2007. LNCS, vol.\u00a04464, pp. 162\u2013176. Springer, Heidelberg (2007)"},{"key":"19_CR18","unstructured":"Knechtel, M., Hladik, J., Dau, F.: Using OWL DL Reasoning to decide about authorization in RBAC. In: OWLED 2008: Proceedings of the OWLED 2008 Workshop on OWL: Experiences and Directions (2008)"},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Kolovski, V., Hendler, J., Parsia, B.: Analyzing web access control policies. In: Proceedings of the 16th International Conference on World Wide Web, pp. 677\u2013686. ACM (2007)","DOI":"10.1145\/1242572.1242664"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Ferrini, R., Bertino, E.: Supporting rbac with xacml+ owl. In: Proceedings of the 14th ACM Symposium on Access Control Models and Technologies, pp. 145\u2013154. ACM (2009)","DOI":"10.1145\/1542207.1542231"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/BFb0035639","volume-title":"Qualitative and Quantitative Practical Reasoning","author":"F. Massacci","year":"1997","unstructured":"Massacci, F.: Reasoning about security: a logic and a decision method for role-based access control. In: Nonnengart, A., Kruse, R., Ohlbach, H.J., Gabbay, D.M. (eds.) FAPR 1997 and ECSQARU 1997. LNCS, vol.\u00a01244, pp. 421\u2013435. Springer, Heidelberg (1997)"},{"key":"19_CR22","unstructured":"Mossakowski, T., Drouineaud, M., Sohr, K.: A temporal-logic extension of role-based access control covering dynamic separation of duties. In: Proceedings of the 10th International Symposium on Temporal Representation and Reasoning and Fourth International Conference on Temporal Logic, pp. 83\u201390. IEEE (2003)"},{"key":"19_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/978-3-540-30549-1_54","volume-title":"AI 2004: Advances in Artificial Intelligence","author":"V.F. Crescini","year":"2004","unstructured":"Crescini, V.F., Zhang, Y.: A logic based approach for dynamic access control. In: Webb, G.I., Yu, X. (eds.) AI 2004. LNCS (LNAI), vol.\u00a03339, pp. 623\u2013635. Springer, Heidelberg (2004)"},{"key":"19_CR24","unstructured":"Ahn, G.J., Hu, H., Lee, J., Meng, Y.: Reasoning about xacml policy descriptions in answer set programming (preliminary report). In: 13th International Workshop on Nonmonotonic Reasoning, NMR 2010 (2010)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39787-5_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T05:03:23Z","timestamp":1557896603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39787-5_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642397868","9783642397875"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39787-5_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}