{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:02:44Z","timestamp":1648868564938},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,9,19]],"date-time":"2014-09-19T00:00:00Z","timestamp":1411084800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10009-014-0348-8","type":"journal-article","created":{"date-parts":[[2014,9,18]],"date-time":"2014-09-18T17:16:19Z","timestamp":1411060579000},"page":"291-303","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Policy ignorant caller-side inline reference monitoring"],"prefix":"10.1007","volume":"17","author":[{"given":"Dries","family":"Vanoverberghe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Piessens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,9,19]]},"reference":[{"key":"348_CR1","doi-asserted-by":"crossref","unstructured":"Agten, P., Van Acker, S., Brondsema, Y., Phung, P.H., Desmet, L., Piessens, F.: Jsand: complete client-side sandboxing of third-party javascript without browser modifications. In: ACSAC, pp. 1\u201310 (2012)","DOI":"10.1145\/2420950.2420952"},{"key":"348_CR2","doi-asserted-by":"crossref","unstructured":"Basin, D.A., Klaedtke, F., Zalinescu, E.: Algorithms for monitoring real-time properties. In: RV, pp. 260\u2013275 (2011)","DOI":"10.1007\/978-3-642-29860-8_20"},{"key":"348_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing security policies with polymer. In: PLDI \u201905, pp. 305\u2013314. ACM Press, New York (2005)","DOI":"10.1145\/1065010.1065047"},{"key":"348_CR4","doi-asserted-by":"crossref","unstructured":"Dam, M., Jacobs, B., Lundblad, A., Piessens, F.: Security monitor inlining for multithreaded java. In: ECOOP, pp. 546\u2013569 (2009)","DOI":"10.1007\/978-3-642-03013-0_25"},{"issue":"1","key":"348_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.3233\/JCS-2010-0365","volume":"18","author":"M Dam","year":"2010","unstructured":"Dam, M., Jacobs, B., Lundblad, A., Piessens, F.: Provably correct inline monitoring for multithreaded java-like programs. J. Comput. Secur. 18(1), 37\u201359 (2010)","journal-title":"J. Comput. Secur."},{"issue":"5","key":"348_CR6","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/j.entcs.2009.11.021","volume":"253","author":"L Desmet","year":"2009","unstructured":"Desmet, L., Joosen, W., Massacci, F., Naliuka, K., Philippaerts, P., Piessens, F., Vanoverberghe, D.: The s3ms.net run time monitor: tool demonstration. Electron. Notes Theor. Comput. Sci. 253(5), 153\u2013159 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"348_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.istr.2008.02.001","volume":"13","author":"Lieven Desmet","year":"2008","unstructured":"Desmet, Lieven, Joosen, Wouter, Massacci, Fabio, Philippaerts, Pieter, Piessens, Frank, Siahaan, Ida, Vanoverberghe, Dries: Security-by-contract on the.net platform. Inf. Secur. Tech. Rep. 13(1), 25\u201332 (2008)","journal-title":"Inf. Secur. Tech. Rep."},{"key":"348_CR8","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: SASI enforcement of security policies: a retrospective. In WNSP: New Security Paradigms Workshop. ACM Press, New York (2000)","DOI":"10.1145\/335169.335201"},{"key":"348_CR9","unstructured":"Erlingsson, U.: The inlined reference monitor approach to security policy enforcement. PhD thesis, Cornell University (2004). (Adviser-Fred B. Schneider)"},{"key":"348_CR10","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., 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":"348_CR11","unstructured":"European Computer Machinery Association. Standard ECMA-335: Common Language Infrastructure, 4th edn. ECMA international, Geneva, Switzerland (2006)"},{"key":"348_CR12","unstructured":"Evain, J.B.: Cecil. http:\/\/www.mono-project.com\/Cecil"},{"key":"348_CR13","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":"348_CR14","unstructured":"Fruja, N.G.: Type Safety of C# and.NET CLR. PhD thesis, ETH Zurich (2006)"},{"key":"348_CR15","doi-asserted-by":"crossref","unstructured":"Jeffrey, A.S.A., Rathke, J.: Java jr.: fully abstract trace semantics for a core Java language. In: Proceedings of the European Symposium on Programming. Lecture Notes in Computer Science, vol. 3444, pp. 423\u2013438. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31987-0_29"},{"key":"348_CR16","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Mehmet, A., Satoshi M. (eds.) Proceedings of the European Conference on Object-Oriented Programming, vol. 1241, pp. 220\u2013242. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053381"},{"issue":"1\u20132","key":"348_CR17","doi-asserted-by":"crossref","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. Secur. 4(1\u20132), 2\u201316 (2005)","journal-title":"Int. J. Inf. Secur."},{"key":"348_CR18","unstructured":"Lindholm, T., Yellin, F.: The Java(TM) Virtual Machine Specification, 2nd edn. Prentice Hall PTR, New Jersey (1999)"},{"key":"348_CR19","unstructured":"Provos, N.: Improving host security with system call policies. In: SSYM\u201903: Proceedings of the 12th Conference on USENIX Security Symposium, pp. 18\u201318. USENIX Association, Berkeley (2003)"},{"key":"348_CR20","unstructured":"S3MS. Security of software and services for mobile systems. http:\/\/www.s3ms.org\/ (2007)"},{"key":"348_CR21","doi-asserted-by":"crossref","unstructured":"Saltzer, J., Schroeder, M.: The protection of information in computer systems. Proc. IEEE 9(63), 1278\u20131308 (1975)","DOI":"10.1109\/PROC.1975.9939"},{"issue":"1","key":"348_CR22","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"FB Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"348_CR23","doi-asserted-by":"crossref","unstructured":"Vanoverberghe, D., Piessens, F.: A caller-side inline reference monitor for an object-oriented intermediate language. In: Proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS \u201908, pp. 240\u2013258. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68863-1_15"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0348-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0348-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0348-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T00:52:28Z","timestamp":1565830348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0348-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,19]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["348"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0348-8","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,19]]}}}