{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T04:16:29Z","timestamp":1743653789593,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642294198"},{"type":"electronic","value":"9783642294204"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-29420-4_8","type":"book-chapter","created":{"date-parts":[[2012,6,25]],"date-time":"2012-06-25T13:12:33Z","timestamp":1340629953000},"page":"115-130","source":"Crossref","is-referenced-by-count":0,"title":["Verifiable Control Flow Policies for Java Bytecode"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"Fontaine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Hym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isabelle","family":"Simplot-Ryl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30569-9_1","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"D. Aspinall","year":"2005","unstructured":"Aspinall, D., Gilmore, S., Hofmann, M., Sannella, D., Stark, I.: Mobile Resource Guarantees for Smart Devices. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 1\u201326. Springer, Heidelberg (2005)"},{"issue":"5","key":"8_CR2","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/j.jlap.2009.02.013","volume":"78","author":"N. Bielova","year":"2009","unstructured":"Bielova, N., Dragoni, N., Massacci, F., Naliuka, K., Siahaan, I.: Matching in security-by-contract for mobile code. Journal of Logic and Algebraic Programming\u00a078(5), 340\u2013358 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-3-642-01465-9_19","volume-title":"Formal Aspects in Security and Trust","author":"N. Bielova","year":"2009","unstructured":"Bielova, N., Massacci, F.: Do You Really Mean What You Actually Enforced? In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol.\u00a05491, pp. 287\u2013301. Springer, Heidelberg (2009)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Colcombet, T., Fradet, P.: Enforcing trace properties by program transformation. In: POPL 2000, pp. 54\u201366 (2000)","DOI":"10.1145\/325694.325703"},{"key":"8_CR5","unstructured":"Enck, W., Gilbert, P., Chun, B.-G., Cox, L.P., Jung, J., McDaniel, P.D.: TaintDroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In: OSDI 2010. USENIX Association (2010)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fong, P.W.L.: Access control by tracking shallow execution history. In: IEEE S&P 2004, pp. 43\u201355 (2004)","DOI":"10.1109\/SECPRI.2004.1301314"},{"issue":"7","key":"8_CR7","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1016\/j.ic.2008.03.003","volume":"206","author":"D. Gurov","year":"2008","unstructured":"Gurov, D., Huisman, M., Sprenger, C.: Compositional verification of sequential programs with procedures. Information and Computation\u00a0206(7), 840\u2013868 (2008)","journal-title":"Information and Computation"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Jensen, T.P., Le M\u00e9tayer, D., Thorn, T.: Verification of control flow based security properties. In: IEEE S&P 1999, pp. 89\u2013103 (1999)","DOI":"10.1109\/SECPRI.1999.766902"},{"issue":"13","key":"8_CR9","doi-asserted-by":"publisher","first-page":"1133","DOI":"10.1002\/cpe.597","volume":"13","author":"G. Klein","year":"2001","unstructured":"Klein, G., Nipkow, T.: Verified lightweight bytecode verification. Concurrency and Computation: Practice and Experience\u00a013(13), 1133\u20131151 (2001)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/11555827_21","volume-title":"Computer Security \u2013 ESORICS 2005","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Enforcing Non-Safety Security Policies with Program Monitors. In: di Vimercati, S.de.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 355\u2013373. Springer, Heidelberg (2005)"},{"issue":"6A","key":"8_CR11","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/BF03180570","volume":"4","author":"M. Mizuno","year":"1992","unstructured":"Mizuno, M., Schmidt, D.A.: A security flow control algorithm and its denotational semantics correctness proof. Formal Aspects of Computing\u00a04(6A), 727\u2013754 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Myers, A.C.: JFlow: Practical mostly-static information flow control. In: POPL 1999, pp. 228\u2013241 (1999)","DOI":"10.1145\/292540.292561"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: POPL 1997, pp. 106\u2013119 (1997)","DOI":"10.1039\/fd106119"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Ongtang, M., McLaughlin, S.E., Enck, W., McDaniel, P.D.: Semantically rich application-centric security in Android. In: ACSAC 2009, pp. 340\u2013349 (2009)","DOI":"10.1109\/ACSAC.2009.39"},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/1057387.1057392","volume":"27","author":"F. Pottier","year":"2005","unstructured":"Pottier, F., Skalka, C., Smith, S.F.: A systematic approach to static access control. ACM TOPLAS\u00a027(2), 344\u2013382 (2005)","journal-title":"ACM TOPLAS"},{"issue":"1","key":"8_CR16","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 TISSEC\u00a03(1), 30\u201350 (2000)","journal-title":"ACM TISSEC"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Sekar, R., Venkatakrishnan, V.N., Basu, S., Bhatkar, S., DuVarney, D.C.: Model-carrying code: a practical approach for safe execution of untrusted applications. In: SOSP 2003, pp. 15\u201328 (2003)","DOI":"10.1145\/1165389.945448"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement for limited-memory systems. In: PST 2006, vol.\u00a0380, pp. 38:1\u201338:12 (2006)","DOI":"10.1145\/1501434.1501480"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Vanoverberghe, D., Piessens, F.: Supporting security monitor-aware development. In: SESS 2007, pp. 2\u20136 (2007)","DOI":"10.1109\/SESS.2007.8"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29420-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T14:58:39Z","timestamp":1743605919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29420-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642294198","9783642294204"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29420-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}