KIT | KIT-Bibliothek | Impressum | Datenschutz

Precise Quantitative Information Flow Analysis – A Symbolic Approach

Klebanov, Vladimir


Originalveröffentlichung
DOI: 10.1016/j.tcs.2014.04.022
Scopus
Zitationen: 19
Web of Science
Zitationen: 12
Dimensions
Zitationen: 20
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2014
Sprache Englisch
Identifikator ISSN: 0304-3975, 1879-2294
KITopen-ID: 1000069689
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in Theoretical computer science
Verlag Elsevier
Band 538
Heft C
Seiten 124-139
Projektinformation KASTEL I (BMBF, EU 6. RP, 01BY1172 / 16BY1172)
Nachgewiesen in Web of Science
Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page