SMS dit: Formal aspects in security and trust