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