Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

Precise Quantitative Information Flow Analysis Using Symbolic Model Counting

Begutachtete Veröffentlichung in Tagungsband
Autor(en):Vladimir Klebanov
In:International Workshop on Quantitative Aspects in Security Assurance (QASA 2012)
Jahr: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
}