{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T22:19:53Z","timestamp":1759961993448,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642030123"},{"type":"electronic","value":"9783642030130"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03013-0_25","type":"book-chapter","created":{"date-parts":[[2009,7,30]],"date-time":"2009-07-30T14:30:01Z","timestamp":1248964201000},"page":"546-569","source":"Crossref","is-referenced-by-count":16,"title":["Security Monitor Inlining for Multithreaded Java"],"prefix":"10.1007","author":[{"given":"Mads","family":"Dam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Jacobs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Lundblad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Evans, D., Twyman, A.: Flexible policy-directed code safety. In: IEEE Symposium on Security and Privacy, pp. 32\u201345 (1999)","DOI":"10.1109\/SECPRI.1999.766716"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/335169.335201","volume-title":"Proc. Workshop on New Security Paradigms (NSPW 1999)","author":"\u00da. Erlingsson","year":"2000","unstructured":"Erlingsson, \u00da., Schneider, F.B.: SASI enforcement of security policies: a retrospective. In: Proc. Workshop on New Security Paradigms (NSPW 1999), pp. 87\u201395. ACM Press, New York (2000)"},{"issue":"1","key":"25_CR3","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Trans. Information and System Security"},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1111596.1111601","volume":"28","author":"K.W. Hamlen","year":"2006","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst.\u00a028(1), 175\u2013205 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"25_CR5","unstructured":"Erlingsson, \u00da.: The inlined reference monitor approach to security policy enforcement. Ph.D thesis, Dept. of Computer Science, Cornell University (2004)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing security policies with polymer. In: PLDI, pp. 305\u2013314 (2005)","DOI":"10.1145\/1065010.1065047"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Certified in-lined reference monitoring on .NET. In: PLAS, pp. 7\u201316 (2006)","DOI":"10.1145\/1134744.1134748"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Schneider, F.B.: IRM enforcement of Java stack inspection. In: IEEE Symposium on Security and Privacy, pp. 246\u2013255 (2000)","DOI":"10.1109\/SECPRI.2000.848461"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-68237-0_19","volume-title":"FM 2008: Formal Methods","author":"I. Aktug","year":"2008","unstructured":"Aktug, I., Dam, M., Gurov, D.: Provably correct runtime monitoring. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 262\u2013277. Springer, Heidelberg (2008)"},{"key":"25_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-68863-1_15","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"D. Vanoverberghe","year":"2008","unstructured":"Vanoverberghe, D., Piessens, F.: A caller-side inline reference monitor for an object-oriented intermediate language. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 240\u2013258. Springer, Heidelberg (2008)"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"546","DOI":"10.1007\/978-3-540-31980-1_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Chen","year":"2005","unstructured":"Chen, F., Rosu, G.: Java-MOP: A monitoring oriented programming environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005, vol.\u00a03440, pp. 546\u2013550. Springer, Heidelberg (2005)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Hamlen, K.W., Jones, M.: Aspect-oriented in-lined reference monitors. In: PLAS, pp. 11\u201320 (2008)","DOI":"10.1145\/1375696.1375699"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Dam, M., Jacobs, B., Lundblad, A., Piessens, F.: Provably correct inline monitoring for multithreaded Java-like programs. Journal of Computer Security (2009)","DOI":"10.1007\/978-3-642-03013-0_25"},{"issue":"1-2","key":"25_CR14","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec.\u00a04(1-2), 2\u201316 (2005)","journal-title":"Int. J. Inf. Sec."},{"key":"25_CR15","unstructured":"Ligatti, J.A.: Policy Enforcement via Program Monitoring. Ph.D thesis, Princeton University (2006)"},{"key":"25_CR16","unstructured":"Viswanathan, M.: Foundations for the run-time analysis of software systems. Ph.D thesis, University of Pennsylvania (2000)"},{"key":"25_CR17","unstructured":"Verhanneman, T., Piessens, F., De Win, B., Joosen, W.: Uniform application-level access control enforcement of orginzationwide policies. In: Twenty-First Annual Computer Security Applications Conference, pp. 389\u2013398 (2005)"},{"key":"25_CR18","doi-asserted-by":"crossref","unstructured":"Dantas, D.S., Walker, D.: Harmless advice. In: POPL, pp. 383\u2013396 (2006)","DOI":"10.1145\/1111037.1111071"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Shah, V., Hill, F.: An aspect-oriented security framework. In: Proceedings of the DARPA Information Survivability Conference, pp. 143\u2013145 (2004)","DOI":"10.1109\/DISCEX.2003.1194952"},{"key":"25_CR20","volume-title":"Java Language Specification","author":"J. Gosling","year":"2005","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G.: Java Language Specification, 3rd edn. Prentice Hall, Englewood Cliffs (2005)","edition":"3"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Jeffrey, A., Rathke, J.: Java Jr: Fully abstract trace semantics for a core Java language. In: ESOP, pp. 423\u2013438 (2005)","DOI":"10.1007\/978-3-540-31987-0_29"},{"issue":"1-3","key":"25_CR22","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.tcs.2004.10.012","volume":"338","author":"A. Jeffrey","year":"2005","unstructured":"Jeffrey, A., Rathke, J.: A fully abstract may testing semantics for concurrent objects. Theor. Comput. Sci.\u00a0338(1-3), 17\u201363 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"25_CR23","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2007.10.013","volume":"197","author":"I. Aktug","year":"2008","unstructured":"Aktug, I., Naliuka, K.: ConSpec \u2013 a formal language for policy specification. Electron. Notes Theor. Comput. Sci.\u00a0197(1), 45\u201358 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"25_CR24","volume-title":"Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: Java Virtual Machine Specification. Addison-Wesley Longman Publishing Co., Inc., Boston (1999)"},{"key":"25_CR25","unstructured":"ObjectWeb: Asm - home page (February 2008)"},{"issue":"6","key":"25_CR26","doi-asserted-by":"publisher","first-page":"1196","DOI":"10.1145\/330643.330646","volume":"21","author":"S.N. Freund","year":"1999","unstructured":"Freund, S.N., Mitchell, J.C.: A type system for object initialization in the Java bytecode language. ACM Trans. Program. Lang. Syst.\u00a021(6), 1196\u20131250 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3-4","key":"25_CR27","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. Autom. Reasoning\u00a030(3-4), 235\u2013269 (2003)","journal-title":"J. Autom. Reasoning"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2009 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03013-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T15:35:42Z","timestamp":1739288142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03013-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642030123","9783642030130"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03013-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}