KIT | KIT-Bibliothek | Impressum | Datenschutz

Information Flow Noninterference via Slicing

Wasserrab, Daniel

Abstract:
In this contribution, we show how correctness proofs for intra- and interprocedural slicing can be used to prove that slicing is able to guarantee information flow noninterference. Moreover, we also illustrate how to lift the control flow graphs of the respective frameworks such that they fulfil the additional assumptions needed in the noninterference proofs.
A detailed description of the intraprocedural proof and its interplay with the slicing framework can be found in the PLAS'09 paper by Wasserrab et al.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2010
Sprache Englisch
Identifikator ISSN: 2150-914X
KITopen-ID: 1000017589
Erschienen in The Archive of Formal Proofs
Heft 3
Seiten 44 S.
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page