Precise Quantitative Information Flow Analysis – A Symbolic Approach

Journal Article

Author(s):Vladimir Klebanov
Journal:Theoretical Computer Science
Volume:538
Year:2014
Number:0
Pages:124-139
DOI:10.1016/j.tcs.2014.04.022

BibTeX

@article{Klebanov14,
  author = {Vladimir Klebanov},
  title = {Precise Quantitative Information Flow Analysis -- A Symbolic Approach},
  year = {2014},
  month = apr,
  journal = {Theoretical Computer Science},
  volume = {538},
  number = {0},
  pages = {124-139},
  doi	= {10.1016/j.tcs.2014.04.022}
}