{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T05:16:39Z","timestamp":1737263799004,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540731955"},{"type":"electronic","value":"9783540731962"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73196-2_7","type":"book-chapter","created":{"date-parts":[[2007,7,6]],"date-time":"2007-07-06T04:50:02Z","timestamp":1183697402000},"page":"97-111","source":"Crossref","is-referenced-by-count":3,"title":["Towards Modal Logic Formalization of Role-Based Access Control with Object Classes"],"prefix":"10.1007","author":[{"given":"Junghwa","family":"Chae","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B., Plotkin, G.: A calculus for access control in distributed systems. ACM Trans. Program. Lang. Syst (USA)\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Trans. Program. Lang. Syst. (USA)"},{"key":"7_CR2","unstructured":"Barkely, J.F., Cincotta, V., Ferraiolo, D.F., Garrvrilla, S., Kuhn, D.R.: Role based access control for the world wide web. In: NIST 20th National Computer Security Conference, pp. 331\u2013340 (1997)"},{"issue":"1","key":"7_CR3","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 Trans. Inf. Syst. Secur (USA)\u00a06(1), 71\u2013127 (2003)","journal-title":"ACM Trans. Inf. Syst. Secur. (USA)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Chae, J.H., Shiri, N.: Formalization of RBAC policy with object class hierarchy. In: Proc. of the 3rd Information Security Practice and Experience Conference (ISPEC) (2007)","DOI":"10.1007\/978-3-540-72163-5_14"},{"key":"7_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge, Massachusetts (1995)"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/300830.300834","volume":"1","author":"D.F. Ferraiolo","year":"1999","unstructured":"Ferraiolo, D.F., Barkely, J.F., Kuhn, D.R.: A role based access control model and reference implementation within a corporate Intranet. ACM Trans. Inf. Syst. Secur (USA)\u00a01(2), 34\u201364 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur. (USA)"},{"issue":"2","key":"7_CR7","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. Database Syst (USA)\u00a026(2), 214\u2013260 (2001)","journal-title":"ACM Trans. Database Syst. (USA)"},{"issue":"3","key":"7_CR8","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 Trans. Inf. Syst. Secur (USA)\u00a05(3), 332\u2013365 (2002)","journal-title":"ACM Trans. Inf. Syst. Secur. (USA)"},{"key":"7_CR9","series-title":"LNCS(LNAI)","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(LNAI), vol.\u00a01244, pp. 421\u2013435. Springer, Heidelberg (1997)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/BFb0027418","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Massacci","year":"1997","unstructured":"Massacci, F.: Tableaux methods for access control in distributed systems. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.\u00a01227, pp. 246\u2013260. Springer, Heidelberg (1997)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1145\/103140.103144","volume":"16","author":"F. Rabitti","year":"1991","unstructured":"Rabitti, F., Bertino, E.: A model of authorization for next-generation database systems. ACM Trans. Database Syst (USA)\u00a016(1), 88\u2013131 (1991)","journal-title":"ACM Trans. Database Syst. (USA)"},{"key":"7_CR12","first-page":"137","volume-title":"Access Control: Policies, Models, and Mechanisms","author":"P. Samarati","year":"2001","unstructured":"Samarati, P., Vimercati, S.C.: Foundations of Security Analysis and Design: Tutorial Lectures. In: Access Control: Policies, Models, and Mechanisms, pp. 137\u2013196. Springer, Heidelberg (2001)"},{"issue":"2","key":"7_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/2.485845","volume":"29","author":"R.S. Sandhu","year":"1996","unstructured":"Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer\u00a029(2), 38\u201347 (1996)","journal-title":"IEEE Computer"},{"issue":"9","key":"7_CR14","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/35.312842","volume":"32","author":"R.S. Sandhu","year":"1994","unstructured":"Sandhu, R.S., Samarati, P.: Access control: Principles and practice. IEEE Communications Magazine\u00a032(9), 40\u201348 (1994)","journal-title":"IEEE Communications Magazine"},{"issue":"2-3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"107","DOI":"10.3233\/JCS-1993-22-304","volume":"2","author":"T.Y.C. Woo","year":"1993","unstructured":"Woo, T.Y.C., Lam, S.S.: Authorization in distributed systems: a new approach. J. Comput. Secur (Netherlands)\u00a02(2-3), 107\u2013136 (1993)","journal-title":"J. Comput. Secur. (Netherlands)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73196-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T06:50:27Z","timestamp":1737183027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73196-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540731955","9783540731962"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73196-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}