{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:13:39Z","timestamp":1763468019285},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642183805"},{"type":"electronic","value":"9783642183812"}],"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-18381-2_45","type":"book-chapter","created":{"date-parts":[[2011,1,4]],"date-time":"2011-01-04T16:01:51Z","timestamp":1294156911000},"page":"545-557","source":"Crossref","is-referenced-by-count":8,"title":["Information Leakage Analysis by Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Matteo","family":"Zanioli","sequence":"first","affiliation":[]},{"given":"Agostino","family":"Cortesi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1\u20132","key":"45_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","volume":"72","author":"R. Bagnara","year":"2008","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming\u00a072(1\u20132), 3\u201321 (2008)","journal-title":"Science of Computer Programming"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/3-540-44743-1_3","volume-title":"Parallel Computing Technologies","author":"C. Bodei","year":"2001","unstructured":"Bodei, C., Degano, P., Nielson, F., Riis Nielson, H.: Static analysis for secrecy and non-interference in networks of processes. In: Malyshkin, V.E. (ed.) PaCT 2001. LNCS, vol.\u00a02127, pp. 27\u201341. Springer, Heidelberg (2001)"},{"issue":"2-4","key":"45_CR3","doi-asserted-by":"publisher","first-page":"460","DOI":"10.1016\/j.ic.2007.12.001","volume":"206","author":"C. Braghin","year":"2008","unstructured":"Braghin, C., Cortesi, A., Focardi, R.: Information flow security in boundary ambients. Inf. Comput.\u00a0206(2-4), 460\u2013489 (2008)","journal-title":"Inf. Comput."},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-642-04444-1_4","volume-title":"Computer Security \u2013 ESORICS 2009","author":"M. Centenaro","year":"2009","unstructured":"Centenaro, M., Focardi, R., Luccio, F.L., Steel, G.: Type-based analysis of pin processing apis. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol.\u00a05789, pp. 53\u201368. Springer, Heidelberg (2009)"},{"issue":"2","key":"45_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0743-1066(95)00123-9","volume":"27","author":"A. Cortesi","year":"1996","unstructured":"Cortesi, A., File, G., Winsborough, W.: Optimal groundness analysis using propositional logic. The Journal of Logic Programming\u00a027(2), 137\u2013167 (1996)","journal-title":"The Journal of Logic Programming"},{"key":"45_CR6","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/567752.567778","volume-title":"Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1979","unstructured":"Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 269\u2013282. ACM Press, New York (1979)"},{"key":"45_CR7","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/512760.512770","volume-title":"Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Conference Record of the Fifth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 84\u201397. ACM Press, New York (1978)"},{"issue":"5","key":"45_CR8","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"D.E. Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"key":"45_CR9","first-page":"186","volume-title":"Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL 2004","author":"R. Giacobazzi","year":"2004","unstructured":"Giacobazzi, R., Mastroeni, I.: Abstract non-interference: parameterizing non-interference by abstract interpretation. In: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL 2004, pp. 186\u2013197. ACM, New York (2004)"},{"key":"45_CR10","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, vol.\u00a00, p. 11 (1982)","DOI":"10.1109\/SP.1982.10014"},{"issue":"3","key":"45_CR11","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0743-1066(94)00029-6","volume":"23","author":"P. Hentenryck Van","year":"1995","unstructured":"Van Hentenryck, P., Cortesi, A., Le Charlier, B.: Evaluation of the domain prop. The Journal of Logic Programming\u00a023(3), 237\u2013278 (1995)","journal-title":"The Journal of Logic Programming"},{"key":"45_CR12","unstructured":"Jeannet, B.: Convex Polyhedra Library, release 1.1.3c edn., Documentation of the \u201cNew Polka\u201d library (March 2002), \n                  \n                    http:\/\/www.irisa.fr\/prive\/Bertrand.Jeannet\/newpolka.html"},{"key":"45_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF00268497","volume":"6","author":"M. Karr","year":"1976","unstructured":"Karr, M.: Affine relationships among variables of a program. Acta Inf.\u00a06, 133\u2013151 (1976)","journal-title":"Acta Inf."},{"key":"45_CR14","series-title":"Advances in Information Security","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-0-387-44599-1_13","volume-title":"Malware Detection","author":"G. Smith","year":"2007","unstructured":"Smith, G.: Principles of secure information flow analysis. In: Christodorescu, M., Jha, S., Maughan, D., Song, D., Wang, C. (eds.) Malware Detection. Advances in Information Security, vol.\u00a027, pp. 291\u2013307. Springer, Heidelberg (2007)"},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"Tolstrup, T.K., Nielson, F., Nielson, H.R.: Information flow analysis for vhdl. In: PaCT, pp. 79\u201398 (2005)","DOI":"10.1007\/11535294_8"},{"issue":"2-3","key":"45_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Irvine, C., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur.\u00a04(2-3), 167\u2013187 (1996)","journal-title":"J. Comput. Secur."}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2011: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-18381-2_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T10:43:08Z","timestamp":1553337788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-18381-2_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642183805","9783642183812"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-18381-2_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}