Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY

Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο....

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Καλύβας, Χρήστος - Βασίλειος
Άλλοι συγγραφείς:	Καμπουράκης, Γεώργιος
Γλώσσα:	Greek
Δημοσίευση:	2015
Θέματα:	Μοντελοποίηση Alloy Alloy Analyzer Κρυπτογραφία Μέθοδοι κρυπτογράφησης Μερικές επιθέσεις Modeling Encryption Cryptographic modes Partial attacks Cryptography
Διαθέσιμο Online:	https://vsmart.lib.aegean.gr/webopac/List.csp?SearchT1=%CE%A5%CE%BB%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7+%CF%84%CF%81%CF%8C%CF%80%CF%89%CE%BD+%CE%BB%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CF%82+%CE%BA%CF%81%CF%85%CF%80%CF%84%CE%BF%CE%B3%CF%81%CE%B1%CF%86%CE%B9%CE%BA%CF%8E%CE%BD+%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD+%CF%83%CE%B5+ALLOY&Index1=Keywordsbib&Database=1&NumberToRetrieve=50&OpacLanguage=gre&SearchMethod=Find_1&SearchTerm1=%CE%A5%CE%BB%CE%BF%CF%80%CE%BF%CE%AF%CE%B7%CF%83%CE%B7+%CF%84%CF%81%CF%8C%CF%80%CF%89%CE%BD+%CE%BB%CE%B5%CE%B9%CF%84%CE%BF%CF%85%CF%81%CE%B3%CE%AF%CE%B1%CF%82+%CE%BA%CF%81%CF%85%CF%80%CF%84%CE%BF%CE%B3%CF%81%CE%B1%CF%86%CE%B9%CE%BA%CF%8E%CE%BD+%CE%B1%CE%BB%CE%B3%CE%BF%CF%81%CE%AF%CE%B8%CE%BC%CF%89%CE%BD+%CF%83%CE%B5+ALLOY&Profile=Default&PreviousList=Start&PageType=Start&EncodedRequest=O170B120E131EECBB0C5CDA1FB0*D1&WebPageNr=1&WebAction=NewSearch&StartValue=1&RowRepeat=0&MyChannelCount= http://hdl.handle.net/11610/12464
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Περιγραφή
Περίληψη:	Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο. Επιπλέον υλοποιούνται κάποια μοντέλα κρυπτογραφικών μεθόδων και περιγράφεται ο τρόπος και η λογική που ακολουθήθηκε για την κατασκευή τους. Παράλληλα γίνεται μια σύγκριση του χρόνου που απαιτήθηκε για την κατασκευή τους ώστε να απεικονιστεί η πολυπλοκότητα και η δυσκολία κατασκευής τους ανάλογα με την δομή τους. Επίσης μοντελοποιούνται δύο μερικές επιθέσεις που έχουν ανιχνευτεί σε δυο κρυπτογραφικές μεθόδους και δείχνουμε και με το συγκεκριμένο εργαλείο πως αυτές οι επιθέσεις είναι δυνατόν να ισχύσουν.Σκοπός αυτής της έρευνας είναι να δείξουμε πως η μοντελοποίηση μπορεί να συσχετιστεί με τον τομέα τις ασφάλειας και να εξαχθούν χρήσιμα αποτελέσματα και συμπεράσματα. Επιπλέων μέσω αυτής της εργασίας μπορεί να δοθεί έναυσμα για την περεταίρω έρευνα σχετικά με την μοντελοποίηση στον τομέα της ασφάλειας υπολογιστικών συστημάτων.

Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY

Παρόμοια τεκμήρια