Αποστολή με SMS: Verification of communication protocols in web services