KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1016/j.tcs.2014.04.022
Scopus
Zitationen: 14
Web of Science
Zitationen: 7

Precise Quantitative Information Flow Analysis – A Symbolic Approach

Klebanov, Vladimir



Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2014
Sprache Englisch
Identifikator ISSN: 0304-3975, 1879-2294
KITopen ID: 1000069689
HGF-Programm 46.12.03; LK 01
Erschienen in Theoretical computer science
Band 538
Heft C
Seiten 124-139
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page