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

Abstract

Το e-government αποτελεί τη νέα υπηρεσία διακυβέρνησης για όλες τις ανεπτυγμένες και αναπτυσσόμενες χώρες.Απλοποιεί τις διαδικασίες διενέργειας συναλλαγών μεταξύ των πολιτών, των επιχειρήσεων και της κυβέρνησης. Για να προστατευθούν οι συναλλαγές μέσω διαδικτύου, αναπτύχθηκαν τα πρωτόκολλα ασφαλείας. Το πιο διαδεδομένο πρωτόκολλο ασφαλείας είναι το SSL. Στην παρούσα εργασία, χρησιμοποιείται η αλγεβρική γλώσσα προδιαγραφών CafeOBJ και η μέθοδος OTS με σκοπό τη μοντελοποιήση κάποιων συστημάτων. Πρώτη εφαρμογή γίνεται στο πρωτόκολλο χειραψίας του SSL και δεύτερη, στο πώς μπορεί να χρησιμοποιηθεί η μέθοδος CafeOBJ/OTS κατά το σχεδιασμό ενός γενικού μοντέλου e-government.

E-government is the new service of governance in all developed and developing countries. It simplifies the procedures of many of the transitions taking place between the citizens, the enterprises and the government. A large number of security protocols have been developed so as to protect and secure data and transactions exchanged through the internet. The most widely deployed amongst them is SSL. In this dissertation, we use the algebraic specification language CafeOBJ and especially the OTS method in order to formalize certain systems. Firstly, CafeOBJ/OTS is applied on the handshake protocol of SSL and the second application is how CAfeOBJ/OTS can be used in the designing of a general e-government model.