{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:39Z","timestamp":1740099039837,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319897219"},{"type":"electronic","value":"9783319897226"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89722-6_6","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T10:53:50Z","timestamp":1523616830000},"page":"134-159","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Leakage and Protocol Composition in a Game-Theoretic Perspective"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4196-7467","authenticated-orcid":false,"given":"M\u00e1rio S.","family":"Alvim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3081-5775","authenticated-orcid":false,"given":"Konstantinos","family":"Chatzikokolakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2151-9560","authenticated-orcid":false,"given":"Yusuke","family":"Kawamoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4597-7002","authenticated-orcid":false,"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-540-45126-6_7","volume-title":"Financial Cryptography","author":"A Acquisti","year":"2003","unstructured":"Acquisti, A., Dingledine, R., Syverson, P.: On the economics of anonymity. In: Wright, R.N. (ed.) FC 2003. LNCS, vol. 2742, pp. 84\u2013102. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45126-6_7"},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1137\/110858021","volume":"27","author":"N Alon","year":"2013","unstructured":"Alon, N., Emek, Y., Feldman, M., Tennenholtz, M.: Adversarial leakage in games. SIAM J. Discret. Math. 27(1), 363\u2013385 (2013)","journal-title":"SIAM J. Discret. Math."},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/TMC.2010.146","volume":"10","author":"T Alpcan","year":"2011","unstructured":"Alpcan, T., Buchegger, S.: Security games for vehicular networks. IEEE Trans. Mob. Comput. 10(2), 280\u2013290 (2011)","journal-title":"IEEE Trans. Mob. Comput."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-319-68711-7_23","volume-title":"Decision and Game Theory for Security","author":"MS Alvim","year":"2017","unstructured":"Alvim, M.S., Chatzikokolakis, K., Kawamoto, Y., Palamidessi, C.: Information leakage games. In: Rass, S., An, B., Kiekintveld, C., Fang, F., Schauer, S. (eds.) GameSec 2017. LNCS, vol. 10575, pp. 437\u2013457. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68711-7_23"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., McIver, A., Morgan, C., Palamidessi, C., Smith, G.: Axioms for information leakage. In: Proceedings of CSF, pp. 77\u201392 (2016)","DOI":"10.1109\/CSF.2016.13"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Alvim, M.S., Chatzikokolakis, K., Palamidessi, C., Smith, G.: Measuring information leakage using generalized gain functions. In: Proceedings of CSF, pp. 265\u2013279 (2012)","DOI":"10.1109\/CSF.2012.26"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/TIT.1983.1056602","volume":"29","author":"T Basar","year":"1983","unstructured":"Basar, T.: The Gaussian test channel with an intelligent jammer. IEEE Trans. Inf. Theory 29(1), 152\u2013157 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"issue":"4\u20135","key":"6_CR8","first-page":"1","volume":"11","author":"M Boreale","year":"2015","unstructured":"Boreale, M., Pampaloni, F.: Quantitative information flow under generic leakage functions and adaptive adversaries. Log. Methods Comput. Sci. 11(4\u20135), 1\u201331 (2015)","journal-title":"Log. Methods Comput. Sci."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.entcs.2009.07.085","volume":"249","author":"Christelle Braun","year":"2009","unstructured":"Braun, C., Chatzikokolakis, K., Palamidessi, C.: Quantitative notions of leakage for one-try attacks. In: Proceedings of MFPS. ENTCS, vol. 249, pp. 75\u201391. Elsevier (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"5","key":"6_CR10","doi-asserted-by":"publisher","first-page":"531","DOI":"10.3233\/JCS-2008-0333","volume":"16","author":"K Chatzikokolakis","year":"2008","unstructured":"Chatzikokolakis, K., Palamidessi, C., Panangaden, P.: On the Bayes risk in information-hiding protocols. J. Comput. Secur. 16(5), 531\u2013571 (2008)","journal-title":"J. Comput. Secur."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00206326","volume":"1","author":"D Chaum","year":"1988","unstructured":"Chaum, D.: The dining cryptographers problem: unconditional sender and recipient untraceability. J. Cryptol. 1, 65\u201375 (1988)","journal-title":"J. Cryptol."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11681878_14","volume-title":"Theory of Cryptography","author":"C Dwork","year":"2006","unstructured":"Dwork, C., McSherry, F., Nissim, K., Smith, A.: Calibrating noise to sensitivity in private data analysis. In: Halevi, S., Rabin, T. (eds.) TCC 2006. LNCS, vol. 3876, pp. 265\u2013284. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11681878_14"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Freudiger, J., Manshaei, M.H., Hubaux, J.-P., Parkes, D.C.: On non-cooperative location privacy: a game-theoretic analysis. In: Proceedings of CCS, pp. 324\u2013337 (2009)","DOI":"10.1145\/1653662.1653702"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Grossklags, J., Christin, N., Chuang, J.: Secure or insure? A game-theoretic analysis of information security games. In: Proceedings of WWW, pp. 209\u2013218 (2008)","DOI":"10.1145\/1367497.1367526"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-540-78524-8_15","volume-title":"Theory of Cryptography","author":"J Katz","year":"2008","unstructured":"Katz, J.: Bridging game theory and cryptography: recent results and future directions. In: Canetti, R. (ed.) TCC 2008. LNCS, vol. 4948, pp. 251\u2013272. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78524-8_15"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/978-3-319-48989-6_25","volume-title":"FM 2016: Formal Methods","author":"Y Kawamoto","year":"2016","unstructured":"Kawamoto, Y., Biondi, F., Legay, A.: Hybrid statistical estimation of mutual information for quantifying information flow. In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds.) FM 2016. LNCS, vol. 9995, pp. 406\u2013425. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48989-6_25"},{"issue":"3\u201311","key":"6_CR17","first-page":"1","volume":"13","author":"Y Kawamoto","year":"2017","unstructured":"Kawamoto, Y., Chatzikokolakis, K., Palamidessi, C.: On the compositionality of quantitative information flow. Log. Methods Comput. Sci. 13(3\u201311), 1\u201331 (2017)","journal-title":"Log. Methods Comput. Sci."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Khouzani, M.H.R., Malacaria, P.: Relative perfect secrecy: universally optimal strategies and channel design. In: Proceedings of CSF, pp. 61\u201376 (2016)","DOI":"10.1109\/CSF.2016.12"},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1613\/jair.3269","volume":"41","author":"D Korzhyk","year":"2011","unstructured":"Korzhyk, D., Yin, Z., Kiekintveld, C., Conitzer, V., Tambe, M.: Stackelberg vs. nash in security games: an extended investigation of interchangeability, equivalence, and uniqueness. J. Artif. Intell. Res. 41, 297\u2013327 (2011)","journal-title":"J. Artif. Intell. Res."},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/2480741.2480742","volume":"45","author":"MH Manshaei","year":"2013","unstructured":"Manshaei, M.H., Zhu, Q., Alpcan, T., Bac\u015far, T., Hubaux, J.-P.: Game theory meets network security and privacy. ACM Comput. Surv. 45(3), 25:1\u201325:39 (2013)","journal-title":"ACM Comput. Surv."},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Mardziel, P., Alvim, M.S., Hicks, M.W., Clarkson, M.R.: Quantifying information flow for dynamic secrets. In: Proceedings of S&P, pp. 540\u2013555 (2014)","DOI":"10.1109\/SP.2014.41"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Massey, J.L.: Guessing and entropy. In: Proceedings of the IEEE International Symposium on Information Theory, p. 204. IEEE (1994)","DOI":"10.1109\/ISIT.1994.394764"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-54792-8_5","volume-title":"Principles of Security and Trust","author":"A McIver","year":"2014","unstructured":"McIver, A., Morgan, C., Smith, G., Espinoza, B., Meinicke, L.: Abstract channels and their robust information-leakage ordering. In: Abadi, M., Kremer, S. (eds.) POST 2014. LNCS, vol. 8414, pp. 83\u2013102. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54792-8_5"},{"key":"6_CR24","volume-title":"A Course in Game Theory","author":"MJ Osborne","year":"1994","unstructured":"Osborne, M.J., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)"},{"key":"6_CR25","unstructured":"Rizzo, J., Duong, T.: The CRIME attack (2012)"},{"issue":"3","key":"6_CR26","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C. E. Shannon","year":"1948","unstructured":"Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27, 379\u2013423, 625\u2013656 (1948)","journal-title":"Bell System Technical Journal"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-00596-1_21","volume-title":"Foundations of Software Science and Computational Structures","author":"G Smith","year":"2009","unstructured":"Smith, G.: On the foundations of quantitative information flow. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 288\u2013302. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00596-1_21"},{"key":"6_CR28","unstructured":"Sun, Q., Simon, D.R., Wang, Y.-M., Russell, W., Padmanabhan, V.N., Qiu, L.: Statistical identification of encrypted web browsing traffic. In: Proceedings of S&P, pp. 19\u201330. IEEE (2002)"},{"key":"6_CR29","unstructured":"Xu, H., Jiang, A.X., Sinha, A., Rabinovich, Z., Dughmi, S., Tambe, M.: Security games with information leakage: modeling and computation. In: Proceedings of IJCAI, pp. 674\u2013680 (2015)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Zhu, Q., Fung, C.J., Boutaba, R., Basar, T.: A game-theoretical approach to incentive design in collaborative intrusion detection networks. In: Proceedings of GAMENETS, pp. 384\u2013392. IEEE (2009)","DOI":"10.1109\/GAMENETS.2009.5137424"}],"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-319-89722-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T15:21:09Z","timestamp":1571152869000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89722-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319897219","9783319897226"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89722-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}