Αποστολή με SMS: E-government και πρωτόκολλο ασφαλείας SSL. Μοντελοποίηση με χρήση της αλγεβρικής μεθόδου προδιαγραφών CafeOBJ