Sicherheitsanalyse mit JOANA

Zusammenfassung
JOANA ist ein System zur Software-Sicherheitsanalyse, das bis zu 100kLOC volles Ja- va 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.2
  • Vollständige Referenz
  • BibTeX
Graf, J., Hecker, M., Mohr, M. & Snelting, G., (2016). Sicherheitsanalyse mit JOANA. In: Meier, M., Reinhardt, D. & Wendzel, S. (Hrsg.), Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit. Bonn: Gesellschaft für Informatik e.V.. (S. 11-21).
@inproceedings{mci/Graf2016,
author = {Graf, Juergen AND Hecker, Martin AND Mohr, Martin AND Snelting, Gregor},
title = {Sicherheitsanalyse mit JOANA},
booktitle = {Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit},
year = {2016},
editor = {Meier, Michael AND Reinhardt, Delphine AND Wendzel, Steffen} ,
pages = { 11-21 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
11.pdf299.8Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-650-3
ISSN: 1617-5468
Datum: 2016
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige