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 the amount of information that adversaries learn.
[ .pdf ]
@techreport{mardziel14timeTR, author = {Piotr Mardziel and Mario Alvim and Michael Hicks and Michael Clarkson}, title = {Quantifying Information Flow for Dynamic Secrets (extended version)}, institution = {Department of Computer Science, the University of Maryland, College Park}, number = {CS-TR-5035}, month = may, year = 2014 }
This file was generated by bibtex2html 1.99.