Αποστολή με SMS: Operational Semantics and Verification of Security Protocols