Theoretical analysis of gate level information flow tracking
Theoretical analysis of gate level information flow tracking
复制标题
门级信息流跟踪的理论分析
DOI：
10.1145/1837274.1837337
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
R. Kastner
中科院分区：
文献类型：
--
作者：
J. Oberg;Wei Hu;A. Irturk;Mohit Tiwari;T. Sherwood;R. Kastner
Understanding the flow of information is an important aspect in computer security. There has been a recent move towards tracking information in hardware and understanding the flow of individual bits through Boolean functions. Such gate level information flow tracking (GLIFT) provides a precise understanding of all flows of information. This paper presents a theoretical analysis of GLIFT. It formalizes the problem, provides fundamental definitions and properties, introduces precise symbolic representations of the GLIFT logic for basic Boolean functions, and gives analytic and quantitative analysis of the GLIFT logic.
