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

by Jürgen Graf, Martin Hecker, Martin Mohr
Venue:In Proceedings of the 6th Working Conference on Programming Languages (ATPS’13), Lecture Notes in Informatics (LNI) 215. Springer Berlin