{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T00:40:08Z","timestamp":1748824808289,"version":"3.41.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319308050"},{"type":"electronic","value":"9783319308067"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-30806-7_3","type":"book-chapter","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T11:24:01Z","timestamp":1459164241000},"page":"38-55","source":"Crossref","is-referenced-by-count":1,"title":["Sound and Precise Cross-Layer Data Flow Tracking"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Lovat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mart\u00edn","family":"Ochoa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Pretschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"3_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/1667209.1667223","volume":"44","author":"TH Austin","year":"2009","unstructured":"Austin, T.H., Flanagan, C.: Efficient purely-dynamic information flow analysis. ACM Sigplan Not. 44(8), 20\u201331 (2009)","journal-title":"ACM Sigplan Not."},{"key":"3_CR2","unstructured":"Biswas, A.K.: Towards improving data driven usage control precision with intra-process data flow tracking. Master\u2019s thesis, Technische Universit\u00e4t M\u00fcnchen (2014)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Chin, E., Wagner, D.: Efficient character-level taint tracking for java. In Proceedings of the ACM Workshop on Secure Web Services, pp. 3\u201312 (2009)","DOI":"10.1145\/1655121.1655125"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Chow, J., Pfaff, B., Garfinkel, T., Christopher, K., Rosenblum, M.: Understanding data lifetime via whole system simulation. In: USENIX Security (2004)","DOI":"10.1145\/1133572.1133599"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Crandall, J.R., Chong, F.T.: Minos: control data attack prevention orthogonal to memory model. In: Proceedings MICRO37, pp. 221\u2013232. IEEE (2004)","DOI":"10.1109\/MICRO.2004.26"},{"key":"3_CR6","unstructured":"de Amorim, A.A., D\u00e9nes, M., Giannarakis, N., Hritcu, C., Pierce, B.C., Spector-Zabusky, A., Tolmach, A.: Micro-policies (2015)"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1952982.1952988","volume":"14","author":"B Demsky","year":"2011","unstructured":"Demsky, B.: Cross-application data provenance and policy enforcement. ACM Trans. Inf. Syst. Secur. 14(1), 1\u201322 (2011)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"3_CR8","unstructured":"Enck, W., Gilbert, P., Chun, B.-G., Cox, L.P., Jung, J., McDaniel, P., Sheth, A.N.: TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: USENIX OSDI (2010)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Harvan, M., Pretschner, A.: State-based usage control enforcement with data flow tracking using system call interposition. In: NSS (2009)","DOI":"10.1109\/NSS.2009.51"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Kim, H.C., Keromytis, A.D., Covington, M., Sahita, R.: Capturing information flow with concatenated dynamic taint analysis. In: ARES (2009)","DOI":"10.1109\/ARES.2009.56"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Krohn, M., Yip, A., Brodsky, M., Cliffer, N., Kaashoek, M.F., Kohler, E., Morris, R.: Information flow control for standard OS abstractions. In: SOSP (2007)","DOI":"10.1145\/1294261.1294293"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Kumari, P., Pretschner, A., Peschla, J., Kuhn, J.-M.: Distributed data usage control for web applications: A social network implementation. In: Proceedings of the First ACM Conference on Data and Application Security and Privacy, CODASPY 2011, pp. 85\u201396. ACM (2011)","DOI":"10.1145\/1943513.1943526"},{"key":"3_CR14","unstructured":"L\u00f6rscher, M.: Usage Control for a Mail Client. Master thesis, TU Kaiserslautern (2012)"},{"key":"3_CR15","unstructured":"Lovat, E.: Cross-layer Data-centric Usage Control. Ph.D. thesis, Technische Univesit\u00e4t M\u00fcnchen (2015)"},{"key":"3_CR16","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-319-18467-8_25","volume-title":"ICT Systems Security and Privacy Protection","author":"E Lovat","year":"2015","unstructured":"Lovat, E., Fromm, A., Mohr, M., Pretschner, A.: SHRIFT system-wide hybrid information flow tracking. In: Federrath, H., Gollmann, D., Chakravarthy, S.R. (eds.) SEC 2015. IFIP AICT, vol. 455, pp. 371\u2013385. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-18467-8_25"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Lovat, E., Ochoa, M., Pretschner, A.: Sound and precise cross-layer data flow tracking. Technical Report TUM-I1629, Technische Universit\u00e4t M\u00fcnchen, January 2016. https:\/\/mediatum.ub.tum.de\/node?id=1289467","DOI":"10.1007\/978-3-319-30806-7_3"},{"key":"3_CR18","unstructured":"Muniswamy-Reddy, K., Braun, U., Holland, D.A., Macko, P., Maclean, D., Margo, D., Seltzer, M., Smogor, R.: Layering in provenance systems. In: USENIX (2009)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-28879-1_9","volume-title":"Data Privacy Management and Autonomous Spontaneus Security","author":"A Pretschner","year":"2012","unstructured":"Pretschner, A., Lovat, E., B\u00fcchler, M.: Representation-independent data usage control. In: Garcia-Alfaro, J., Navarro-Arribas, G., Cuppens-Boulahia, N., de Capitani di Vimercati, S. (eds.) DPM 2011 and SETOP 2011. LNCS, vol. 7122, pp. 122\u2013140. Springer, Heidelberg (2012)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Rasthofer, S., Arzt, S., Lovat, E., Bodden, E.: Droidforce: Enforcing complex, data-centric, system-wide policies in android. In: ARES (2014)","DOI":"10.1109\/ARES.2014.13"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-642-00596-1_21","volume-title":"Foundations of Software Science and Computational Structures","author":"G Smith","year":"2009","unstructured":"Smith, G.: On the foundations of quantitative information flow. In: Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 288\u2013302. Springer, Heidelberg (2009)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Suh, G.E., Lee, J.W., Zhang, D., Devadas, S.: Secure program execution via dynamic information flow tracking. In: ACM SIGARCH (2004)","DOI":"10.1145\/1024393.1024404"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/3-540-48294-6_20","volume-title":"Static Analysis","author":"D Volpano","year":"1999","unstructured":"Volpano, D.: Safety versus secrecy. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol. 1694, p. 303. Springer, Heidelberg (1999)"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BFb0030629","volume-title":"TAPSOFT\u201997: Theory and Practice of Software Development","author":"D Volpano","year":"1997","unstructured":"Volpano, D., Smith, G.: A type-based approach to program security. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 607\u2013621. Springer, Heidelberg (1997)"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"W\u00fcchner, T., Pretschner, A.: Data loss prevention based on data-driven usage control. In: 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 151-160, November 2012","DOI":"10.1109\/ISSRE.2012.10"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Yin, H., Song, D., Egele, M., Kruegel, C., Kirda, E.: Panorama: Capturing system-wide information flow for malware detection and analysis. In: CCS (2007)","DOI":"10.1145\/1315245.1315261"},{"issue":"7","key":"3_CR27","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/2365864.2151035","volume":"45","author":"Q Zhang","year":"2010","unstructured":"Zhang, Q., McCullough, J., Ma, J., Schear, N., Vrable, M., Vahdat, A., Snoeren, A.C., Voelker, G.M., Savage, S.: Neon: System support for derived data management. SIGPLAN Not. 45(7), 63\u201374 (2010)","journal-title":"SIGPLAN Not."},{"key":"3_CR28","unstructured":"Zhu, Y., Jung, J., Song, D., Kohno, T., Wetherall, D.: Privacy scope: A precise information flow tracking system for finding application leaks. Technical Report UCB\/EECS-2009-145, EECS Department, University of California, Berkeley, October 2009"}],"container-title":["Lecture Notes in Computer Science","Engineering Secure Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30806-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T00:20:14Z","timestamp":1748823614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30806-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319308050","9783319308067"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30806-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}