A Tool: Quantitative Analyser for Programs
A Tool: Quantitative Analyser for Programs
复制标题
工具：程序定量分析器
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
D. Clark
中科院分区：
文献类型：
--
作者：
C. Mu;D. Clark
本文提出了一种分析核心命令式语言编写的程序的量化信息流（QIF）的工具。预期的应用是测量机密泄露。该工具可以根据用户在准确性和计算速度之间的权衡选择提供精确的泄漏或上限。近似是通过从初始存储分区派生的抽象创建的。我们概述了该工具的工作原理，并总结了在一系列具有具体或抽象初始存储的示例程序上运行该工具所获得的结果。
This paper presents a tool for analysing quantified information flow (QIF) for programs written in a core imperative language. The intended application is measuring leakage of secrets. The tool can provide either exact leakage or an upper bound depending on the trade off chosen by the user between exactitude and computation speed. Approximations are created via abstractions derived from partitions on the initial store. We outline the workings of the tool and summarise results derived from running the tool on a range of example programs with either concrete or abstract initial stores.