Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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
}