{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T20:40:02Z","timestamp":1741812002321,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642248603"},{"type":"electronic","value":"9783642248610"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24861-0_16","type":"book-chapter","created":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T01:18:10Z","timestamp":1318382290000},"page":"229-245","source":"Crossref","is-referenced-by-count":1,"title":["Opacity Analysis in Trust Management Systems"],"prefix":"10.1007","author":[{"given":"Moritz Y.","family":"Becker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud","family":"Koleini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Anderson, A.: Web Services Profile of XACML (WS-XACML) Version 1.0. OASIS TC Working Draft (2006)"},{"key":"16_CR2","unstructured":"Anderson, A., Lockhart, H.: SAML 2.0 Profile of XACML v2. 0. OASIS Standard (2005)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Becker, M.Y.: Information flow in credential systems. In: IEEE Computer Security Foundations Symposium, pp. 171\u2013185 (2010)","DOI":"10.1109\/CSF.2010.19"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Design and semantics of a decentralized authorization language. In: IEEE Computer Security Foundations (2007)","DOI":"10.1109\/CSF.2007.18"},{"key":"16_CR5","unstructured":"Becker, M.Y., Koleini, M.: Information leakage in datalog-based trust management systems. Technical Report MSR-TR-2011-11, Microsoft Research (2011)"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Sewell, P.: Cassandra: Flexible trust management, applied to electronic health records. In: IEEE Computer Security Foundations, pp. 139\u2013154 (2004)","DOI":"10.1109\/CSFW.2004.1310738"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Lacy, J.: Decentralized trust management. In: IEEE Symposium on Security and Privacy, pp. 164\u2013173 (1996)","DOI":"10.1109\/SECPRI.1996.502679"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1109\/69.390247","volume":"7","author":"P. Bonatti","year":"1995","unstructured":"Bonatti, P., Kraus, S., Subrahmanian, V.: Foundations of secure deductive databases. IEEE Transactions on Knowledge and Data Engineering\u00a07(3), 406\u2013422 (1995)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you always wanted to know about Datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","volume-title":"Policies for Distributed Systems and Networks","author":"N. Damianou","year":"2001","unstructured":"Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The ponder policy specification language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol.\u00a01995, pp. 18\u201338. Springer, Heidelberg (2001)"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Detreville, J.: Binder, a logic-based security language. In: IEEE Symposium on Security and Privacy, pp. 105\u2013113 (2002)","DOI":"10.1109\/SECPRI.2002.1004365"},{"issue":"2","key":"16_CR12","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/772862.772864","volume":"4","author":"C. Farkas","year":"2002","unstructured":"Farkas, C., Jajodia, S.: The inference problem: a survey. ACM SIGKDD Explorations Newsletter\u00a04(2), 6\u201311 (2002)","journal-title":"ACM SIGKDD Explorations Newsletter"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Gurevich, Y., Neeman, I.: DKAL: Distributed-knowledge authorization language. In: IEEE Computer Security Foundations Symposium (CSF), pp. 149\u2013162 (2008)","DOI":"10.1109\/CSF.2008.8"},{"key":"16_CR14","unstructured":"Gurevich, Y., Neeman, I.: DKAL 2 \u2013 a simplified and improved authorization language. Technical Report MSR-TR-2009-11, Microsoft Research (2009)"},{"key":"16_CR15","unstructured":"Jajodia, S., Meadows, C.: Inference problems in multilevel secure database management systems. In: Information Security: An Integrated Collection of Essays (1995)"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Jim, T.: SD3: A trust management system with certified evaluation. In: Proceedings of the 2001 IEEE Symposium on Security and Privacy, pp. 106\u2013115 (2001)","DOI":"10.1109\/SECPRI.2001.924291"},{"key":"16_CR17","unstructured":"Li, N., Mitchell, J.C., Winsborough, W.H.: Design of a role-based trust management framework. In: Symposium on Security and Privacy, pp. 114\u2013130 (2002)"},{"key":"16_CR18","unstructured":"OASIS. eXtensible Access Control Markup Language (XACML) Version 2.0 core specification (2005)"},{"issue":"1","key":"16_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Winsborough, W., Li, N.: Safety in automated trust negotiation. ACM Transactions on Information and System Security (TISSEC)\u00a09(3) (2006)","DOI":"10.1145\/1178618.1178623"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Winsborough, W.H., Li, N.: Towards practical automated trust negotiation. In: IEEE International Workshop on Policies for Distributed Systems and Networks (2002)","DOI":"10.1109\/POLICY.2002.1011297"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Winsborough, W.H., Seamons, K.E., Jones, V.E.: Automated trust negotiation. In: DARPA Information Survivability Conference and Exposition, vol.\u00a01 (2000)","DOI":"10.1109\/DISCEX.2000.824965"}],"container-title":["Lecture Notes in Computer Science","Information Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24861-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T20:16:44Z","timestamp":1741810604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24861-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642248603","9783642248610"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24861-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}