{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,4]],"date-time":"2025-04-04T04:24:29Z","timestamp":1743740669552,"version":"3.40.3"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s00354-012-0207-7","type":"journal-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:49:59Z","timestamp":1341942599000},"page":"241-270","source":"Crossref","is-referenced-by-count":0,"title":["Class-level Non-Interference"],"prefix":"10.1007","volume":"30","author":[{"given":"Damiano","family":"Zanardini","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,11]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Abadi, M., Banerjee, A., Heintze, N. and Riecke, J., \u201cA core calculus of dependency,\u201d in Proc. ACM Symp. on Principles of Programming Languages, pp. 147\u2013160, ACM Press, San Antonio, Texas, USA, January 1999.","key":"207_CR1","DOI":"10.1145\/292540.292555"},{"doi-asserted-by":"crossref","unstructured":"Amtoft, T., Bandhakavi, S. and Banerjee, A., \u201cA logic for information ow in objectoriented programs,\u201d in Proc. ACM Symp. on Principles of Programming Languages (Jones, S. ed.), ACM Press, Charleston, South Carolina, USA, January 2006.","key":"207_CR2","DOI":"10.1145\/1111037.1111046"},{"doi-asserted-by":"crossref","unstructured":"Banerjee, A. and Naumann, D., \u201cStack-based access control and secure information ow,\u201d Journal of Functional Programming, 2, 15, pp. 131\u2013177, March 2005.","key":"207_CR3","DOI":"10.1017\/S0956796804005453"},{"unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3opez, P. and Puebla, G., \u201cThe Ciao System,\u201d Reference Manual (v1.13). Technical report, School of Computer Science (UPM), 2006. Available at http:\/\/www.ciaohome.org .","key":"207_CR4"},{"doi-asserted-by":"crossref","unstructured":"Cartwright, I. and Felleisen, M., \u201cThe semantics of program dependence,\u201d in Proc. SIGPLAN Conf. on Programming Language Design and Implementation, pp. 13\u201327, ACM Press, Portland, Oregon, USA, 1989.","key":"207_CR5","DOI":"10.1145\/73141.74820"},{"doi-asserted-by":"crossref","unstructured":"Chong, S. and Myers, A., \u201cEnd-to-end enforcement of erasure and declassification,\u201d in Proc. IEEE Computer Security Foundations Symposium, Pittsburgh, Pennsylvania, USA, June 2008.","key":"207_CR6","DOI":"10.1109\/CSF.2008.12"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P., \u201cTypes as abstract interpretations,\u201d invited paper, in Proc. ACM Symp. on Principles of Programming Languages, pp. 316\u2013331, ACM Press, Paris, France, January 1997.","key":"207_CR7","DOI":"10.1145\/263699.263744"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R., \u201cAbstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints,\u201d in Proc. ACM Symp. on Principles of Programming Languages, pp. 238\u2013252, ACM Press, Los Angeles, California, USA, 1977.","key":"207_CR8","DOI":"10.1145\/512950.512973"},{"doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R., \u201cSystematic design of program analysis frameworks,\u201d in Proc. ACM Symp. on Principles of Programming Languages, pp. 269\u2013282, ACM Press, San Antonio, Texas, USA, 1979.","key":"207_CR9","DOI":"10.1145\/567752.567778"},{"doi-asserted-by":"crossref","unstructured":"Giacobazzi, R. and Mastroeni, I., \u201cAbstract non-interference: Parameterizing non-interference by abstract interpretation,\u201d in Proc. ACM Symp. on Principles of Programming Languages (Jones, N. and Leroy, X., eds.), pp. 186\u2013197, ACM Press, Venice, Italy, January 2004.","key":"207_CR10","DOI":"10.1145\/982962.964017"},{"doi-asserted-by":"crossref","unstructured":"Giacobazzi, R. and Mastroeni, I., \u201cProving abstract non-interference,\u201d in Proc. Conf. on Computer Science Logic, LNCS 3210, pp. 280\u2013294, Springer-Verlag, Karpacz, Poland, 2004.","key":"207_CR11","DOI":"10.1007\/978-3-540-30124-0_23"},{"doi-asserted-by":"crossref","unstructured":"Giacobazzi, R., Ranzato, F. and Scozzari, F., \u201cMaking abstract interpretations complete,\u201d Journal of the Association for Computing Machinery, 47, 2, pp. 361\u2013416, 2000.","key":"207_CR12","DOI":"10.1145\/333979.333989"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J. and Meseguer, J., \u201cSecurity policies and security models,\u201d in Proc. IEEE Symp. on Security and Privacy, pp. 11\u201320, IEEE Computer Society Press, 1982.","key":"207_CR13","DOI":"10.1109\/SP.1982.10014"},{"doi-asserted-by":"crossref","unstructured":"Mastroeni, I. and Zanardini, D., \u201cData Dependencies and Program Slicing: from Syntax to Abstract Semantics,\u201d in Proc. Workshop on Partial Evaluation and Program Manipulation, pp. 125\u2013134, ACM Press, San Francisco, California, USA, January 2008.","key":"207_CR14","DOI":"10.1145\/1328408.1328428"},{"doi-asserted-by":"crossref","unstructured":"Myers, A., \u201cJFlow: practical mostly-static information flow control,\u201d in Proc. ACM Symp. on Principles of Programming Languages, pp. 228\u2013241, ACM Press, San Antonio, Texas, USA, January 1999.","key":"207_CR15","DOI":"10.1145\/292540.292561"},{"doi-asserted-by":"crossref","unstructured":"Necula, G., \u201cProof-Carrying Code,\u201d in Proc. ACM Symp. on Principles of Programming Languages, ACM Press, Paris, France, January 1997.","key":"207_CR16","DOI":"10.1145\/263699.263712"},{"doi-asserted-by":"crossref","unstructured":"Palsberg, J. and Schwartzbach, M., \u201cObject-oriented type inference,\u201d in Proc. Conf. on Object-Oriented Programming Languages, Systems, and Applications (Paepcke, A. ed.), ACM SIGPLAN Notices, 26, pp. 146\u2013161, ACM Press, Phoenix, Arizona, USA, November 1991.","key":"207_CR17","DOI":"10.1145\/117954.117965"},{"doi-asserted-by":"crossref","unstructured":"Reddy, U. S., \u201cObjects as closures: Abstract semantics of object-oriented languages,\u201d in Proc. ACM Conference on Lisp and Functional Programming, pp. 289\u2013297, ACM Press, 1988.","key":"207_CR18","DOI":"10.1145\/62678.62721"},{"doi-asserted-by":"crossref","unstructured":"Rival, X., \u201cAbstract dependences for alarm diagnosis,\u201d in Proc. Asian Symp. on Programming Languages and Systems (Yi, K. ed.), LNCS 3780, pp. 347\u2013363, Springer-Verlag, Tsukuba, Japan, November 2005.","key":"207_CR19","DOI":"10.1007\/11575467_23"},{"doi-asserted-by":"crossref","unstructured":"Sabelfeld, A. and Myers, A., \u201cLanguage-based information-flow security,\u201d IEEE Journal on Selected Areas in Communications, 21, 1, pp. 5\u201319, January 2003.","key":"207_CR20","DOI":"10.1109\/JSAC.2002.806121"},{"doi-asserted-by":"crossref","unstructured":"Secci, S. and Spoto, F., \u201cPair-Sharing Analysis of Object-Oriented Programs,\u201d in Proc. Symp. on Static Analysis (Hankin, C. ed.), LNCS 3672, pp. 320\u2013335, Springer-Verlag, London, UK, August 2005.","key":"207_CR21","DOI":"10.1007\/11547662_22"},{"doi-asserted-by":"crossref","unstructured":"Spoto, F. and Jensen, T., \u201cClass Analyses as Abstract Interpretations of Trace Semantics,\u201d ACM Transactions on Programming Languages and Systems, 25, 5, pp. 578\u2013630, September 2003.","key":"207_CR22","DOI":"10.1145\/937563.937565"},{"doi-asserted-by":"crossref","unstructured":"Zanardini, D., \u201cHigher-Order Abstract Non-Interference,\u201d in Proc. Int. Conf. on Typed Lambda Calculi and Applications (Urzyczyn, P. ed.), LNCS 3461, Springer-Verlag, Nara, Japan, April 2005.","key":"207_CR23","DOI":"10.1007\/11417170_30"},{"doi-asserted-by":"crossref","unstructured":"Zanardini, D., \u201cAbstract Non-Interference in a fragment of Java bytecode,\u201d in Proc. ACM Symp. on Applied Computing, Dijon, France, April 2006.","key":"207_CR24","DOI":"10.1145\/1141277.1141706"},{"doi-asserted-by":"crossref","unstructured":"Zanardini, D., \u201cAnalyzing Non-Interference with respect to Classes,\u201d in Proc. Italian Conf. on Theoretical Computer Science, World Scientific, Roma, Italy, October 2007.","key":"207_CR25","DOI":"10.1142\/9789812770998_0009"},{"doi-asserted-by":"crossref","unstructured":"Zanardini, D., \u201cThe Semantics of Abstract Program Slicing,\u201d in Proc. Int. Work- shop on Source Code Analysis and Manipulation, IEEE Computer Society Press, Beijing, China, September 2008.","key":"207_CR26","DOI":"10.1109\/SCAM.2008.19"},{"doi-asserted-by":"crossref","unstructured":"Zdancewic, S. and Myers, A., \u201cRobust declassification,\u201d in Proc. IEEE Com- puter Security Foundations Workshop, pp. 15\u201323, Cape Breton, Nova Scotia, Canada, June 2001.","key":"207_CR27","DOI":"10.1109\/CSFW.2001.930133"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-012-0207-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-012-0207-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-012-0207-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T20:15:50Z","timestamp":1743711350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-012-0207-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":27,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["207"],"URL":"https:\/\/doi.org\/10.1007\/s00354-012-0207-7","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}