Peter Herrmann Lars Wiebusch Heiko Krumm Tool-Assisted Security Assessment of Distributed Applications. 289-294 2001 conf/dais/2001 DAIS db/conf/dais/dais2001.html#HerrmannWK01