Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Precise Quantitative Information Flow Analysis Using Symbolic Model Counting

Reviewed Paper In Proceedings

Author(s):Vladimir Klebanov
In:International Workshop on Quantitative Aspects in Security Assurance (QASA 2012)
Year:2012

BibTeX

@inproceedings{Klebanov12a,
  author    = {Vladimir Klebanov},
  title     = {Precise Quantitative Information Flow Analysis Using Symbolic Model Counting},
  editor    = {Fabio Martinelli and Flemming Nielson},
  booktitle = {International Workshop on Quantitative Aspects in Security Assurance ({QASA} 2012)},
  year      = {2012},
  month     = sep
}