Αποστολή με SMS: Formal Aspects in Security and Trust