SMS dit: Formal aspects of security and trust :