{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:02:03Z","timestamp":1725865323333},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465975"},{"type":"electronic","value":"9783319465982"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46598-2_11","type":"book-chapter","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T18:31:00Z","timestamp":1473964260000},"page":"154-169","source":"Crossref","is-referenced-by-count":1,"title":["Information Security as Strategic (In)effectivity"],"prefix":"10.1007","author":[{"given":"Wojciech","family":"Jamroga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masoud","family":"Tabatabaei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,17]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Acquisti, A., Grossklags, J.: Privacy attitudes and privacy behavior - losses, gains, and hyperbolic discounting. In: Economics of Information Security. Advances in Information Security, vol. 12, pp. 165\u2013178. Springer, New York (2004)","DOI":"10.1007\/1-4020-8090-5_13"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/358549.358563","volume":"24","author":"D Chaum","year":"1981","unstructured":"Chaum, D.: Untraceable electronic mail, return addresses, and digital pseudonyms. Commun. ACM 24, 84\u201390 (1981)","journal-title":"Commun. ACM"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-319-11851-2_6","volume-title":"Security and Trust Management","author":"AS Dimovski","year":"2014","unstructured":"Dimovski, A.S.: Ensuring secure non-interference of programs by game semantics. In: Mauw, S., Jensen, C.D. (eds.) STM 2014. LNCS, vol. 8743, pp. 81\u201396. Springer, Heidelberg (2014)"},{"key":"11_CR4","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-55415-5_2","volume-title":"ICT Systems Security and Privacy Protection","author":"A Fielder","year":"2014","unstructured":"Fielder, A., Panaousis, E., Malacaria, P., Hankin, C., Smeraldi, F.: Game theory meets information security management. In: Cuppens-Boulahia, N., Cuppens, F., Jajodia, S., Abou El Kalam, A., Sans, T. (eds.) SEC 2014. IFIP AICT, vol. 428, pp. 15\u201329. Springer, Heidelberg (2014). doi: 10.1007\/978-3-642-55415-5_2"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/3-540-57220-1_66","volume-title":"Advances in Cryptology \u2014 AUSCRYPT \u201992","author":"A Fujioka","year":"1993","unstructured":"Fujioka, A., Okamoto, T., Ohta, K.: A practical secret voting scheme for large scale elections. In: Seberry, J., Zheng, Y. (eds.) AUSCRYPT 1992. LNCS, vol. 718, pp. 244\u2013251. Springer, Heidelberg (1993). doi: 10.1007\/3-540-57220-1_66"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: parameterizing non-interference by abstract interpretation. In: Proceedings of POPL, pp. 186\u2013197. ACM (2004)","DOI":"10.1145\/982962.964017"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of S&P, pp. 11\u201320. IEEE Computer Society (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Goldreich, O., Micali, S., Wigderson, A.: How to play ANY mental game. In: Proceedings of the 19th Annual ACM Symposium on Theory of Computing, STOC 1987, pp. 218\u2013229. ACM (1987)","DOI":"10.1145\/28395.28420"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Gray III, J.W.: Probabilistic interference. In: Proceedings of S&P, pp. 170\u2013179. IEEE (1990)","DOI":"10.1109\/RISP.1990.63848"},{"key":"11_CR10","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. ACM (2008)","DOI":"10.1145\/1367497.1367526"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/3-540-36377-7_7","volume-title":"The Essence of Computation","author":"C Hankin","year":"2002","unstructured":"Hankin, C., Nagarajan, R., Sampath, P.: Flow analysis: games and nets. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol. 2566, pp. 135\u2013156. Springer, Heidelberg (2002)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Harris, W.R., Jha, S., Reps, T.W., Anderson, J., Watson, R.N.M.: Declarative, temporal, and practical programming with capabilities. In: Proceedings of SP, pp. 18\u201332. IEEE Computer Society (2013)","DOI":"10.1109\/SP.2013.11"},{"key":"11_CR13","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-319-18467-8_5","volume-title":"ICT Systems Security and Privacy Protection","author":"W Jamroga","year":"2015","unstructured":"Jamroga, W., Tabatabaei, M.: Strategic noninterference. In: Federrath, H., Gollmann, D. (eds.) SEC 2015. IFIP AICT, vol. 455, pp. 67\u201381. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-18467-8_5"},{"key":"11_CR14","unstructured":"Levin, J.: In what city did you honeymoon? and other monstrously stupid bank security questions. Slate (2008)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Leyton-Brown, K., Shoham, Y.: Essentials of Game Theory: A Concise, Multidisciplinary Introduction. Morgan & Claypool (2008)","DOI":"10.2200\/S00108ED1V01Y200802AIM003"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Li, P., Zdancewic, S.: Downgrading policies and relaxed noninterference. In: ACM SIGPLAN Notices, vol. 40, pp. 158\u2013170. ACM (2005)","DOI":"10.1145\/1047659.1040319"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Malacaria, P., Hankin, C.: Non-deterministic games, program analysis: an application to security. In: Proceedings of LICS, pp. 443\u2013452. IEEE Computer Society (1999)","DOI":"10.1109\/LICS.1999.782639"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Noninterference and the composability of security properties. In: Proceedings of S&P, pp. 177\u2013186. IEEE (1988)","DOI":"10.1109\/SECPRI.1988.8110"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"McIver, A., Morgan, C.: A probabilistic approach to information hiding. In: Programming Methodology, pp. 441\u2013460 (2003)","DOI":"10.1007\/978-0-387-21798-7_20"},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1016\/S0019-9958(66)80013-X","volume":"9","author":"R McNaughton","year":"1966","unstructured":"McNaughton, R.: Testing and generating infinite sequences by a finite automaton. Inf. Control 9, 521\u2013530 (1966)","journal-title":"Inf. Control"},{"key":"11_CR21","unstructured":"Moore, T., Anderson, R.: Economics, internet security: a survey of recent analytical, empirical and behavioral research. Technical report TR-03-11, Computer Science Group, Harvard University (2011)"},{"key":"11_CR22","unstructured":"O\u2019Halloran, C.: A calculus of information flow. In: Proceedings of ESORICS, pp. 147\u2013159 (1990)"},{"issue":"1","key":"11_CR23","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-2004-12103","volume":"12","author":"A Pierro Di","year":"2004","unstructured":"Di Pierro, A., Hankin, C., Wiklicky, H.: Approximate non-interference. J. Comput. Secur. 12(1), 37\u201381 (2004)","journal-title":"J. Comput. Secur."},{"issue":"1","key":"11_CR24","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"JA Robinson","year":"1965","unstructured":"Robinson, J.A.: A machine-oriented logic based on the resolution principle. J. ACM 12(1), 23\u201341 (1965)","journal-title":"J. ACM"},{"key":"11_CR25","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"11_CR26","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Sands, D.: Dimensions and principles of declassification. In: Proceedings of CSFW-18, pp. 255\u2013269. IEEE Computer Society (2005)","DOI":"10.1109\/CSFW.2005.15"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"11_CR28","unstructured":"Sutherland, D.: A model of information. In: Proceedings of the 9th National Computer Security Conference, pp. 175\u2013183 (1986)"},{"issue":"47","key":"11_CR29","doi-asserted-by":"crossref","first-page":"4123","DOI":"10.1016\/j.tcs.2010.08.013","volume":"411","author":"R Meyden","year":"2010","unstructured":"Meyden, R., Zhang, C.: A comparison of semantic models for noninterference. Theoret. Comput. Sci. 411(47), 4123\u20134147 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Wittbold, J.T., Johnson, D.M.: Information flow in nondeterministic systems. In: IEEE Symposium on Security and Privacy, p. 144 (1990)","DOI":"10.1109\/RISP.1990.63846"},{"key":"11_CR31","doi-asserted-by":"crossref","unstructured":"Zdancewic, S., Myers, A.C.: Observational determinism for concurrent program security. In: Proceedings of CSFW-16, pp. 29\u201343. IEEE Computer Society (2003)","DOI":"10.1109\/CSFW.2003.1212703"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46598-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T11:21:46Z","timestamp":1568373706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46598-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465975","9783319465982"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46598-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}