{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T12:03:19Z","timestamp":1790942599485,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540227915","type":"print"},{"value":"9783540278641","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27864-1_9","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:35:37Z","timestamp":1284654937000},"page":"84-99","source":"Crossref","is-referenced-by-count":19,"title":["Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language"],"prefix":"10.1007","author":[{"given":"Qi","family":"Sun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anindya","family":"Banerjee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David A.","family":"Naumann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"5","key":"9_CR1","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1145\/324133.324266","volume":"46","author":"M. Abadi","year":"1999","unstructured":"Abadi, M.: Secrecy by typing in security protocols. Journal of the ACM\u00a046(5), 749\u2013786 (1999)","journal-title":"Journal of the ACM"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"O. Agesen","year":"1995","unstructured":"Agesen, O.: The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 2\u201326. Springer, Heidelberg (1995)"},{"key":"9_CR3","first-page":"253","volume-title":"IEEE Computer Security Foundations Workshop (CSFW)","author":"A. Banerjee","year":"2002","unstructured":"Banerjee, A., Naumann, D.A.: Secure information flow and pointer confinement in a Java-like language. In: IEEE Computer Security Foundations Workshop (CSFW), pp. 253\u2013270. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to the Java programming language. In: Chambers, C. (ed.) ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), Vancouver, BC, pp. 183\u2013200 (1998)","DOI":"10.1145\/286936.286957"},{"issue":"7","key":"9_CR5","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D. Denning","year":"1977","unstructured":"Denning, D., Denning, P.: Certification of programs for secure information flow. Communications of the ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Communications of the ACM"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Goguen, J., Meseguer, J.: Security policies and security models. In: Proceedings of the 1982 IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"issue":"2","key":"9_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"Henglein, F.: Type inference with polymorphic recursion. ACM Transactions on Programming Languages and Systems\u00a015(2), 253\u2013289 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"STACS 84","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A.: Polymorphic type schemes and recursive definitions. In: Fontet, M., Mehlhorn, K. (eds.) STACS 1984. LNCS, vol.\u00a0166, Springer, Heidelberg (1984)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical mostly-static information flow control. In: ACM Symposium on Principles of Programming Languages (POPL), pp. 228\u2013 241 (1999)","DOI":"10.1145\/292540.292561"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: Mostly-Static Decentralized Information Flow Control. PhD thesis, Laboratory of Computer Science, MIT (1999)","DOI":"10.1145\/292540.292561"},{"key":"9_CR11","volume-title":"ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA)","author":"J. Palsberg","year":"1991","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), ACM Press, New York (1991)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ML. In: ACM Symposium on Principles of Programming Languages (POPL), pp. 319\u2013 330 (2002)","DOI":"10.1145\/503272.503302"},{"key":"9_CR13","unstructured":"Rehof, J., Henglein, F.: The complexity of subtype entailment for simple types. In: Proceedings LICS 1997, Twelfth Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland (June 1997)"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE J. Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE J. Selected Areas in Communications"},{"key":"9_CR15","unstructured":"Simonet, V.: Flow Caml in a nutshell. In: Graham Hutton, editor, Proceedings of the first APPSEM-II workshop, March 2003, pp. 152\u2013165 (2003)"},{"key":"9_CR16","unstructured":"Simonet, V.: The Flow Caml System: documentation and user\u2019s manual. Technical Report 0282, Institut National de Recherche en Informatique et en Automatique (INRIA) (July 2003)"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Skalka, C., Pottier, F.: Syntactic type soundness for HM(X). In: Proceedings of the Workshop on Types in Programming (TIP 2002), July 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a075 (2002)","DOI":"10.1016\/S1571-0661(04)80779-5"},{"key":"9_CR18","unstructured":"Sun, Q., Banerjee, A., Naumann, D.A.: Constraint-based security flow inferencer for a Java-like language. Technical Report KSU CIS TR-2004-2, Kansas State University (2004) (in preparation)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BFb0030629","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"D. Volpano","year":"1997","unstructured":"Volpano, D., Smith, G.: A type-based approach to program security. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol.\u00a01214, pp. 607\u2013621. Springer, Heidelberg (1997)"},{"key":"9_CR20","unstructured":"Wand, M.: Complete type inference for simple objects. In: Proc. 2nd IEEE Symposium on Logic in Computer Science, pp. 37\u201344 (1987)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45337-7_6","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"T. Wang","year":"2001","unstructured":"Wang, T., Smith, S.: Precise constraint-based type inference for java. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, p. 99. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27864-1_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:24:44Z","timestamp":1605759884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27864-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540227915","9783540278641"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27864-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}