Εντόπισε κενό ασφαλείας 13 ετών στον κώδικα

Σύνοψη

• Η Google αυξάνει τον ρυθμό κυκλοφορίας ενημερώσεων ασφαλείας του Chrome σε δύο φορές την εβδομάδα, μειώνοντας δραστικά το “patch gap” και τον κίνδυνο εκμετάλλευσης ευπαθειών τύπου N-day.
• Η ενσωμάτωση του μοντέλου Gemini και ειδικών AI πρακτόρων (όπως το Big Sleep) εντόπισε ένα κρίσιμο σφάλμα διαφυγής από το sandbox, το οποίο παρέμενε απαρατήρητο στον κώδικα του browser για περισσότερα από 13 χρόνια.
• Στις πρόσφατες εκδόσεις Chrome 149 και 150 διορθώθηκαν συνολικά 1.072 ευπάθειες, ένας αριθμός που ισούται με την παραγωγή των 23 προηγούμενων κύριων εκδόσεων αθροιστικά.
• Εισάγεται η τεχνολογία “Dynamic Patching”, η οποία εφαρμόζει σημαντικές επιδιορθώσεις ασφαλείας στο παρασκήνιο χωρίς να απαιτείται η πλήρης επανεκκίνηση της εφαρμογής από τον χρήστη.
• Επιταχύνεται η μετάβαση του οικοσυστήματος Chromium σε γλώσσα προγραμματισμού Rust, με σκοπό την οριστική εξάλειψη των κρίσιμων σφαλμάτων που σχετίζονται με τη διαχείριση της μνήμης στη C++.

Η αρχιτεκτονική των σύγχρονων web browsers αποτελεί το σημαντικότερο προπύργιο για την προστασία της ψηφιακής δραστηριότητας, και η Google προχωρά σε ριζικές ανακατατάξεις όσον αφορά τον τρόπο με τον οποίο προστατεύει τα εκατοντάδες εκατομμύρια χρηστών του Chrome. 

Επενδύοντας μαζικά στα μεγάλα γλωσσικά μοντέλα (LLMs) και την τεχνητή νοημοσύνη, η εταιρεία υιοθετεί μια εξαιρετικά επιθετική αμυντική στρατηγική που σκοπό έχει να αντιμετωπίσει την αυξανόμενη πολυπλοκότητα των στοχευμένων κυβερνοεπιθέσεων. 

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

Κάθε πότε θα κυκλοφορούν οι ενημερώσεις ασφαλείας του Google Chrome;

Το Google Chrome μεταβαίνει επισήμως σε έναν νέο κύκλο κυκλοφορίας με δύο ενημερώσεις ασφαλείας (security updates) την εβδομάδα, μειώνοντας δραστικά το “patch gap”, δηλαδή τον χρόνο που μεσολαβεί μεταξύ της αποκάλυψης μιας ευπάθειας στον ανοιχτό κώδικα και της προστασίας του τελικού χρήστη, ελαχιστοποιώντας έτσι τον κίνδυνο των επιθέσεων N-day.

• Εβδομαδιαίος διπλασιασμός: Πιλοτική μετάβαση από μία σε δύο ενημερώσεις ασφαλείας ανά εβδομάδα, ανταποκρινόμενη στην ταχύτητα των σύγχρονων απειλών.
• Κύριες εκδόσεις: Διατηρείται ο σταθερός ρυθμός των δεκαπέντε ημερών για τις κύριες λειτουργικές αναβαθμίσεις.
• Αυτοματοποίηση disclosure: Συνεχής εργασία για την άμεση και αυτόματη δημιουργία των αναφορών CVE προκειμένου να καταπολεμηθούν οι χρονικές καθυστερήσεις.

Η συγκεκριμένη απόφαση κρίνεται απολύτως απαραίτητη για τη διατήρηση του προβαδίσματος έναντι των επιτιθέμενων. Η παραδοσιακή διαχείριση ενός σφάλματος ακολουθεί μια εξαιρετικά γραμμική πορεία: εντοπισμός, αξιολόγηση (triage), επιδιόρθωση κώδικα, κυκλοφορία έκδοσης και, τέλος, εγκατάσταση μέσω επανεκκίνησης. Στο σημερινό απαιτητικό οικοσύστημα, τα παραδοσιακά χρονικά περιθώρια θεωρούνται πλέον απαγορευτικά, καθώς οι κακόβουλοι παράγοντες αξιοποιούν εξίσου εξελιγμένα εργαλεία μηχανικής μάθησης για να αναλύσουν (reverse engineer) τις διορθώσεις που αναρτώνται στον ανοιχτό κώδικα του Chromium. Αυτό τους επιτρέπει να δημιουργούν κώδικα εκμετάλλευσης (exploits) προτού η πλειοψηφία των χρηστών προλάβει να αναβαθμίσει τις συσκευές της.

Πώς η Τεχνητή Νοημοσύνη (Gemini) εντοπίζει σφάλματα στον κώδικα;

Η Google αξιοποιεί ειδικά διαμορφωμένους πράκτορες τεχνητής νοημοσύνης που βασίζονται στο μοντέλο Gemini, σαρώνοντας εξονυχιστικά το αποθετήριο κώδικα του Chrome, επιτυγχάνοντας μάλιστα τον εντοπισμό ενός κρίσιμου σφάλματος διαφυγής από το sandbox (sandbox escape), το οποίο παρέμενε ενεργό στη βάση του κώδικα για περισσότερα από 13 χρόνια.

• Πράκτορες κριτικής: Μοντέλα που αναλύουν πολλαπλές λύσεις διόρθωσης και προτείνουν την ασφαλέστερη δυνατή εφαρμογή στον κώδικα.
• Μείωση χρόνου διαλογής: Η αυτοματοποιημένη αξιολόγηση των εκατοντάδων αναφορών ασφαλείας εξοικονομεί εκατοντάδες ώρες προγραμματισμού στους μηχανικούς της εταιρείας κάθε μήνα.
• Ιστορικό ρεκόρ: Στις πρόσφατες εκδόσεις Chrome 149 και 150 επιδιορθώθηκαν συνολικά 1.072 κενά ασφαλείας.

Η επιστράτευση προηγμένων συστημάτων όπως το “Big Sleep”, το οποίο προέκυψε μέσα από τη συνεργασία της Google DeepMind με την ερευνητική ομάδα Project Zero, επέτρεψε την ανάδειξη σφαλμάτων στη μηχανή JavaScript V8 και στο γραφικό περιβάλλον του προγράμματος. Πρόκειται για λογικά σφάλματα τα οποία οι συμβατικές μέθοδοι, όπως το παραδοσιακό fuzzing, δυσκολεύονταν να προσεγγίσουν εξαιτίας των εγγενών περιορισμών τους στην ανάλυση μακροσκελών αλληλεπιδράσεων του κώδικα. Παράλληλα, είναι σημαντικό να υπογραμμιστεί ότι τα συστήματα αυτά λειτουργούν σε αυστηρά ελεγχόμενα περιβάλλοντα (locked-down machines), εντελώς αποκλεισμένα από την ελεύθερη πρόσβαση στο γενικό διαδίκτυο, προκειμένου να διασφαλιστεί με απόλυτη βεβαιότητα ότι τα μοντέλα δεν θα εμφανίσουν απρόβλεπτη ή δυνητικά επικίνδυνη συμπεριφορά, τροποποιώντας αυθαίρετα τον κώδικα.

Τι είναι το Dynamic Patching στο Google Chrome;

Το Dynamic Patching είναι μια νέα τεχνολογία εγκατάστασης ενημερώσεων η οποία αντικαθιστά σταδιακά τις θυγατρικές διεργασίες στο παρασκήνιο (όπως ο Renderer και η GPU) με ανανεωμένα binaries σε πραγματικό χρόνο, επιτρέποντας στο Chrome να διορθώνει κρίσιμα κενά ασφαλείας χωρίς να απαιτείται η ενοχλητική πλήρης επανεκκίνηση του περιηγητή.

• Zero-window auto-restart: Στο λειτουργικό σύστημα macOS, όταν κλείνουν όλα τα ορατά παράθυρα αλλά η εφαρμογή παραμένει τεχνικά ενεργή, ο browser επανεκκινεί εντελώς αθόρυβα.
• Αρχιτεκτονική απομόνωσης: Αξιοποιεί τον εξελιγμένο σχεδιασμό multi-process του Chrome για να εναλλάσσει αυτόνομα διεργασίες χωρίς να καταρρέει η ενεργή συνεδρία περιήγησης.
• Λύσεις enterprise: Δίνει τη δυνατότητα στους διαχειριστές ΙΤ να επιβάλλουν το RelaunchNotification policy για την άμεση συμμόρφωση των υπαλλήλων σε εταιρικά περιβάλλοντα.

Η εφαρμογή των διαθέσιμων ενημερώσεων αποτελεί διαχρονικά τον πιο αδύναμο κρίκο στην αλυσίδα της κυβερνοασφάλειας, καθώς οι απλοί χρήστες τείνουν να αναβάλλουν συνεχώς την επανεκκίνηση του προγράμματος προκειμένου να μην διακοπεί η ροή της καθημερινής εργασίας τους. Το μακροπρόθεσμο όραμα της Google για τον browser της επόμενης γενιάς βασίζεται στην έννοια της συνεχούς και δυναμικής επιδιόρθωσης. Αφαιρώντας πρακτικά το βάρος της τακτικής συντήρησης από τα χέρια του τελικού καταναλωτή, η πλατφόρμα θα μπορεί να ανταποκρίνεται σε κρίσιμες απειλές δευτερόλεπτα μετά τη διάθεση του σχετικού επιθέματος (patch).

Πώς η γλώσσα Rust λύνει το πρόβλημα διαχείρισης μνήμης του Chrome;

Η σταδιακή μετάβαση από τη C++ στη γλώσσα προγραμματισμού Rust στοχεύει στην καταπολέμηση των σφαλμάτων ασφαλείας που προκύπτουν από τη λανθασμένη διαχείριση μνήμης, υιοθετώντας ταυτόχρονα τεχνικές όπως το Spanification και η τεχνολογία MiraclePtr για τη σταδιακή θωράκιση εκατομμυρίων γραμμών υπάρχοντος κώδικα.

• Κεντρικό Rust SDK: Ανάπτυξη νέου εργαλείου για τη δημιουργία δομικών στοιχείων εξ αρχής στη μνημονικά ασφαλή γλώσσα Rust.
• Στρατηγική Spanification: Ήδη το 97% του first-party κώδικα του Chrome ελέγχεται πλέον αυστηρά για επικίνδυνα χωρικά σφάλματα εκτός ορίων (Out-of-Bounds errors).
• Εξάλειψη Bug Nests: Στοχευμένη και προσεκτική αντικατάσταση τμημάτων του κώδικα που ιστορικά παρουσιάζουν την υψηλότερη πυκνότητα σφαλμάτων, όπως οι αναλυτές δεδομένων και οι επεξεργαστές εικόνας.

Είναι ευρέως αποδεκτό στην κοινότητα των προγραμματιστών πως η συντριπτική πλειονότητα του οικοσυστήματος Chromium βασίζεται παραδοσιακά στη C++, μια γλώσσα που αν και είναι εκπληκτικά ισχυρή, προσφέρει δυστυχώς τεράστιο περιθώριο για ευπάθειες τύπου Use-After-Free (UAF). Αντί να επιχειρήσει το ανέφικτο εγχείρημα της άμεσης επαναγραφής ολόκληρου του browser, η ομάδα ασφαλείας του Chrome ακολουθεί μια πολυεπίπεδη στρατηγική αμυντικής θωράκισης. Η τεχνολογία MiracleObject, για παράδειγμα, αναμένεται να εξουδετερώσει έως και το 90% των σφαλμάτων UAF στο κύριο νήμα της μονάδας επεξεργασίας γραφικών, ανταλλάσσοντας σκόπιμα ένα πολύ μικρό μέρος της θεωρητικής απόδοσης με τη μέγιστη δυνατή ασφάλεια χρόνου εκτέλεσης.