KIT | KIT-Bibliothek | Impressum

Information flow analysis via path condition refinement

Taghdiri, M.; Snelting, G.; Sinz, C.



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 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, Berlin
Seiten 65-79
Serie Lecture Notes in Computer Science ; 6561
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page