HOME | ENGLISH | IMPRESSUM | KIT

Konferenzartikel: Using JOANA for Information Flow Control in Java Programs - A Practical Guide

[tooljoana2013atps]Jürgen Graf, Martin Hecker, Martin Mohr, Using JOANA for Information Flow Control in Java Programs - A Practical Guide, Proceedings of the 6th Working Conference on Programming Languages (ATPS'13), pp. 123--138, Springer Berlin / Heidelberg, February 2013.

Zusammenfassung

We present the JOANA (Java Object-sensitive ANAlysis) framework for information flow control (IFC) of Java programs. JOANA can analyze a given Java program and guarantee the absence of security leaks, e.g. that a online banking application does not send sensitive information to third parties. It applies a wide range of program analysis techniques such as dependence graph computation, slicing and chopping of sequential as well as concurrent programs. We introduce the Java Web Start application IFC Console and show how it can be used to apply JOANA to arbitrary programs in order to specify and verify security properties.

Download

  [PDF]

BibTeX

Institutsinterne Autoren

Wissenschaftliche Mitarbeiter
Martin Hecker
Martin Mohr
Ehemalige Mitarbeiter
Dr.-Ing. Jürgen Graf

Projekte

Projekt
IFC for Mobile Components
VALSOFT/Joana