Tool-Assisted Security Assessment of Distributed Applications.

Peter Herrmann, Lars Wiebusch, Heiko Krumm

Browse the full DAIS paper archive.