E-government και πρωτόκολλο ασφαλείας SSL. Μοντελοποίηση με χρήση της αλγεβρικής μεθόδου προδιαγραφών CafeOBJ - Παναγιάρη, Ειρήνη Ε. (N/A, 1970)