JACK — A Tool for Validation of Security and Behaviour of Java Applications | Publicación