Αποστολή με SMS: Αλγεβρικές προδιαγραφές και σύνθεση πρωτοκόλλων ελέγχου ταυτότητας /