Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten

Ort: Raum S2-02 /  A126
Datum und Zeit: Dienstag, 16. Juni 2009, 16:30-18:00 Uhr 

Steffen Lortz,  TU Darmstadt (Bachelorarbeit)

Typbasierte Informationsflussanalyse für JVM-Programme auf Mobilgeräten

Informationsflusssicherheit bedeutet, dass der Informationsfluss zwischen den für ein Programm zugänglichen Informationsressourcen gemäß einer Flusspolitik begrenzt ist. Präsentiert wird die praktische Umsetzung des formalen Modells einer typbasierten Informationsflussanalyse für Java Bytecode. Die Anwendbarkeit der daraus hervorgegangenen Implementierung wird anhand einiger Programmbeispiele veranschaulicht und während der Umsetzung aufgetretene Probleme sowie ihre möglichen Lösungen werden analysiert.