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