1

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures

Model-Checking Driven Security Testing of Web-Based Applications