{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:36Z","timestamp":1761611256470},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,28]],"date-time":"2010-01-28T00:00:00Z","timestamp":1264636800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s11225-010-9223-0","type":"journal-article","created":{"date-parts":[[2010,1,27]],"date-time":"2010-01-27T03:08:42Z","timestamp":1264561722000},"page":"73-85","source":"Crossref","is-referenced-by-count":10,"title":["An Independence Relation for Sets of Secrets"],"prefix":"10.1007","volume":"94","author":[{"given":"Sara Miner","family":"More","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Naumov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,28]]},"reference":[{"issue":"1","key":"9223_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.scico.2006.03.002","volume":"64","author":"Torben Amtoft","year":"2007","unstructured":"Amtoft Torben, Banerjee Anindya: \u2018A logic for information flow analysis with an application to forward slicing of simple imperative programs\u2019. Sci. Comput. Program 64(1), 3\u201328 (2007)","journal-title":"Sci. Comput. Program"},{"key":"9223_CR2","doi-asserted-by":"crossref","unstructured":"Cohen, Ellis, \u2018Information transmission in computational systems\u2019, in Proceedings of Sixth ACM Symposium on Operating Systems Principles, Association for Computing Machinery, 1977, pp. 113\u2013139.","DOI":"10.1145\/800214.806556"},{"issue":"(1","key":"9223_CR3","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","volume":"91","author":"Dan Geiger","year":"1991","unstructured":"Geiger Dan, Paz Azaria, Pearl Judea: \u2018Axioms and algorithms for inferences involving probabilistic independence\u2019. Inform. and Comput. 91((1), 128\u2013141 (1991)","journal-title":"Inform. and Comput."},{"key":"9223_CR4","doi-asserted-by":"crossref","unstructured":"Goguen, Joseph A., and Jos\u00e9 Meseguer , \u2018Security policies and security models\u2019, in Proceedings of IEEE Symposium on Security and Privacy, 1982, pp. 11\u201320.","DOI":"10.1109\/SP.1982.10014"},{"key":"9223_CR5","doi-asserted-by":"crossref","unstructured":"Halpern, Joseph Y., and Kevin R. O\u2019Neill, \u2018Secrecy in multiagent systems\u2019, in Proceedings of the Fifteenth IEEE Computer Security Foundations Workshop, 2002, pp. 32\u201346.","DOI":"10.1109\/CSFW.2002.1021805"},{"issue":"1","key":"9223_CR6","first-page":"1","volume":"12","author":"Joseph Y. Halpern","year":"2008","unstructured":"Halpern Joseph Y., O\u2019Neill Kevin R.: \u2018Secrecy in multiagent systems\u2019, ACM Trans. Inf. Syst. Secur., 12(1), 1\u201347 (2008) (originally appeared as [5])","journal-title":"Inf. Syst. Secur.,"},{"key":"9223_CR7","unstructured":"MacKenzie Donald: Mechanizing Proof: Computing, Risk, and Trust. MIT Press, (2004)"},{"key":"9223_CR8","doi-asserted-by":"crossref","unstructured":"Miner More, Sara, and Pavel Naumov, \u2018An independence relation for sets of secrets\u2019, in H. Ono, M. Kanazawa, and R. de Queiroz, (eds.), Proceedings of 16th Workshop on Logic, Language, Information and Computation (Tokyo, 2009), LNAI 5514, Springer, 2009, pp. 296\u2013304.","DOI":"10.1007\/978-3-642-02261-6_24"},{"key":"9223_CR9","doi-asserted-by":"crossref","unstructured":"Miner More, Sara, and Pavel Naumov, \u2018On interdependence of secrets in collaboration networks\u2019, in Proceedings of 12th Conference on Theoretical Aspects of Rationality and Knowledge (Stanford University, 2009), 2009, pp. 208\u2013217.","DOI":"10.1145\/1562814.1562843"},{"key":"9223_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"211","author":"Andrei Sabelfeld","year":"2003","unstructured":"Sabelfeld Andrei, Myers Andrew C.: \u2018Language-based information-flow security\u2019. IEEE Journal on Selected Areas in Communications 211, 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"9223_CR11","unstructured":"Sutherland, David, \u2018A model of information\u2019, in Proceedings of Ninth National Computer Security Conference, 1986, pp. 175--183."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9223-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9223-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9223-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,29]],"date-time":"2023-05-29T19:45:12Z","timestamp":1685389512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9223-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,28]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9223"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9223-0","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,28]]}}}