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 – A Symbolic Approach

Zeitschriftenartikel
Autor(en):Vladimir Klebanov
Zeitschrift:Theoretical Computer Science
Nummer:0
Band:538
Jahr:2014
Seiten: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}
}