Ιδρυματικό Αποθετήριο [SANDBOX]
Πολυτεχνείο Κρήτης
EN  |  EL

Αναζήτηση

Πλοήγηση

Ο Χώρος μου

Εφαρμόζοντας αδρομερή διαμεσολάβηση βιβλιοθηκών για βελτίωση ασφάλειας

Ntousakis Grigorios

Πλήρης Εγγραφή


URI: http://purl.tuc.gr/dl/dias/812B8D20-2A69-462A-85AA-3BEA4F5671E5
Έτος 2024
Τύπος Μεταπτυχιακή Διατριβή
Άδεια Χρήσης
Λεπτομέρειες
Βιβλιογραφική Αναφορά Γρηγόριος Ντουσάκης, "Εφαρμόζοντας αδρομερή διαμεσολάβηση βιβλιοθηκών για βελτίωση ασφάλειας", Μεταπτυχιακή Διατριβή, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών, Πολυτεχνείο Κρήτης, Χανιά, Ελλάς, 2024 https://doi.org/10.26233/heallink.tuc.99671
Εμφανίζεται στις Συλλογές

Περίληψη

Στο σύνθετο τοπίο του σημερινού λογισμικού, οι προγραμματιστές αντιμετωπίζουν την πρόκληση της δημιουργίας περίπλοκων συστημάτων που ανταποκρίνονται στις αυξανόμενες απαιτήσεις των χρηστών και των επιχειρήσεων. Μια κοινή προσέγγιση στην ανάλυση, ανίχνευση και επίλυση προβλημάτων ασφαλείας σε αυτά τα συστήματα είναι η χρήση της δυναμικής διαμεσολάβησης. Η δυναμική διαμεσολάβηση περιλαμβάνει την προσθήκη νέας λειτουργικότητας μεταξύ υπαρχουσών διεπαφών λογισμικού για να επεκτείνει το σύστημα διατηρώντας την παλιά λειτουργικότητα. Μία αποτελεσματική τεχνική δυναμικής επανατοποθέτησης είναι η αδρομερής ανάλυση, η οποία λειτουργεί στο επίπεδο των μονάδων ή των βιβλιοθηκών σε σύγχρονες δυναμικές γλώσσες όπως το JavaScript και το Racket. Η αδρομερής ανάλυση ωφελείται από τη δυνατότητα της δυναμικής φόρτωσης μονάδων σε χρόνο εκτέλεσης για να εφαρμόζει ελαφριές μετατροπές κώδικα που εισάγουν κώδικα ανάλυσης στα όρια των μονάδων, αποτυπώνοντας τις αλληλεπιδράσεις γύρω από το πλαίσιο. Αυτό παρέχει μία προσέγγιση ανάλυσης χαμηλής υπερφόρτωσης, πάντα ενεργή. Αυτή η διπλωματική παρουσιάζει πολλαπλές εφαρμογές της προσέγγισης αδρομερούς ανάλυσης σε επίπεδο μονάδας για να αποδείξει την πολυμορφικότητα της και την πρακτική αξία της για την παρακολούθηση των προγραμμάτων, την ανάλυση και τις εργασίες ασφάλειας. Η εργασία περιλαμβάνει δύο μελέτες του οικοσυστήματος του Node.js, ένα δυναμικό μηχανισμό επιβολής για πολιτικές ασφαλείας, ένα σύστημα για την ασφάλιση των προσθέτων γραμμένων σε C/C++ και ένα συνδυαστικό πλαίσιο στατικής και δυναμικής ανάλυσης. Στόχος είναι να αποδείξει πώς αυτή η αδρομερής ανάλυσης σε επίπεδο μονάδας μπορεί να ενεργοποιήσει πρακτική ανάλυση προγραμμάτων και ασφάλεια για περίπλοκες εφαρμογές.

Διαθέσιμα αρχεία

Υπηρεσίες

Στατιστικά