Η προώθηση της αλυσίδας ανά μήνυμα και η ανανέωση μιας μετακβαντικής εποχής λύνουν διαφορετικά μέρη του προβλήματος της καστάνιας.
Μια υβριδική μετακβαντική καστάνια ενημερώνει τα κλειδιά μηνυμάτων χρησιμοποιώντας τόσο κλασικό όσο και μετακβαντικό υλικό. Στόχος είναι η διατήρηση της προστασίας, υπό προσεκτικά καθορισμένες παραδοχές, αν ένα συστατικό γίνει ευάλωτο, περιορίζοντας παράλληλα τη ζημιά συγκεκριμένων παραβιάσεων κλειδιών με την πάροδο του χρόνου.
Η Livara τεκμηριώνει αυτή την προσέγγιση για το LVR1 με P-256 και ML-KEM-768. Για να κατανοήσουμε τον σχεδιασμό πρέπει να διαχωρίσουμε την αρχική εγκαθίδρυση κλειδιών, τις συνήθεις ενημερώσεις της αλυσίδας μηνυμάτων και τις περιοδικές μετακβαντικές ανανεώσεις. Δεν είναι η ίδια λειτουργία που εκτελείται σε κάθε μήνυμα.
Από ένα κοινό μυστικό σε μεταβαλλόμενα κλειδιά μηνυμάτων
Ένας μηχανισμός εγκαθίδρυσης κλειδιών δίνει στους συμμετέχοντες μυστικό υλικό που μπορούν να χρησιμοποιήσουν σε ένα σχήμα παραγωγής κλειδιών. Ένα πρωτόκολλο καστάνιας εξελίσσει κατόπιν την κατάσταση και παράγει κλειδιά μηνυμάτων, αντί να κρατά ένα αμετάβλητο κλειδί περιεχομένου για όλη τη συνομιλία.
Το NIST FIPS 203 ορίζει το ML-KEM, συμπεριλαμβανομένου του συνόλου παραμέτρων ML-KEM-768. Εγκαθιδρύει ένα κοινό μυστικό· ένας αυθεντικοποιημένος κρυπταλγόριθμος όπως το AES-GCM κρυπτογραφεί το ωφέλιμο φορτίο του μηνύματος. Η αυθεντικοποίηση και ο τρόπος συνδυασμού των συστατικών ανήκουν στο ευρύτερο πρωτόκολλο.
Η επισκόπηση ασφάλειας της Livara περιγράφει υβριδική εγκαθίδρυση, ανεξάρτητες κλασικές και μετακβαντικές ρίζες, μονόδρομες αλυσίδες αποστολής/λήψης που προχωρούν με τα μηνύματα και περιοδικές ενημερώσεις εποχών ML-KEM. Αναφέρει ότι ένα κλειδί μηνύματος συνδυάζεται με την τρέχουσα μετακβαντική ρίζα πριν από την προστασία περιεχομένου και κεφαλίδας.
Αυτή η περιγραφή δεν πρέπει να ξαναγράφεται ως «σε κάθε μήνυμα γίνεται νέα ανταλλαγή P-256 και νέα ενθυλάκωση ML-KEM». Η προώθηση της αλυσίδας μπορεί να είναι ένα συγκριτικά φθηνό βήμα παραγωγής κλειδιού.
Τι αλλάζει μια εποχή
Μια εποχή είναι περίοδος κατάστασης του πρωτοκόλλου που συνδέεται με συγκεκριμένη ανανέωση. Ο προγραμματισμός μεγαλύτερων μηνυμάτων εγκαθίδρυσης κλειδιών μεταξύ εποχών μπορεί να μειώσει το επαναλαμβανόμενο επικοινωνιακό κόστος, αλλά καθιστά επίσης τους κανόνες ανανέωσης σημαντικούς για την ασφάλεια.
Ένας αξιολογητής πρέπει να ρωτήσει:
- Τι ενεργοποιεί μια νέα εποχή: μετρητής, χρόνος, ενέργεια του συνομιλητή ή άλλη συνθήκη;
- Πώς αυθεντικοποιούνται τα αναγνωριστικά εποχών και το υλικό κλειδιών;
- Τι συμβαίνει με καθυστερημένα, διπλά ή εκτός σειράς μηνύματα;
- Πώς χειρίζεται ο πελάτης μια ενημέρωση που λείπει ή έναν παλαιότερο ασύμβατο συνομιλητή;
- Ποια παλιά μυστικά διατηρούνται για καθυστερημένη παράδοση και πότε απορρίπτονται;
Μια υλοποίηση χρειάζεται ακριβείς απαντήσεις. Η λέξη «περιοδική» από μόνη της δεν αποτελεί πλήρη προδιαγραφή ανάκαμψης ή διαλειτουργικότητας.
Ποσοτικοποίηση μεγεθών των δομικών στοιχείων χωρίς επινόηση μετρήσεων
Το FIPS 203 ορίζει για το ML-KEM-768 μέγεθος κλειδιού ενθυλάκωσης 1.184 byte και μέγεθος κρυπτοκειμένου 1.088 byte. Αυτά είναι κωδικοποιήσεις των κρυπτογραφικών δομικών στοιχείων, όχι το συνολικό μέγεθος μηνύματος ή χειραψίας της Livara. Οι κεφαλίδες πρωτοκόλλου, οι υπογραφές, η πλαισίωση και η συχνότητα αποστολής κάθε τιμής καθορίζουν την πραγματική κίνηση.
Τα μεγέθη κλειδιών P-256 εξαρτώνται επίσης από την αναπαράσταση. Για παράδειγμα, ένα συμπιεσμένο και ένα ασυμπίεστο σημείο καμπύλης έχουν διαφορετικά κωδικοποιημένα μήκη. Η σύγκριση ενός αδιευκρίνιστου «μεγέθους κλειδιού P-256» με κρυπτοκείμενο ML-KEM δεν είναι πλήρης ανάλυση εύρους ζώνης.
Για να αξιολογήσετε το κόστος μιας καστάνιας, μετρήστε byte ανά συνομιλία και εποχή, χρόνο CPU, μνήμη, αφυπνίσεις του ασύρματου υποσυστήματος και καθυστέρηση από άκρο σε άκρο σε αντιπροσωπευτικές συσκευές. Αναφέρετε τις συνθήκες έκδοσης λογισμικού και δικτύου. Χωρίς αυτές τις μετρήσεις, δεν δικαιολογείται ούτε «αμελητέα επίδραση στην μπαταρία» ούτε καθολικός χρόνος εκτέλεσης κάτω από ένα χιλιοστό του δευτερολέπτου.
Εμπροσθοβαρής μυστικότητα και ανάκαμψη μετά από παραβίαση
Η εμπροσθοβαρής μυστικότητα αποσκοπεί στην προστασία προηγούμενων μηνυμάτων μετά την έκθεση συγκεκριμένων μεταγενέστερων μυστικών, εφόσον έχουν διαγραφεί τα απαιτούμενα παλιά μυστικά. Η ασφάλεια μετά από παραβίαση αφορά την ανάκτηση προστασίας αφού ο επιτιθέμενος πάψει να ελέγχει την τερματική συσκευή και εισέλθει στο πρωτόκολλο νέο μυστικό υλικό άγνωστο στον επιτιθέμενο.
Η προδιαγραφή Double Ratchet εξηγεί αυτές τις διακρίσεις και τα όρια ανάκαμψης μετά από εισβολή. Η συνεχιζόμενη πρόσβαση κακόβουλου λογισμικού, η χειραγωγημένη τυχαιότητα ή ένας ενεργός επιτιθέμενος που ελέγχει τις σχετικές ανταλλαγές μπορούν να ακυρώσουν την αναμενόμενη ανάκαμψη. Η αποστολή ενός ακόμη μηνύματος δεν αποδεικνύει ότι ανακλήθηκε μια κλεμμένη συνεδρία ή ότι ένα παραβιασμένο τηλέφωνο καθάρισε.
Μια υβριδική κατασκευή χρειάζεται επίσης ορθή αυθεντικοποίηση και συνδυασμό. Το «ο επιτιθέμενος πρέπει να σπάσει και τους δύο αλγορίθμους» είναι επιδιωκόμενη ιδιότητα υπό τις παραδοχές της κατασκευής, όχι άνευ όρων δήλωση που καλύπτει σφάλματα υλοποίησης ή κακόβουλες τερματικές συσκευές.
Κρατήστε ορατά τα όρια των λειτουργιών
Στην τεκμηρίωση της Livara, τα κλειδιά αποστολέων ομάδας LGS1 διανέμονται μέσω διμερών συνεδριών LVR1. Αυτό δεν σημαίνει ότι μια αλυσίδα αποστολέα ομάδας είναι δομικά ίδια με μια διπλή καστάνια άμεσης συνομιλίας. Η τρέχουσα σελίδα ασφάλειας εξαιρεί επίσης τις παλαιότερες ασύμβατες ομάδες από το E2EE και απαιτεί τα μέλη να είναι έτοιμα πριν δημιουργηθεί νέα κρυπτογραφημένη ομάδα.
Τα συνημμένα έχουν δικά τους κλειδιά περιεχομένου που μεταφέρονται μέσα στην προστατευμένη συνομιλία. Οι κλήσεις και η προαιρετική εγγραφή στον διακομιστή χρειάζονται ξεχωριστή αξιολόγηση· μη συμπεραίνετε μετακβαντική προστασία των πολυμέσων απλώς επειδή μια διαδρομή σηματοδοσίας χρησιμοποιεί υβριδική συνεδρία. Τα δημόσια κανάλια και τα λειτουργικά μεταδεδομένα βρίσκονται έξω από την εμπιστευτικότητα του ιδιωτικού περιεχομένου.
Τι θα ενίσχυε την εμπιστοσύνη;
Αναζητήστε προδιαγραφή με εκδόσεις, δοκιμές διαλειτουργικότητας και περιπτώσεων αστοχίας, ανεξάρτητη αξιολόγηση και σαφή σχέση μεταξύ του ελεγμένου πηγαίου κώδικα και του διανεμόμενου πελάτη. Οι τυποποιημένοι αλγόριθμοι είναι χρήσιμα στοιχεία για τα συστατικά, όχι πιστοποίηση του συνδυασμού τους.
Το Proof Lab της Livara επιδεικνύει επιλεγμένα κλασικά δομικά στοιχεία και εξαιρεί ρητά τον πλήρη συνδυασμό LVR1/LGS1 από αυτό το τοπικό περιβάλλον μετρήσεων. Το μοντέλο απειλών παραμένει απαραίτητο πλαίσιο. Μαζί αυτά τα υλικά βοηθούν στη διατύπωση ερωτημάτων· δεν πρέπει να παρουσιάζονται ως υποκατάστατο πλήρους αξιολόγησης πρωτοκόλλου και υλοποίησης.
