KIT | KIT-Bibliothek | Impressum | Datenschutz

Precise Quantitative Information Flow Analysis Using Symbolic Model Counting

Klebanov, Vladimir

Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2012
Sprache Englisch
Identifikator KITopen-ID: 1000069688
HGF-Programm 46.12.03 (POF II, LK 01)
Erschienen in QASA 2012 International Workshop on Quantitative Aspects in Security Assurance Affiliated workshop with ESORICS Pisa, Italy - September 14, 2012. Hrsg.: F. Martinelli
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)

Seitenaufrufe: 87
seit 28.04.2018
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page