Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο. Επιπλέον υλοποιούνται κάποια μοντέλα κρυπτογραφικών μεθόδων και περιγράφεται ο τρόπος και η λογική που ακολουθήθηκε για την κατασκευή τους. Παράλληλα γίνεται μια σύγκριση του χρόνου που απαιτήθηκε για την κατασκευή τους ώστε να απεικονιστεί η πολυπλοκότητα και η δυσκολία κατασκευής τους ανάλογα με την δομή τους. Επίσης μοντελοποιούνται δύο μερικές επιθέσεις που έχουν ανιχνευτεί σε δυο κρυπτογραφικές μεθόδους και δείχνουμε και με το συγκεκριμένο εργαλείο πως αυτές οι επιθέσεις είναι δυνατόν να ισχύσουν.Σκοπός αυτής της έρευνας είναι να δείξουμε πως η μοντελοποίηση μπορεί να συσχετιστεί με τον τομέα τις ασφάλειας και να εξαχθούν χρήσιμα αποτελέσματα και συμπεράσματα. Επιπλέων μέσω αυτής της εργασίας μπορεί να δοθεί έναυσμα για την περεταίρω έρευνα σχετικά με την μοντελοποίηση στον τομέα της ασφάλειας υπολογιστικών συστημάτων.
This thesis is related to the Alloy modeling language and the Alloy Analyzer tool.This study presents a brief description of the basic concepts and elements of the language that are needed in order to be able someone to construct a model of a system with this tool. Additionally are implemented some models of cryptographic methods and is described the logic that follows their construction. Furthermore, there is a comparison of the time taken to build them, in order to visualize the complexity and the difficulty of their construction depending on their structure. Also, have been modeled two attacks, that have been detected in two cryptographic methods and we show with the tool that these attacks can be applied.The purpose of this research is to show that modeling can be linked to the security field and draw some useful results and conclusions. Additionally this work can give rise to further research on modeling the security properties of computer systems.
Πανεπιστήμιο Αιγαίου. Σχολή Θετικών Επιστημών. Τμήμα Μηχανικών Πληροφοριακών και Επικοινωνιακών Συστημάτων. Τεχνολογίες και Διοίκηση Πληροφοριακών και Επικοινωνιακών Συστημάτων.
University of the Aegena
