Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
复制标题
信息流的信息理论、概率和可猜测性度量的代数基础
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
P. Malacaria
中科院分区：
文献类型：
--
作者：
P. Malacaria
已经研究了一些数学思想以进行定量信息流。信息理论，概率，猜测性是大多数建议的主要思想。他们的目标是量化泄漏的信息，猜测秘密的可能性以及分别猜测秘密需要多长时间。在本文中，我们展示了信息晶格如何为所有这些方法提供宝贵的基础；它不仅为这些想法提供了优雅的代数框架，而且还为他们的关系提供了研究。特别是，我们将使用此晶格来证明一些结果建立了不同定量方法之间的顺序关系对应关系。这些结果的含义W.R.T.还调查了社区的最新工作。尽管这项工作集中在信息晶格的基本重要性上，但最近已证明其实际相关性，尤其是对Linux内核漏洞的定量分析。总体而言，我们认为这些作品为建立信息晶格而成为定量信息流的主要参考结构之一。
Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. They aim to quantify how much information is leaked, how likely is to guess the secret and how long does it take to guess the secret respectively. In this paper, we show how the Lattice of Information provides a valuable foundation for all these approaches; not only it provides an elegant algebraic framework for the ideas, but also to investigate their relationship. In particular we will use this lattice to prove some results establishing order relation correspondences between the different quantitative approaches. The implications of these results w.r.t. recent work in the community is also investigated. While this work concentrates on the foundational importance of the Lattice of Information its practical relevance has been recently proven, notably with the quantitative analysis of Linux kernel vulnerabilities. Overall we believe these works set the case for establishing the Lattice of Information as one of the main reference structure for Quantitative Information Flow.
影响因子：
1.2
作者：
Clark, David;Hunt, Sebastian;Malacaria, Pasquale
通讯作者：
Malacaria, Pasquale
DOI：
10.1145/1920261.1920300
发表时间：
2010-12
期刊：
--
影响因子：
--
作者：
J. Heusser;P. Malacaria
通讯作者：
J. Heusser;P. Malacaria
DOI：
10.1007/978-3-642-28756-5_47
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Basler G
通讯作者：
Basler G