Symbolic quantitative information flow
Symbolic quantitative information flow
复制标题
符号定量信息流
DOI：
10.1145/2382756.2382791
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Phan Q
中科院分区：
文献类型：
--
作者：
Phan Q
定量信息流 (QIF) 是一种量化软件系统中机密信息泄漏的强大方法。在这里，我们提出了一种精确量化信息泄漏的新方法。为了缓解状态空间爆炸问题，我们提出了数据的符号表示，以及基于 SMT 的通用框架来系统地探索状态空间。符号执行非常适合我们的框架，因此我们实现了一种采用符号执行的 QIF 分析方法。我们将我们的方法开发为原型工具，可以对用 Java 开发的软件系统执行 QIF 分析。该工具构建在开源模型检查平台 Java Pathfinder 之上，是该领域第一个支持信息论 QIF 分析的工具。
Quantitative Information Flow (QIF) is a powerful approach to quantify leaks of confidential information in a software system. Here we present a novel method that precisely quanties information leaks. In order to mitigate the state-space explosion problem, we propose a symbolic representation of data, and a general SMT-based framework to explore systematically the state space. Symbolic Execution fits well with our framework, so we implement a method of QIF analysis employing Symbolic Execution. We develop our method as a prototype tool that can perform QIF analysis for a software system developed in Java. The tool is built on top of Java Pathfinder, an open source model checking platform, and it is the first tool in the field to support information-theoretic QIF analysis.
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
使用两位模式计算信息泄漏的界限
DOI：
10.1145/2166956.2166957
发表时间：
2011
期刊：
Electron. Colloquium Comput. Complex.
影响因子：
--
作者：
Ziyuan Meng;Geoffrey Smith
通讯作者：
Geoffrey Smith
信息流的信息理论、概率和可猜测性度量的代数基础
DOI：
--
发表时间：
2011
期刊：
arXiv.org
影响因子：
--
作者：
P. Malacaria
通讯作者：
P. Malacaria