Logo des Repositoriums
 

Sicherheitsanalyse mit JOANA

Kurzanzeige
dc.contributor.authorGraf, Juergen
dc.contributor.authorHecker, Martin
dc.contributor.authorMohr, Martin
dc.contributor.authorSnelting, Gregor
dc.contributor.editorMeier, Michael
dc.contributor.editorReinhardt, Delphine
dc.contributor.editorWendzel, Steffen
dc.date.accessioned2017-06-21T07:43:28Z
dc.date.available2017-06-21T07:43:28Z
dc.date.issued2016
dc.description.abstractJOANA 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.2de
dc.identifier.isbn978-3-88579-650-3
dc.identifier.pissn1617-5468
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofSicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-256
dc.titleSicherheitsanalyse mit JOANAde
dc.typeText/Conference Paper
gi.citation.endPage21
gi.citation.publisherPlaceBonn
gi.citation.startPage11
gi.conference.date5.-7. April 2016
gi.conference.locationBonn

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
11.pdf
Größe:
299.85 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P256 - Sicherheit 2016 - Sicherheit, Schutz und Zuverlässigkeit