Towards Formal Validation of Trust and Security in the Internet of Services