| _version_ |
1828460092456960000
|
| author |
Καλύβας, Χρήστος - Βασίλειος
|
| author2 |
Καμπουράκης, Γεώργιος
|
| author_facet |
Καμπουράκης, Γεώργιος
Καλύβας, Χρήστος - Βασίλειος
|
| author_sort |
Καλύβας, Χρήστος - Βασίλειος
|
| collection |
DSpace
|
| description |
Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης Alloy και το εργαλείο Alloy Analyzer.Στην εργασία γίνεται μια σύντομη περιγραφή των βασικών εννοιών και στοιχείων της γλώσσας, που απαιτούνται ώστε να είναι σε θέση κάποιος να κατασκευάσει μοντέλα συστημάτων με το παρόν εργαλείο. Επιπλέον υλοποιούνται κάποια μοντέλα κρυπτογραφικών μεθόδων και περιγράφεται ο τρόπος και η λογική που ακολουθήθηκε για την κατασκευή τους. Παράλληλα γίνεται μια σύγκριση του χρόνου που απαιτήθηκε για την κατασκευή τους ώστε να απεικονιστεί η πολυπλοκότητα και η δυσκολία κατασκευής τους ανάλογα με την δομή τους. Επίσης μοντελοποιούνται δύο μερικές επιθέσεις που έχουν ανιχνευτεί σε δυο κρυπτογραφικές μεθόδους και δείχνουμε και με το συγκεκριμένο εργαλείο πως αυτές οι επιθέσεις είναι δυνατόν να ισχύσουν.Σκοπός αυτής της έρευνας είναι να δείξουμε πως η μοντελοποίηση μπορεί να συσχετιστεί με τον τομέα τις ασφάλειας και να εξαχθούν χρήσιμα αποτελέσματα και συμπεράσματα. Επιπλέων μέσω αυτής της εργασίας μπορεί να δοθεί έναυσμα για την περεταίρω έρευνα σχετικά με την μοντελοποίηση στον τομέα της ασφάλειας υπολογιστικών συστημάτων.
|
| id |
oai:hellanicus.lib.aegean.gr:11610-12464
|
| institution |
Hellanicus
|
| language |
Greek
|
| publishDate |
2015
|
| record_format |
dspace
|
| spelling |
oai:hellanicus.lib.aegean.gr:11610-124642019-09-04T08:27:54Z Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY Καλύβας, Χρήστος - Βασίλειος Καμπουράκης, Γεώργιος Μοντελοποίηση Alloy Alloy Analyzer Κρυπτογραφία Μέθοδοι κρυπτογράφησης Μερικές επιθέσεις Modeling Encryption Cryptographic modes Partial attacks Cryptography Η παρούσα διπλωματική εργασία σχετίζεται με την γλώσσα μοντελοποίησης 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. 2015-11-18T10:39:37Z 2015-11-18T10:39:37Z 2012 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=O*17*0B*12*0E*13*1E*EC*BB*0C*5CD*A1*FB0*D1&WebPageNr=1&WebAction=NewSearch&StartValue=1&RowRepeat=0&MyChannelCount= http://hdl.handle.net/11610/12464 el Σάμος
|
| spellingShingle |
Μοντελοποίηση
Alloy
Alloy Analyzer
Κρυπτογραφία
Μέθοδοι κρυπτογράφησης
Μερικές επιθέσεις
Modeling
Encryption
Cryptographic modes
Partial attacks
Cryptography
Καλύβας, Χρήστος - Βασίλειος
Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
|
| title |
Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
|
| title_full |
Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
|
| title_fullStr |
Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
|
| title_full_unstemmed |
Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
|
| title_short |
Υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε ALLOY
|
| title_sort |
υλοποίηση τρόπων λειτουργίας κρυπτογραφικών αλγορίθμων σε alloy
|
| topic |
Μοντελοποίηση
Alloy
Alloy Analyzer
Κρυπτογραφία
Μέθοδοι κρυπτογράφησης
Μερικές επιθέσεις
Modeling
Encryption
Cryptographic modes
Partial attacks
Cryptography
|
| url |
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=O*17*0B*12*0E*13*1E*EC*BB*0C*5CD*A1*FB0*D1&WebPageNr=1&WebAction=NewSearch&StartValue=1&RowRepeat=0&MyChannelCount=
http://hdl.handle.net/11610/12464
|
| work_keys_str_mv |
AT kalybaschrēstosbasileios ylopoiēsētropōnleitourgiaskryptographikōnalgorithmōnsealloy
|