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