Quantifying information flow for dynamic secrets
2014 IEEE Symposium on Security and Privacy, 2014•ieeexplore.ieee.org
A metric is proposed for quantifying leakage of information about secrets and about how
secrets change over time. The metric is used with a model of information flow for
probabilistic, interactive systems with adaptive adversaries. The model and metric are
implemented in a probabilistic programming language and used to analyze several
examples. The analysis demonstrates that adaptivity increases information flow.
secrets change over time. The metric is used with a model of information flow for
probabilistic, interactive systems with adaptive adversaries. The model and metric are
implemented in a probabilistic programming language and used to analyze several
examples. The analysis demonstrates that adaptivity increases information flow.
A metric is proposed for quantifying leakage of information about secrets and about how secrets change over time. The metric is used with a model of information flow for probabilistic, interactive systems with adaptive adversaries. The model and metric are implemented in a probabilistic programming language and used to analyze several examples. The analysis demonstrates that adaptivity increases information flow.
ieeexplore.ieee.org