Konferenzartikel: Sicherheitsanalyse mit JOANA

[joana16gisicherheit]

Jürgen Graf, Martin Hecker, Martin Mohr, Gregor Snelting, Sicherheitsanalyse mit JOANA, Sicherheit 2016: Sicherheit, Schutz und Zuverl{\"A}ssigkeit, Beitr{\"A}ge der 8. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft f{\"U}r Informatik e.V. (GI), 5.-7. April 2016, Bonn, pp. 11--22, 2016.

Zusammenfassung

JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Java mit Threads analysieren kann. JOANA basiert auf modernen Verfahren zur Programmanalyse und erzeugt deshalb wenig Fehlalarme. JOANA enthält einen "iRLSOD" Algorithmus, der probabilistische Nichtinterferenz garantiert. JOANA ist Open Source, braucht wenige Annotationen und lässt sich leicht bedienen. Der Artikel gibt einen Überblick über JOANA, erklärt das neue iRLSOD Verfahren, und präsentiert eine Fallstudie.

Download

[PDF]

[DOI]

BibTeX

@inproceedings{joana16gisicherheit,
  title = {Sicherheitsanalyse mit JOANA},
  booktitle = {Sicherheit 2016: Sicherheit, Schutz und Zuverl{\"A}ssigkeit,
        Beitr{\"A}ge der 8. Jahrestagung des Fachbereichs Sicherheit
        der Gesellschaft f{\"U}r Informatik e.V. (GI), 5.-7. April
        2016, Bonn},
  year = {2016},
  pages = {11--22},
  author = {J{\"u}rgen Graf and Martin Hecker and Martin Mohr and Gregor Snelting},
  doi = {20.500.12116/869},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting

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

Projekte

Projekt

IFC for Mobile Components

VALSOFT/Joana