KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-030-02450-5_17

Using theorem provers to increase the precision of dependence analysis for information flow control

Beckert, B.; Bischof, S.; Herda, M.; Kirsten, M.; Kleine Büning, M.



Zugehörige Institution(en) am KIT Institut für Prozessdatenverarbeitung und Elektronik (IPE)
Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-030-02449-9
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000088397
HGF-Programm 37.01.03 (POF III, LK 01)
Erschienen in 20th International Conference on Formal Engineering Methods, ICFEM 2018; Gold Coast; Australia; 12 November 2018 through 16 November 2018. Ed.: J. Sun
Verlag Springer, Cham
Seiten 284-300
Serie Lecture notes in computer science ; 11232
Projektinformation KASTEL_SVI (BMBF, 16KIS0521)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page