{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:53:00Z","timestamp":1742385180445},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134456"},{"type":"electronic","value":"9783642134463"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13446-3_4","type":"book-chapter","created":{"date-parts":[[2010,6,9]],"date-time":"2010-06-09T07:35:17Z","timestamp":1276068917000},"page":"48-62","source":"Crossref","is-referenced-by-count":2,"title":["Securing Class Initialization"],"prefix":"10.1007","author":[{"given":"Keiko","family":"Nakata","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Sabelfeld","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Amtoft, T., Bandhakavi, S., Banerjee, A.: A logic for information flow in object-oriented programs. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 91\u2013102 (2006)","key":"4_CR1","DOI":"10.1145\/1111037.1111046"},{"issue":"12","key":"4_CR2","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/966051.966055","volume":"38","author":"M. Avvenuti","year":"2003","unstructured":"Avvenuti, M., Bernardeschi, C., De Francesco, N.: Java bytecode verification for secure information flow. SIGPLAN Notices\u00a038(12), 20\u201327 (2003)","journal-title":"SIGPLAN Notices"},{"key":"4_CR3","volume-title":"Monographs in Computer Science","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, New York (1996)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-88313-5_22","volume-title":"Computer Security - ESORICS 2008","author":"A. Askarov","year":"2008","unstructured":"Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-insensitive noninterference leaks more than just a bit. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol.\u00a05283, pp. 333\u2013348. Springer, Heidelberg (2008)"},{"doi-asserted-by":"crossref","unstructured":"Askarov, A., Sabelfeld, A.: Catch me if you can: Permissive yet secure error handling. In: Proc. ACM Workshop on Programming Languages and Analysis for Security (PLAS) (June 2009)","key":"4_CR5","DOI":"10.1145\/1554339.1554346"},{"issue":"4","key":"4_CR6","doi-asserted-by":"crossref","first-page":"369","DOI":"10.3233\/JCS-2002-10404","volume":"10","author":"P. Bieber","year":"2002","unstructured":"Bieber, P., Cazin, J., Girard, P., Lanet, J.-L., Zanon, G.: Checking secure interactions of smart card applets: extended version. J. Computer Security\u00a010(4), 369\u2013398 (2002)","journal-title":"J. Computer Security"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1002\/spe.611","volume":"34","author":"C. Bernardeschi","year":"2005","unstructured":"Bernardeschi, C., De Francesco, N., Lettieri, G., Martini, L.: Checking secure information flow in java bytecode by code transformation and standard bytecode verification. Software: Practice and Experience\u00a034, 1225\u20131255 (2005)","journal-title":"Software: Practice and Experience"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1017\/S0956796804005453","volume":"15","author":"A. Banerjee","year":"2005","unstructured":"Banerjee, A., Naumann, D.A.: Stack-based access control and secure information flow. Journal of Functional Programming\u00a015(2), 131\u2013177 (2005)","journal-title":"Journal of Functional Programming"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-71316-6_10","volume-title":"Programming Languages and Systems","author":"G. Barthe","year":"2007","unstructured":"Barthe, G., Pichardie, D., Rezk, T.: A certified lightweight non-interference java bytecode verifier. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 125\u2013140. Springer, Heidelberg (2007)"},{"doi-asserted-by":"crossref","unstructured":"Barthe, G., Rezk, T.: Non-interference for a jvm-like language. In: Proc. Types in Language Design and Implementation, pp. 103\u2013112 (2005)","key":"4_CR10","DOI":"10.1145\/1040294.1040304"},{"doi-asserted-by":"crossref","unstructured":"Barthe, G., Rezk, T., Naumann, D.: Deriving an information flow checker and certifying compiler for java. In: Proc. IEEE Symp. on Security and Privacy, pp. 230\u2013242 (2006)","key":"4_CR11","DOI":"10.1109\/SP.2006.13"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/10705424_4","volume-title":"Functional and Logic Programming","author":"G. Barthe","year":"1999","unstructured":"Barthe, G., Serpette, B.: Partial evaluation and non-interference for object calculi. In: Middeldorp, A. (ed.) FLOPS 1999. LNCS, vol.\u00a01722, pp. 53\u201367. Springer, Heidelberg (1999)"},{"unstructured":"Crockford, D.: Making javascript safe for advertising. adsafe.org (2009)","key":"4_CR13"},{"issue":"7","key":"4_CR14","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"D.E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Comm. of the ACM\u00a020(7), 504\u2013513 (1977)","journal-title":"Comm. of the ACM"},{"issue":"5","key":"4_CR15","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. Comm. of the ACM\u00a019(5), 236\u2013243 (1976)","journal-title":"Comm. of the ACM"},{"unstructured":"Excalibur. Documentation and Software, \n                    \n                      http:\/\/excalibur.apache.org\/index.html","key":"4_CR16"},{"unstructured":"Facebook. FBJS (2009), \n                    \n                      http:\/\/wiki.developers.facebook.com\/index.php\/FBJS","key":"4_CR17"},{"key":"4_CR18","volume-title":"The JavaTM Language Specification","author":"J. Gosling","year":"1996","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: The JavaTM Language Specification. Addison-Wesley, Reading (1996)"},{"doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proc. IEEE Symp. on Security and Privacy, April 1982, pp. 11\u201320 (1982)","key":"4_CR19","DOI":"10.1109\/SP.1982.10014"},{"doi-asserted-by":"crossref","unstructured":"Hedin, D., Sands, D.: Noninterference in the presence of non-opaque pointers. In: Proc. IEEE Computer Security Foundations Workshop, pp. 255\u2013269 (2006)","key":"4_CR20","DOI":"10.1109\/CSFW.2006.19"},{"issue":"6","key":"4_CR21","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10207-009-0086-1","volume":"8","author":"C. Hammer","year":"2009","unstructured":"Hammer, C., Snelting, G.: Flow-sensitive, context-sensitive, and object-sensitive informationflow control based on program dependence graphs. International Journal of Information Security\u00a08(6), 399\u2013422 (2009); Supersedes ISSSE and ISoLA 2006","journal-title":"International Journal of Information Security"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/3-540-48340-3_26","volume-title":"Mathematical Foundations of Computer Science 1999","author":"D. Kozen","year":"1999","unstructured":"Kozen, D.: Language-based security. In: Kuty\u0142owski, M., Wierzbicki, T., Pacholski, L. (eds.) MFCS 1999. LNCS, vol.\u00a01672, pp. 284\u2013298. Springer, Heidelberg (1999)"},{"doi-asserted-by":"crossref","unstructured":"Liang, S., Bracha, G.: Dynamics class loading in the Java virtual machine. In: Proc. ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, pp. 36\u201344 (1998)","key":"4_CR23","DOI":"10.1145\/286936.286945"},{"issue":"3\u20134","key":"4_CR24","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1023\/A:1025055424017","volume":"30","author":"X. Leroy","year":"2003","unstructured":"Leroy, X.: Java bytecode verification: algorithms and formalizations. J. Automated Reasoning\u00a030(3\u20134), 235\u2013269 (2003)","journal-title":"J. Automated Reasoning"},{"key":"4_CR25","volume-title":"The JavaTM Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The JavaTM Virtual Machine Specification, 2nd edn. Addison-Wesley, Reading (1999)","edition":"2"},{"unstructured":"Miller, M., Samuel, M., Laurie, B., Awad, I., Stay, M.: Caja: Safe active content in sanitized javascript (2008)","key":"4_CR26"},{"doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical mostly-static information flow control. In: Proc. ACM Symp. on Principles of Programming Languages, January 1999, pp. 228\u2013241 (1999)","key":"4_CR27","DOI":"10.1145\/292540.292561"},{"unstructured":"Myers, A.C., Zheng, L., Zdancewic, S., Chong, S., Nystrom, N.: Jif: Java information flow. Software release (2001\u2013 2010), \n                    \n                      http:\/\/www.cs.cornell.edu\/jif","key":"4_CR28"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/11863908_18","volume-title":"Computer Security \u2013 ESORICS 2006","author":"D. Naumann","year":"2006","unstructured":"Naumann, D.: From coupling relations to mated invariants for checking information flow. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 279\u2013296. Springer, Heidelberg (2006)"},{"issue":"1","key":"4_CR30","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/596980.596983","volume":"25","author":"F. Pottier","year":"2003","unstructured":"Pottier, F., Simonet, V.: Information flow inference for ML. ACM TOPLAS\u00a025(1), 117\u2013158 (2003)","journal-title":"ACM TOPLAS"},{"unstructured":"Simonet, V.: The Flow Caml system. Software release (July 2003), \n                    \n                      http:\/\/cristal.inria.fr\/~simonet\/soft\/flowcaml","key":"4_CR31"},{"issue":"1","key":"4_CR32","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":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/3-540-44577-3_6","volume-title":"Informatics","author":"F.B. Schneider","year":"2001","unstructured":"Schneider, F.B., Morrisett, G., Harper, R.: A language-based approach to security. In: Wilhelm, R. (ed.) Informatics: 10 Years Back, 10 Years Ahead. LNCS, vol.\u00a02000, pp. 86\u2013101. Springer, Heidelberg (2001)"},{"unstructured":"Java 2 platform, standard edition 5.0, API specification, \n                    \n                      http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/api\/","key":"4_CR34"},{"unstructured":"Praxis High\u00a0Integrity Systems. Sparkada examinar. Software release (2010), \n                    \n                      http:\/\/www.praxis-his.com\/sparkada","key":"4_CR35"},{"issue":"3","key":"4_CR36","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D. Volpano","year":"1996","unstructured":"Volpano, D., Smith, G., Irvine, C.: A sound type system for secure flow analysis. J. Computer Security\u00a04(3), 167\u2013187 (1996)","journal-title":"J. Computer Security"},{"issue":"4","key":"4_CR37","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/363516.363520","volume":"9","author":"D.S. Wallach","year":"2000","unstructured":"Wallach, D.S., Appel, A.W., Felten, E.W.: The security architecture formerly known as stack inspection: A security mechanism for language-based systems. ACM Transactions on Software Engineering and Methodology\u00a09(4), 341\u2013378 (2000)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["IFIP Advances in Information and Communication Technology","Trust Management IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13446-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:04:05Z","timestamp":1619769845000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13446-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134456","9783642134463"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13446-3_4","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}