WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications