Evaluation of Jif and Joana as Information Flow Analyzers in a Model-Driven Approach.

Kuzman Katkalov, Peter Fischer, Kurt Stenzel, Nina Moebius, Wolfgang Reif

Browse the full ESORICS paper archive.