DocumentCode
153574
Title
Quantifying Information Flow for Dynamic Secrets
Author
Mardziel, Piotr ; Alvim, Mario S. ; Hicks, Michael ; Clarkson, Michael R.
Author_Institution
Univ. of MarylandMaryland, College Park, MD, USA
fYear
2014
fDate
18-21 May 2014
Firstpage
540
Lastpage
555
Abstract
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.
Keywords
cryptography; high level languages; interactive systems; probability; dynamic secrets; information flow; information leakage; interactive systems; probabilistic programming language; probabilistic systems; Adaptation models; Automata; Context; History; Measurement; Probabilistic logic; Security; dynamic secret; gain function; probabilistic programming; quantitative information flow; vulnerability;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy (SP), 2014 IEEE Symposium on
Conference_Location
San Jose, CA
ISSN
1081-6011
Type
conf
DOI
10.1109/SP.2014.41
Filename
6956586
Link To Document