KASTEL-Werkzeug JOANA prominent in DFG-Schwerpunktprogramm RS3

  • Author:

    KASTEL

  • Date: 07.10.2014
  • Das im Rahmen von KASTEL entwickelte Software-Sicherheitsanalysewerkzeug JOANA wird, wie sich bei der kürzlich stattgefundenen Jahrestagung des DFG-Schwerpunktprogramms "Reliably Secure Software Systems" herausstellte, in 8 der 11 im Scherpunktprogrammm geförderten Forschungsprojekte eingesetzt. Damit hat sich JOANA als führendes Werkzeug zur Informationsflusskontrolle etabliert. JOANA analysiert Java-Programme auf illegale Informationsflüsse und kann Vertraulichkeit und Integrität eines Programms garantieren.