Διασφάλιση με χρήση της Στοίβας Κλήσεων της JavaScript

Abstract

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