{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:02:22Z","timestamp":1746244942600,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642547911"},{"type":"electronic","value":"9783642547928"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54792-8_14","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T13:35:12Z","timestamp":1395408912000},"page":"245-264","source":"Crossref","is-referenced-by-count":13,"title":["Decentralized Composite Access Control"],"prefix":"10.1007","author":[{"given":"Petar","family":"Tsankov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srdjan","family":"Marinovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Torabi","family":"Dashti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.: The KeyNote Trust-Management System Version 2. RFC 2704 (Informational) (September 1999)","DOI":"10.17487\/rfc2704"},{"key":"14_CR2","unstructured":"SNIC: SweGrid: e-Infrastructure for Computing and Storage, http:\/\/www.snic.vr.se\/projects\/swegrid\/"},{"key":"14_CR3","unstructured":"Axiomatics: Policy Decision Points (September 2013)"},{"issue":"4","key":"14_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M. Armbrust","year":"2010","unstructured":"Armbrust, M., Fox, A., Griffith, R., Joseph, A.D., Katz, R., Konwinski, A., Lee, G., Patterson, D., Rabkin, A., Stoica, I., Zaharia, M.: A View of Cloud Computing. Commun. ACM\u00a053(4), 50\u201358 (2010)","journal-title":"Commun. ACM"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What You Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. on Knowl. and Data Eng., 146\u2013166 (1989)","DOI":"10.1109\/69.43410"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Belnap, N.D.: A Useful Four-Valued Logic. In: Modern Uses of Multiple-Valued Logic. D. Reidel (1977)","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Bruns, G., Huth, M.: Access Control via Belnap Logic: Intuitive, Expressive, and Analyzable Policy Composition. ACM Trans. Inf. Syst. Secur., 1\u201327 (2011)","DOI":"10.1145\/1952982.1952991"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-28641-4_21","volume-title":"Principles of Security and Trust","author":"J. Crampton","year":"2012","unstructured":"Crampton, J., Morisset, C.: PTaCL: A Language for Attribute-Based Access Control in Open Systems. In: Degano, P., Guttman, J.D. (eds.) POST 2013. LNCS, vol.\u00a07215, pp. 390\u2013409. Springer, Heidelberg (2012)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Ni, Q., Bertino, E., Lobo, J.: D-Algebra for Composing Access Control Policy Decisions. In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, ASIACCS 2009, pp. 298\u2013309. ACM (2009)","DOI":"10.1145\/1533057.1533097"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Neeman, I.: DKAL: Distributed-Knowledge Authorization Language. Computer Security Foundations Symposium, 149\u2013162 (2008)","DOI":"10.1109\/CSF.2008.8"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: SecPAL: Design and semantics of a decentralized authorization language. Journal of Computer Security, 619\u2013665 (2010)","DOI":"10.3233\/JCS-2009-0364"},{"key":"14_CR12","unstructured":"Li, N., Mitchell, J., Winsborough, W.: Design of a Role-based Trust-management Framework. In: IEEE Symposium on Security and Privacy, pp. 114\u2013130 (2002)"},{"key":"14_CR13","first-page":"283","volume-title":"Proceedings of the 19th IEEE Workshop on Computer Security Foundations, CSFW 2006","author":"D. Garg","year":"2006","unstructured":"Garg, D., Pfenn, F.: Non-Interference in Constructive Authorization Logic. In: Proceedings of the 19th IEEE Workshop on Computer Security Foundations, CSFW 2006, pp. 283\u2013296. IEEE Computer Society, Washington, DC (2006)"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2007.02.002","volume":"172","author":"M. Abadi","year":"2007","unstructured":"Abadi, M.: Access Control in a Core Calculus of Dependency. Electronic Notes in Theoretical Computer Science\u00a0172, 5\u201331 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Bilattices in Logic Programming. In: Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, pp. 238\u2013246 (1990)","DOI":"10.1109\/ISMVL.1990.122627"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Marinovic, S., Craven, R., Ma, J., Dulay, N.: Rumpole: A Flexible Break-glass Access Control Model. In: Symposium on Access Control Models and Technologies, SACMAT 2011, pp. 73\u201382. ACM (2011)","DOI":"10.1145\/1998441.1998453"},{"key":"14_CR17","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-13446-3_9","volume-title":"Trust Management IV","author":"C. Dong","year":"2010","unstructured":"Dong, C., Dulay, N.: Shinren: Non-monotonic Trust Management for Distributed Systems. In: Nishigaki, M., J\u00f8sang, A., Murayama, Y., Marsh, S. (eds.) IFIPTM 2010, vol.\u00a0321, pp. 125\u2013140. Springer, Heidelberg (2010)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Kolovski, V., Hendler, J., Parsia, B.: Analyzing Web Access Control Policies. In: Proceedings of the 16th International Conference on WWW, pp. 677\u2013686. ACM (2007)","DOI":"10.1145\/1242572.1242664"},{"key":"14_CR19","unstructured":"Tsankov, P., Marinovic, S., Dashti, M.T., Basin, D.: Decentralized Composite Access Control. Technical report, ETH Zurich (2014), http:\/\/dx.doi.org\/10.3929\/ethz-a-010045530"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Apt, K.R., Blair, H.A., Walker, A.: Towards a Theory of Declarative Knowledge. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 89\u2013148. Morgan Kaufmann Publishers Inc. (1988)","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"14_CR21","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/800070.802186","volume-title":"Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, STOC 1982","author":"M.Y. Vardi","year":"1982","unstructured":"Vardi, M.Y.: The Complexity of Relational Query Languages (Extended Abstract). In: Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, STOC 1982, pp. 137\u2013146. ACM, New York (1982)"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Shmueli, O.: Decidability and Expressiveness Aspects of Logic Queries. In: Proceedings of the ACM Symposium on Principles of Database Systems. ACM (1987)","DOI":"10.1145\/28659.28685"},{"key":"14_CR24","unstructured":"Rissanen, E.: XACML 3.0 Additional Combining Algorithms Profile Version 1.0. Technical report, Axiomatics"},{"key":"14_CR25","unstructured":"OASIS: eXtensible Access Control Markup Language, http:\/\/docs.oasis-open.org\/xacml\/3.0\/xacml-3.0-core-spec-os-en.html"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Seitz, L., Rissanen, E., Sandholm, T., Firozabadi, B.S., Mulmo, O.: Policy Administration Control and Delegation Using XACML and Delegent. In: Proceedings of the International Workshop on Grid Computing, pp. 49\u201354. IEEE (2005)","DOI":"10.1109\/GRID.2005.1542723"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54792-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T03:47:04Z","timestamp":1746157624000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54792-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642547911","9783642547928"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54792-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}