{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:12:18Z","timestamp":1743052338379,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642154966"},{"type":"electronic","value":"9783642154973"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15497-3_7","type":"book-chapter","created":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T14:51:46Z","timestamp":1283352706000},"page":"101-115","source":"Crossref","is-referenced-by-count":6,"title":["Enforcing Secure Object Initialization in Java"],"prefix":"10.1007","author":[{"given":"Laurent","family":"Hubert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Jensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Monfort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pichardie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Buckley, A.: JSR 202: JavaTM class file specification update (December 2006), http:\/\/jcp.org\/en\/jsr\/detail?id=202","key":"7_CR1"},{"unstructured":"The CERT Sun Microsystems secure coding standard for Java (February 2010), https:\/\/www.securecoding.cert.org\/confluence\/display\/java\/","key":"7_CR2"},{"doi-asserted-by":"crossref","unstructured":"Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection: A survey. ACM Computing Survey\u00a041(3) (2009)","key":"7_CR3","DOI":"10.1145\/1541880.1541882"},{"doi-asserted-by":"crossref","unstructured":"Dean, D., Felten, E.W., Wallach, D.S.: Java security: From HotJava to Netscape and beyond. IEEE Symposium on Security and Privacy, 190\u2013200 (1996)","key":"7_CR4","DOI":"10.1109\/SECPRI.1996.502681"},{"doi-asserted-by":"crossref","unstructured":"Demange, D., Jensen, T., Pichardie, D.: A provably correct stackless intermediate representation for java bytecode. Research Report RR-7021, INRIA (2009), http:\/\/hal.inria.fr\/inria-00414099\/en\/","key":"7_CR5","DOI":"10.1007\/978-3-642-17164-2_8"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/1297027.1297052","volume-title":"Proc. of OOPSLA 2007","author":"M. F\u00e4hndrich","year":"2007","unstructured":"F\u00e4hndrich, M., Xia, S.: Establishing object invariants with delayed types. In: Proc. of OOPSLA 2007, pp. 337\u2013350. ACM, New York (2007)"},{"issue":"3-4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1025011624925","volume":"30","author":"S.N. Freund","year":"2003","unstructured":"Freund, S.N., Mitchell, J.C.: A type system for the Java bytecode language and verifier. J. Autom. Reasoning\u00a030(3-4), 271\u2013321 (2003)","journal-title":"J. Autom. Reasoning"},{"key":"7_CR8","volume-title":"The JavaTM Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The JavaTM Language Specification, 3rd edn. Addison Wesley, Reading (2005)","edition":"3"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/1480881.1480890","volume-title":"POPL","author":"X. Qi","year":"2009","unstructured":"Qi, X., Myers, A.C.: Masked types for sound object initialization. In: POPL, pp. 53\u201365. ACM, New York (2009)"},{"unstructured":"Secunia advisory sa10056: Sun jre and sdk untrusted applet privilege escalation vulnerability. Web (October 2003), http:\/\/secunia.com\/advisories\/10056\/","key":"7_CR10"},{"unstructured":"Sun. Secure coding guidelines for the Java programming language, version 3.0. Technical report, Oracle (2010), http:\/\/java.sun.com\/security\/seccodeguide.html","key":"7_CR11"},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/1328438.1328463","volume-title":"Proc. of POPL","author":"C. Unkel","year":"2008","unstructured":"Unkel, C., Lam, M.S.: Automatic inference of stationary fields: a generalization of Java\u2019s final fields. In: Proc. of POPL, pp. 183\u2013195. ACM, New York (2008)"}],"container-title":["Lecture Notes in Computer Science","Computer Security \u2013 ESORICS 2010"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15497-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T10:52:48Z","timestamp":1740480768000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15497-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642154966","9783642154973"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15497-3_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}