Probabilistic Point-to-Point Information Leakage
Probabilistic Point-to-Point Information Leakage
复制标题
概率性点对点信息泄露
DOI：
10.1109/csf.2013.20
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Chothia T
中科院分区：
文献类型：
--
作者：
Chothia T
处理秘密数据的程序的输出可能会泄露有关这些秘密的值的信息。本文提出了一个信息泄漏模型，该模型可以测量概率规划中任意点之间的信息泄漏。我们的目标是创建一个信息泄漏模型，使其能够方便地测量特定的泄漏，并提供一个可用于调查程序信息安全性的工具。为了使我们的泄漏模型精确，我们的工作基于一种简单的概率、命令式语言，其中可以在程序中的任何点指定保密值；然后，程序中的其他点可能被标记为潜在的信息泄漏地点。我们扩展了我们的泄漏模型，以处理非终止程序(可能具有无限数量的秘密和可观测值)和用户输入。最后，我们展示了如何在真实的Java程序中使用统计近似技术来估计我们的泄漏度量。
The outputs of a program that processes secret data may reveal information about the values of these secrets. This paper develops an information leakage model that can measure the leakage between arbitrary points in a probabilistic program. Our aim is to create a model of information leakage that makes it convenient to measure specific leaks, and provide a tool that may be used to investigate a program's information security. To make our leakage model precise, we base our work on a simple probabilistic, imperative language in which secret values may be specified at any point in the program; other points in the program may then be marked as potential sites of information leakage. We extend our leakage model to address both non-terminating programs (with potentially infinite numbers of secret and observable values) and user input. Finally, we show how statistical approximation techniques can be used to estimate our leakage measure in real-world Java programs.
登录
查看更多内容
工具：程序定量分析器
DOI：
--
发表时间：
2011
期刊：
2011 Eighth International Conference on Quantitative Evaluation of SysTems
影响因子：
--
作者：
C. Mu;D. Clark
通讯作者：
D. Clark
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
编程方法论
DOI：
10.1007/3-540-07131-8
发表时间：
1974
期刊：
--
影响因子：
--
作者：
Annabelle McIver;Carroll Morgan
通讯作者：
Carroll Morgan
影响因子：
1.1
作者：
Fabrizio Biondi;Axel Legay;P. Malacaria;A. Wąsowski
通讯作者：
A. Wąsowski
逐步发布：统一解密、加密和密钥发布策略
DOI：
10.1109/sp.2007.22
发表时间：
2007
期刊：
2007 IEEE Symposium on Security and Privacy (SP '07)
影响因子：
--
作者：
Aslan Askarov;A. Sabelfeld
通讯作者：
A. Sabelfeld