Αποστολή με SMS: Foundations of Security Analysis and Design IV