HEAL DSpace

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

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Στεφανέας, Πέτρος el
dc.contributor.author Παναγιάρη, Ειρήνη Ε. el
dc.contributor.author Panagiari, Eirini E. en
dc.date.accessioned 2011-06-10T05:50:54Z
dc.date.available 2011-06-10T05:50:54Z
dc.date.copyright 2011-06-03 -
dc.date.issued 2011-06-10
dc.date.submitted 2011-06-03 -
dc.identifier.uri https://dspace.lib.ntua.gr/xmlui/handle/123456789/4564
dc.identifier.uri http://dx.doi.org/10.26240/heal.ntua.8510
dc.description 76 σ. el
dc.description.abstract Το e-government αποτελεί τη νέα υπηρεσία διακυβέρνησης για όλες τις ανεπτυγμένες και αναπτυσσόμενες χώρες.Απλοποιεί τις διαδικασίες διενέργειας συναλλαγών μεταξύ των πολιτών, των επιχειρήσεων και της κυβέρνησης. Για να προστατευθούν οι συναλλαγές μέσω διαδικτύου, αναπτύχθηκαν τα πρωτόκολλα ασφαλείας. Το πιο διαδεδομένο πρωτόκολλο ασφαλείας είναι το SSL. Στην παρούσα εργασία, χρησιμοποιείται η αλγεβρική γλώσσα προδιαγραφών CafeOBJ και η μέθοδος OTS με σκοπό τη μοντελοποιήση κάποιων συστημάτων. Πρώτη εφαρμογή γίνεται στο πρωτόκολλο χειραψίας του SSL και δεύτερη, στο πώς μπορεί να χρησιμοποιηθεί η μέθοδος CafeOBJ/OTS κατά το σχεδιασμό ενός γενικού μοντέλου e-government. el
dc.description.abstract 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. en
dc.description.statementofresponsibility Ειρήνη Ε. Παναγιάρη el
dc.language.iso el en
dc.rights ETDFree-policy.xml en
dc.subject Αλγεβρικές γλώσσες προδιαγραφών el
dc.subject Μοντελοποίηση el
dc.subject Παρατηρήσιμα συστήματα μετάδοσης el
dc.subject Ηλεκτρονική διακυβέρνηση el
dc.subject Πρωτόκολλα ασφαλείας el
dc.subject CafeOBJ en
dc.subject OTS en
dc.subject SSL en
dc.subject e-government en
dc.subject Algebraic specification languages en
dc.subject Formalization en
dc.title E-government και πρωτόκολλο ασφαλείας SSL. Μοντελοποίηση με χρήση της αλγεβρικής μεθόδου προδιαγραφών CafeOBJ el
dc.type bachelorThesis el (en)
dc.date.accepted 2011-03-24 -
dc.date.modified 2011-06-03 -
dc.contributor.advisorcommitteemember Παπαϊωάννου, Αλέξανδρος el
dc.contributor.advisorcommitteemember Κολέτσος, Γεώργιος el
dc.contributor.committeemember Παπαϊωάννου, Αλέξανδρος el
dc.contributor.committeemember Κολέτσος, Γεώργιος el
dc.contributor.committeemember Στεφανέας, Πέτρος el
dc.contributor.department Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών & Φυσικών Επιστημών. Τομέας Μαθηματικών el
dc.date.recordmanipulation.recordcreated 2011-06-10 -
dc.date.recordmanipulation.recordmodified 2011-06-10 -


Files in this item

This item appears in the following Collection(s)

Show simple item record