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

Jürgen Graf, Martin Hecker, Martin Mohr. Using JOANA for Information Flow Control in Java Programs - A Practical Guide. In Stefan Wagner, Horst Lichter, editors, Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. März 2013 in Aachen. Volume 215 of LNI, pages 123-138, GI, 2013.

Abstract

Abstract is missing.