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