{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T02:22:20Z","timestamp":1743128540751,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319184661"},{"type":"electronic","value":"9783319184678"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-18467-8_25","type":"book-chapter","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T08:12:03Z","timestamp":1431072723000},"page":"371-385","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["SHRIFT System-Wide HybRid Information Flow Tracking"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Lovat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Fromm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Mohr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Pretschner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,9]]},"reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"25_CR2","doi-asserted-by":"crossref","unstructured":"Harvan, M., Pretschner, A.: State-based usage control enforcement with data flow tracking using system call interposition. In: Proc. Netw. and Sys. Sec. (2009)","DOI":"10.1109\/NSS.2009.51"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Kelbert, F., Pretschner, A.: Data usage control enforcement in distributed systems. In: Proc. 3rd ACM CODASPY (2013)","DOI":"10.1145\/2435349.2435358"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Lovat, E., Pretschner, A.: Data-centric multi-layer usage control enforcement: a social network example. In: Proc. 16th SACMAT (2011)","DOI":"10.1145\/1998441.1998467"},{"key":"25_CR5","unstructured":"Pretschner, A., et al.: Usage control enforcement with data flow tracking for X11. In: Proc. 5th Intl. Worksh. on Sec. and Trust Man. (2009)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Rasthofer, S., Arzt, S., Bodden, E.: A machine-learning approach for classifying and categorizing android sources and sinks. In: Proc. NDSS (2014)","DOI":"10.14722\/ndss.2014.23039"},{"key":"25_CR7","unstructured":"JOANA. \n                    http:\/\/joana.ipd.kit.edu"},{"key":"25_CR8","unstructured":"Graf, J., Hecker, M., Mohr, M.: Using JOANA for information flow control in java programs - a practical guide. In: Proc. 6th ATPS (2013)"},{"key":"25_CR9","doi-asserted-by":"crossref","unstructured":"Tripp, O., et al.: TAJ: effective taint analysis of web applications. In: Proc. PLDI 2009","DOI":"10.1145\/1542476.1542486"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. (1987)","DOI":"10.1145\/24039.24041"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Hammer, C., Snelting, G.: Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependence graphs. IJIS (2009)","DOI":"10.1007\/s10207-009-0086-1"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Reps, T., Horwitz, S., Sagiv, M., Rosay, G.: Speeding up slicing. In: FSE (1994)","DOI":"10.1145\/193173.195287"},{"key":"25_CR13","unstructured":"Wasserrab, D., Lohner, D.: Proving information flow noninterference by reusing a machine-checked correctness proof for slicing. In: 6th Int. Verif. Worksh. (2010)"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Goguen, J., Meseguer, J.: Security policies and security models. In: S & P 1982","DOI":"10.1109\/SP.1982.10014"},{"key":"25_CR15","unstructured":"Giffhorn, D.: Slicing of Concurrent Programs and its Application to Information Flow Control. Ph.D thesis, Karlsruher Institut f\u00fcr Technologie (2012)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications (2003)","DOI":"10.1109\/JSAC.2002.806121"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Giffhorn, D., et al.: A New Algorithm for Low-Deterministic Security. IJIS (2014)","DOI":"10.1007\/s10207-014-0257-6"},{"key":"25_CR18","unstructured":"Andersen, L.: Program Analysis and Specialization for the C Programming Language. Ph.D thesis, University of Copenhagen (1994)"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Grove, D., Chambers, C.: A Framework for Call Graph Construction Algorithms. ACM Trans. Program. Lang. Syst. (2001)","DOI":"10.1145\/506315.506316"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Shivers, O.: Control flow analysis in scheme. In: Proc. PLDI (1988)","DOI":"10.1145\/53990.54007"},{"key":"25_CR21","doi-asserted-by":"crossref","unstructured":"Milanova, A., Rountev, A., Ryder, B.G.: Parameterized Object Sensitivity for Points-to Analysis for Java. ACM Trans. Softw. Eng. Methodol. (2005)","DOI":"10.1145\/1044834.1044835"},{"key":"25_CR22","unstructured":"OW2-ASM instrumentation framework. \n                    http:\/\/asm.ow2.org\/"},{"key":"25_CR23","unstructured":"JavaFTP. \n                    http:\/\/sourceforge.net\/projects\/javaftp\/\n                    \n                   (last access: 16 June 2014)"},{"key":"25_CR24","doi-asserted-by":"crossref","unstructured":"Chandra, D., Franz, M.: Fine-grained information flow analysis and enforcement in a java virtual machine. In: ACSAC (2007)","DOI":"10.1109\/ACSAC.2007.37"},{"key":"25_CR25","doi-asserted-by":"crossref","unstructured":"Wuchner, T., Pretschner, A.: Data loss prevention based on data-driven usage control. In: IEEE Software Reliability Engineering (ISSRE) (2012)","DOI":"10.1109\/ISSRE.2012.10"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Kemerlis, V., et al.: Libdft: practical dynamic data flow tracking for commodity systems. In: Proc. 8th Conf. on Virtual Execution Environments (2012)","DOI":"10.1145\/2151024.2151042"},{"key":"25_CR27","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":"25_CR28","doi-asserted-by":"crossref","unstructured":"Bodden, E., et al.: Taming reflection: aiding static analysis in the presence of reflection and custom class loaders. In: 33rd Int. Conf. on Softw. Eng. (2011)","DOI":"10.1145\/1985793.1985827"},{"key":"25_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/978-3-540-89862-7_4","volume-title":"Information Systems Security","author":"D King","year":"2008","unstructured":"King, D., Hicks, B., Hicks, M.W., Jaeger, T.: Implicit flows: can\u2019t live with \u2018em, can\u2019t live without \u2018em. In: Sekar, R., Pujari, A.K. (eds.) ICISS 2008. LNCS, vol. 5352, pp. 56\u201370. Springer, Heidelberg (2008)"},{"key":"25_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"25_CR31","doi-asserted-by":"crossref","unstructured":"Denning, D.E.: A Lattice Model of Secure Information Flow. Comm. ACM (1976)","DOI":"10.1145\/360051.360056"},{"key":"25_CR32","doi-asserted-by":"crossref","unstructured":"Volpano, D., et al.: A Sound Type System for Secure Flow Analysis. JCS (1996)","DOI":"10.3233\/JCS-1996-42-304"},{"key":"25_CR33","doi-asserted-by":"crossref","unstructured":"Denning, D.E., Denning, P.J.: Certification of Programs for Secure Information Flow. Comm. ACM (1977)","DOI":"10.1145\/359636.359712"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Banatre, J., Bryce, C., Le M\u00e9tayer, D.: Compile-Time Detection of Information Flow in Sequential Programs (1994)","DOI":"10.1007\/3-540-58618-0_56"},{"key":"25_CR35","unstructured":"Enck, W., et al. TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: OSDI (2010)"},{"key":"25_CR36","doi-asserted-by":"crossref","unstructured":"Jee, K., et al.: ShadowReplica: efficient parallelization of dynamic data flow tracking. In: Proc. CCS (2013)","DOI":"10.1145\/2508859.2516704"},{"key":"25_CR37","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"},{"key":"25_CR38","doi-asserted-by":"crossref","unstructured":"Demsky, B.: Cross-application Data Provenance and Policy Enforcement. ACM Trans. Inf. Syst. Secur. (2011)","DOI":"10.1145\/1952982.1952988"},{"key":"25_CR39","doi-asserted-by":"crossref","unstructured":"Zhang, Q., et al.: Neon: system support for derived data management. In: SIGPLAN Not. (2010)","DOI":"10.1145\/1735997.1736008"},{"key":"25_CR40","doi-asserted-by":"crossref","unstructured":"Rocha, B.P.S., Conti, M., Etalle, S., Crispo, B.: Hybrid Static-Runtime Information Flow and Declassification Enforcement. IEEE Inf. For. and Sec. (2013)","DOI":"10.1109\/TIFS.2013.2267798"},{"key":"25_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-38030-3_7","volume-title":"Smart Grid Security","author":"A Fromm","year":"2013","unstructured":"Fromm, A., Kelbert, F., Pretschner, A.: Data protection in a cloud-enabled smart grid. In: Cuellar, J. (ed.) SmartGridSec 2012. LNCS, vol. 7823, pp. 96\u2013107. Springer, Heidelberg (2013)"},{"key":"25_CR42","doi-asserted-by":"crossref","unstructured":"Rasthofer, S., Arzt, S., Lovat, E., Bodden, E.: DroidForce: enforcing complex, data-centric. system-wide policies in android. In: Proc. ARES (2014)","DOI":"10.1109\/ARES.2014.13"}],"container-title":["IFIP Advances in Information and Communication Technology","ICT Systems Security and Privacy Protection"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-18467-8_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T20:36:39Z","timestamp":1559162199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-18467-8_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319184661","9783319184678"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-18467-8_25","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"9 May 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}