TY - JOUR
T1 - Challenges and Opportunities for Practical and Effective Dynamic Information Flow Tracking
AU - Brant, Christopher
AU - Shrestha, Prakash
AU - Mixon-Baca, Benjamin
AU - Chen, Kejun
AU - Varlioglu, Said
AU - Elsayed, Nelly
AU - Jin, Yier
AU - Crandall, Jedidiah
AU - Oliveira, Daniela
N1 - Funding Information:
This material is based upon work supported by the National Science Foundation under Grants No. 1801599, 1801613, 1801593, and 2007741. This material is based upon work supported by (while serving at) the National Science Foundation.
Publisher Copyright:
© 2021 Association for Computing Machinery.
PY - 2021/11/23
Y1 - 2021/11/23
N2 - Information flow tracking was proposed more than 40 years ago to address the limitations of access control mechanisms to guarantee the confidentiality and integrity of information flowing within a system, but has not yet been widely applied in practice for security solutions. Here, we survey and systematize literature on dynamic information flow tracking (DIFT) to discover challenges and opportunities to make it practical and effective for security solutions. We focus on common knowledge in the literature and lingering research gaps from two dimensions - (i) the layer of abstraction where DIFT is implemented (software, software/hardware, or hardware) and (ii) the security goal (confidentiality and/or integrity). We observe that two major limitations hinder the practical application of DIFT for on-the-fly security applications: (i) high implementation overhead and (ii) incomplete information flow tracking (low accuracy). We posit, after review of the literature, that addressing these major impedances via hardware parallelism can potentially unleash DIFT's great potential for systems security, as it can allow security policies to be implemented in a built-in and standardized fashion. Furthermore, we provide recommendations for the next generation of practical and efficient DIFT systems with an eye towards hardware-supported implementations.
AB - Information flow tracking was proposed more than 40 years ago to address the limitations of access control mechanisms to guarantee the confidentiality and integrity of information flowing within a system, but has not yet been widely applied in practice for security solutions. Here, we survey and systematize literature on dynamic information flow tracking (DIFT) to discover challenges and opportunities to make it practical and effective for security solutions. We focus on common knowledge in the literature and lingering research gaps from two dimensions - (i) the layer of abstraction where DIFT is implemented (software, software/hardware, or hardware) and (ii) the security goal (confidentiality and/or integrity). We observe that two major limitations hinder the practical application of DIFT for on-the-fly security applications: (i) high implementation overhead and (ii) incomplete information flow tracking (low accuracy). We posit, after review of the literature, that addressing these major impedances via hardware parallelism can potentially unleash DIFT's great potential for systems security, as it can allow security policies to be implemented in a built-in and standardized fashion. Furthermore, we provide recommendations for the next generation of practical and efficient DIFT systems with an eye towards hardware-supported implementations.
KW - and integrity
KW - confidentiality
KW - Dynamic information flow tracking
KW - dynamic taint analysis
UR - http://www.scopus.com/inward/record.url?scp=85137840315&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85137840315&partnerID=8YFLogxK
U2 - 10.1145/3483790
DO - 10.1145/3483790
M3 - Article
AN - SCOPUS:85137840315
SN - 0360-0300
VL - 55
JO - ACM Computing Surveys
JF - ACM Computing Surveys
IS - 1
M1 - 17
ER -