Αποστολή με SMS: Foundations of Security, Protocols, and Equational Reasoning