KIT | KIT-Bibliothek | Impressum | Datenschutz

Information flow analysis via path condition refinement

Taghdiri, M. 1; Snelting, G. 1; Sinz, C. 1
1 Karlsruher Institut für Technologie (KIT)


Scopus
Zitationen: 11
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2011
Sprache Englisch
Identifikator ISBN: 978-3-642-19750-5
ISSN: 0302-9743
KITopen-ID: 1000028416
Erschienen in Formal Aspects of Security and Trust 7th InternationalWorkshop, FAST 2010 Pisa, Italy, September 16-17, 2010. Ed.: P. Degano Revised Selected Papers
Verlag Springer-Verlag
Seiten 65-79
Serie Lecture Notes in Computer Science ; 6561
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page