{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T15:40:10Z","timestamp":1743608410210,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294198"},{"type":"electronic","value":"9783642294204"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","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-29420-4_13","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:12:33Z","timestamp":1340629953000},"page":"198-213","source":"Crossref","is-referenced-by-count":6,"title":["TBA : A Hybrid of Logic and Extensional Access Control Systems"],"prefix":"10.1007","author":[{"given":"Timothy L.","family":"Hinrichs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"III","given":"William C.","family":"Garrison","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adam J.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Skip","family":"Saunders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John C.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C.Y., Gordon, A.D.: SecPAL: Design and semantics of a decentralized authorization language. JCS (2009)","DOI":"10.3233\/JCS-2009-0364"},{"issue":"1","key":"13_CR2","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 TISSEC\u00a06(1), 71\u2013127 (2003)","journal-title":"ACM TISSEC"},{"key":"13_CR3","unstructured":"Bertino, E., Ferrari, E., Buccafurri, F., Rullo, P.: A logical framework for reasoning on data access control policies. In: IEEE CSFW (1999)"},{"issue":"2","key":"13_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/306686.306687","volume":"17","author":"E. Bertino","year":"1999","unstructured":"Bertino, E., Jajodia, S., Samarati, P.: A flexible authorization mechanism for relational data management systems. ACM TISSEC\u00a017(2), 101\u2013140 (1999)","journal-title":"ACM TISSEC"},{"key":"13_CR5","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 164\u2013173 (1996)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., di Vimercati, S.D., Samarati, P.: A modular approach to composing access control policies. In: ACM CCS, pp. 164\u2013173 (2000)","DOI":"10.1145\/352600.352623"},{"key":"13_CR7","unstructured":"Bowers, K.D., Bauer, L., Garg, D., Pfenning, F., Reiter, M.K.: Consumable credentials in logic-based access-control systems. In: NDSS, pp. 143\u2013157 (2007)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Bruns, G., Huth, M.: Access-control policies via belnap logic: Effective and efficient composition and analysis. In: IEEE CSF (2008)","DOI":"10.1109\/CSF.2008.10"},{"key":"13_CR9","unstructured":"Cholvy, L., Cuppens, F.: Analyzing consistency of security policies. In: IEEE S&P (1997)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Crampton, J.: Understanding and developing role-based administrative models. In: ACM CCS, pp. 158\u2013167 (2005)","DOI":"10.1145\/1102120.1102143"},{"key":"13_CR11","unstructured":"Cuppens, F., Cholvy, L., Saurel, C., Carrere, J.: Merging security policies: analysis of a practical example. In: IEEE CSFW (1998)"},{"key":"13_CR12","unstructured":"Halpern, J.Y., Weissman, V.: Using first-order logic to reason about policies. In: IEEE CSFW (2003)"},{"key":"13_CR13","unstructured":"Hinrichs, T., Garrison, W., Lee, A., Saunders, S., Mitchell, J.: TBA: A hybrid of logic and extensional access control systems (Extended version). Technical Report TR-11-182, University of Pittsburgh (October 2011)"},{"key":"13_CR14","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust-management framework. In: IEEE S&P (2002)"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Razavi, M.N., Iverson, L.: Supporting selective information sharing with people-tagging. In: CHI Extended Abstracts, pp. 3423\u20133428 (2008)","DOI":"10.1145\/1358628.1358868"},{"key":"13_CR16","unstructured":"Ribeiro, C., Zuquete, A., Ferreira, P., Guedes, P.: SPL: An access control language for security policies with complex constraints. In: NDSS (2001)"},{"issue":"2","key":"13_CR17","doi-asserted-by":"crossref","first-page":"231","DOI":"10.3233\/JCS-2007-15202","volume":"15","author":"M.V. Tripunitara","year":"2007","unstructured":"Tripunitara, M.V., Li, N.: A theory for comparing the expressive power of access control models. JCS\u00a015(2), 231\u2013272 (2007)","journal-title":"JCS"},{"key":"13_CR18","unstructured":"U.S. Air Force Scientific Advisory Board. Networking to enable coalition operations. Technical report, MITRE Corporation (2004)"},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-642-04444-1_17","volume-title":"Computer Security \u2013 ESORICS 2009","author":"Q. Wang","year":"2009","unstructured":"Wang, Q., Jin, H., Li, N.: Usable Access Control in Collaborative Environments: Authorization Based on People-Tagging. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 268\u2013284. Springer, Heidelberg (2009)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Wijesekera, D., Jajodia, S.: Policy algebras for access control - the predicate case. In: ACM CCS, pp. 171\u2013180 (2001)","DOI":"10.1145\/501983.501990"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29420-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T15:00:21Z","timestamp":1743606021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29420-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294198","9783642294204"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29420-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}