Αποστολή με SMS: Formal aspects in security and trust