Year: 2026
Type: dissertation
Abstract: ΠΕΡΙΛΗΨΗ Η συνεχής ανάπτυξη των κινητών συσκευών και η εκτεταμένη χρήση των Android εφαρμογών σε ένα διαρκώς διευρυνόμενο φάσμα υπηρεσιών έχουν ενισχύσει τη σημασία της ασφάλειας στο επίπεδο των εφαρμογών.Διαχρονικά, το μοντέλο ασφάλειας του Android έχει εξελιχθεί σημαντικά, ενσωματώνοντας μηχανισμούς για την απομόνωση των εφαρμογών, τον έλεγχο της πρόσβασης σε πόρους του συστήματος και την προστασία των δεδομένων των χρηστών.Ωστόσο, σημαντικό μέρος της ασφάλειας μιας εφαρμογής εξακολουθεί να εξαρτάται από τις επιλογές των προγραμματιστών κατά τον σχεδιασμό και την υλοποίησή της.Ανεπαρκείς έλεγχοι και σφάλματα υλοποίησης μπορούν επομένως να οδηγήσουν στην εμφάνιση ευπαθειών που επηρεάζουν την εμπιστευτικότητα, την ακεραιότητα ή τη διαθεσιμότητα των δεδομένων και των λειτουργιών της εφαρμογής, παρά τους μηχανισμούς προστασίας που παρέχει το ίδιο το λειτουργικό σύστημα.Παράλληλα, η εξέλιξη των Μεγάλων Γλωσσικών Μοντέλων (Large Language Models -LLMs) δημιουργεί νέες δυνατότητες για την αυτοματοποίηση εργασιών στον χώρο της ασφάλειας λογισμικού.Εργασίες που βασίζονται σε σημαντικό βαθμό στην ανθρώπινη εμπειρία, όπως η αναγνώριση μοτίβων στον κώδικα, η κατανόηση της ροής μιας εφαρμογής, η συσχέτιση πληροφοριών από διαφορετικά σημεία του κώδικα και η διερεύνηση πιθανών ευπαθειών, μπορούν πλέον να υποστηριχθούν από συστήματα που αξιοποιούν τέτοια μοντέλα.Στην κατεύθυνση αυτή, η παρούσα πτυχιακή εργασία εξετάζει την αξιοποίηση των LLMs σε συνδυασμό με εργαλεία στατικής και δυναμικής ανάλυσης για την αυτοματοποίηση της έρευνας ευπαθειών σε εφαρμογές Android.Στο πλαίσιο της εργασίας μελετώνται οι βασικοί μηχανισμοί του Android που σχετίζονται με την επιφάνεια επίθεσης μιας εφαρμογής, καθώς και χαρακτηριστικές κατηγορίες ευπαθειών που μπορούν να προκύψουν από τη λανθασμένη χρήση τους.Παράλληλα, εξετάζεται ο τρόπος με τον οποίο τα ευρήματα της στατικής και της δυναμικής ανάλυσης μπορούν να συνδυαστούν στο πλαίσιο μιας ενιαίας διαδικασίας ελέγχου ασφάλειας, ώστε οι πληροφορίες που προκύπτουν σε κάθε στάδιο να καθοδηγούν τη συνέχεια της διερεύνησης.Η διαδικασία ολοκληρώνεται με την αξιολόγηση των υποψήφιων διαδρομών βάσει των τεχνικών τεκμηρίων που έχουν συγκεντρωθεί, τη διάκριση των επιβεβαιωμένων ευπαθειών από τις μη εκμεταλλεύσιμες περιπτώσεις και την παραγωγή τεκμηριωμένων αναφορών για τα τελικά findings.Περιεχόμενο: Η παρούσα πτυχιακή εργασία πραγματεύεται την ανάπτυξη μιας ολοκληρωμένης προσέγγισης, η οποία δεν περιορίζεται μόνο στον εντοπισμό πιθανών ευπαθειών μέσω της ανάλυσης του κώδικα, αλλά προχωρά στην δυναμική διερεύνηση και επαληθευση τους.
Author: Βαλσαμάρα, Μαλαματένια Δ.
Language: Greek
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7223528111