{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:12:40Z","timestamp":1743070360722,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642197178"},{"type":"electronic","value":"9783642197185"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","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-19718-5_17","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T10:17:15Z","timestamp":1300097835000},"page":"317-337","source":"Crossref","is-referenced-by-count":3,"title":["Secure the Clones"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Jensen","sequence":"first","affiliation":[]},{"given":"Florent","family":"Kirchner","sequence":"additional","affiliation":[]},{"given":"David","family":"Pichardie","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"129","volume-title":"Proc. of PLDI 2003","author":"A. Aiken","year":"2003","unstructured":"Aiken, A., Foster, J.S., Kodumal, J., Terauchi, T.: Checking and inferring local non-aliasing. In: Proc. of PLDI 2003, pp. 129\u2013140. ACM Press, New York (2003)"},{"key":"17_CR2","first-page":"98","volume-title":"Proc. of PLDI 2009","author":"Z. Anderson","year":"2009","unstructured":"Anderson, Z., Gay, D., Naik, M.: Lightweight annotations for controlling sharing in concurrent data structures. In: Proc. of PLDI 2009, pp. 98\u2013109. ACM Press, New York (2009)"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1145\/320384.320387","volume-title":"Proc. of OOPSLA","author":"B. Blanchet","year":"1999","unstructured":"Blanchet, B.: Escape analysis for object-oriented languages: Application to Java. In: Proc. of OOPSLA, pp. 20\u201334. ACM Press, New York (1999)"},{"key":"17_CR4","unstructured":"Bloch, J.: JSR 175: A metadata facility for the Java programming language, September 30 (2004), \n                  \n                    http:\/\/jcp.org\/en\/jsr\/detail?id=175"},{"key":"17_CR5","unstructured":"CERT. The CERT Sun Microsystems Secure Coding Standard for Java (2010), \n                  \n                    https:\/\/www.securecoding.cert.org"},{"key":"17_CR6","first-page":"1","volume-title":"Proc. of OOPSLA","author":"J.D. Choi","year":"1999","unstructured":"Choi, J.D., Gupta, M., Serrano, M.J., Sreedhar, V.C., Midkiff, S.P.: Escape analysis for java. In: Proc. of OOPSLA, pp. 1\u201319. ACM Press, New York (1999)"},{"key":"17_CR7","first-page":"238","volume-title":"Proc. of POPL 1977","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Proc. of POPL 1977, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"17_CR8","first-page":"302","volume-title":"Proc. of OOPSLA 2003","author":"M. F\u00e4hndrich","year":"2003","unstructured":"F\u00e4hndrich, M., Leino, K.R.M.: Declaring and checking non-null types in an object-oriented language. In: Proc. of OOPSLA 2003, pp. 302\u2013312. ACM Press, New York (2003)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-68863-1_9","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"L. Hubert","year":"2008","unstructured":"Hubert, L., Jensen, T., Pichardie, D.: Semantic foundations and inference of non-null annotations. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 132\u2013149. Springer, Heidelberg (2008)"},{"key":"17_CR10","unstructured":"Jensen, T., Kirchner, F., Pichardie, D.: Secure the clones, Extended version (2010), \n                  \n                    http:\/\/www.irisa.fr\/celtique\/ext\/clones"},{"key":"17_CR11","first-page":"268","volume-title":"Proc. of POPL 2004","author":"P.W. O\u2019Hearn","year":"2004","unstructured":"O\u2019Hearn, P.W., Yang, H., Reynolds, J.C.: Separation and information hiding. In: Proc. of POPL 2004, pp. 268\u2013280. ACM Press, New York (2004)"},{"issue":"3","key":"17_CR12","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/514188.514190","volume":"24","author":"S. Sagiv","year":"2002","unstructured":"Sagiv, S., Reps, T.W., Wilhelm, R.: Parametric shape analysis via 3-valued logic. ACM Trans. Program. Lang. Syst.\u00a024(3), 217\u2013298 (2002)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"17_CR13","unstructured":"Sun Develper Network. Secure Coding Guidelines for the Java Programming Language, version 3.0 (2010), \n                  \n                    http:\/\/java.sun.com\/security\/seccodeguide.html"},{"issue":"2","key":"17_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.-P.: Region-based memory management. Information and Computation\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19718-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T01:25:23Z","timestamp":1578533123000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19718-5_17"}},"subtitle":["Static Enforcement of Policies for Secure Object Copying"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642197178","9783642197185"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19718-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}