Ένα τυποποιημένο στοιχείο είναι αφετηρία για αξιολόγηση, όχι πιστοποιητικό για ολόκληρη την εφαρμογή μηνυμάτων.
Το ML-KEM-768 βοηθά δύο μέρη να εγκαθιδρύσουν ένα κοινό μυστικό που μπορεί στη συνέχεια να χρησιμοποιηθεί για την προστασία μηνυμάτων. Είναι ένα στοιχείο συστήματος ανταλλαγής μηνυμάτων, όχι πλήρες πρωτόκολλο συνομιλίας, κρυπτογραφικός αλγόριθμος μηνυμάτων ή πιστοποιητικό ότι μια εφαρμογή είναι ασφαλής.
Το NIST δημοσίευσε το FIPS 203 στις 13 Αυγούστου 2024, τυποποιώντας το ML-KEM και τα σύνολα παραμέτρων 512, 768 και 1024. Η ασφάλειά τους βασίζεται σε προβλήματα πλεγμάτων που θεωρούνται ανθεκτικά σε κβαντικές επιθέσεις. Το «θεωρούνται ανθεκτικά» είναι παραδοχή ασφαλείας που υποστηρίζεται από ανάλυση, όχι υπόσχεση ότι αποκλείεται οποιαδήποτε μελλοντική αδυναμία. NIST FIPS 203.
Πού εντάσσεται ένας KEM σε μια κρυπτογραφημένη συνομιλία
Ένας χρήσιμος τρόπος να διαβάζετε έναν ισχυρισμό κρυπτογράφησης είναι να ακολουθείτε το υλικό κλειδιών:
- Αυθεντικοποιήστε τον επιθυμητό συνομιλητή. Η ανταλλαγή κλειδιών με κάποιον που υποδύεται άλλον παραμένει ανταλλαγή κλειδιών με το λάθος πρόσωπο.
- Εγκαθιδρύστε κοινό μυστικό υλικό. Ένας KEM συνεισφέρει ένα μυστικό μέσω ενθυλάκωσης και αποθυλάκωσης.
- Παράγετε κλειδιά για τους συγκεκριμένους σκοπούς τους. Μια συνάρτηση παραγωγής κλειδιών διαχωρίζει το υλικό που χρησιμοποιούν διαφορετικά μέρη του πρωτοκόλλου.
- Κρυπτογραφήστε και αυθεντικοποιήστε τα μηνύματα. Ένα σχήμα αυθεντικοποιημένης κρυπτογράφησης προστατεύει το περιεχόμενο και ανιχνεύει μη εξουσιοδοτημένες τροποποιήσεις.
- Διαχειριστείτε τη συνεδρία με την πάροδο του χρόνου. Η εναλλαγή και διαγραφή κλειδιών, οι αλλαγές συσκευών και η ανάκτηση καθορίζουν τι μπορεί να εκθέσει μια μεταγενέστερη παραβίαση.
Αυτά τα βήματα εξηγούν γιατί ένα πρότυπο για το δεύτερο βήμα δεν μπορεί να επικυρώσει ολόκληρη την εφαρμογή. Οι μετακβαντικές συχνές ερωτήσεις του NIST παρέχουν πλαίσιο για την εφαρμογή των νέων προτύπων.
Γιατί να συνδυάσετε το ML-KEM με κλασική συμφωνία κλειδιών;
Μια υβριδική σχεδίαση χρησιμοποιεί ένα μετακβαντικό στοιχείο μαζί με ένα κλασικό, όπως το Diffie–Hellman ελλειπτικών καμπυλών. Το επιδιωκόμενο όφελος είναι να μην εξαρτάται αποκλειστικά από κανένα από τα δύο σύνολα παραδοχών κατά τη μετάβαση.
Ο ισχυρισμός ασφαλείας αφορά τον πλήρη μηχανισμό συνδυασμού και το πρωτόκολλο, όχι απλώς μια λίστα δύο αλγορίθμων. Οι αξιολογητές πρέπει να γνωρίζουν ποιες είσοδοι αυθεντικοποιούνται, πώς κωδικοποιούνται και συνδυάζονται, ποιο πλαίσιο συνδέεται με την παραγωγή κλειδιών και τι συμβαίνει όταν ένα στοιχείο αποτυγχάνει. Η συνένωση μυστικών χωρίς καθορισμένη κατασκευή δεν αποτελεί επιχείρημα ασφαλείας.
Για τους χρήστες, το πρακτικό ερώτημα δεν είναι «Γράφει η σελίδα ρυθμίσεων “κβαντικά ασφαλές”;». Είναι «Ποιες συνομιλίες και εκδόσεις χρησιμοποιούν πραγματικά αυτή την κατασκευή και ποια στοιχεία στηρίζουν τη δήλωση;».
Τι τεκμηριώνει η Livara
Η τεκμηρίωση ασφαλείας της Livara περιγράφει συνεδρίες προσωπικών συνομιλιών LVR1 που χρησιμοποιούν κλασικό υλικό P-256 και ML-KEM-768, με AES-256-GCM για το περιεχόμενο. Περιγράφει τις ιδιωτικές ομάδες LGS1 ως αλυσίδες αποστολέων που διανέμονται μέσω συνεδριών LVR1 ανά ζεύγη. Πρόκειται για διαφορετικά επίπεδα: ένα συνηθισμένο ομαδικό μήνυμα δεν είναι απαραίτητα νέα ανταλλαγή ML-KEM για κάθε παραλήπτη.
Διαβάστε αυτή την τεκμηρίωση ως περιγραφή του προγραμματιστή. Η αναφορά τυποποιημένων δομικών στοιχείων δεν αποδεικνύει ότι η προσαρμοσμένη σύνθεση της Livara έχει ελεγχθεί ανεξάρτητα ή ότι κάθε εγκατεστημένη μεταγλώττιση την υλοποιεί σωστά. Το Proof Lab περιορίζει ρητά την επίδειξή του στον περιηγητή: δεν εκτελεί τους πλήρεις μηχανισμούς ratchet LVR1/LGS1 ούτε αποτελεί έλεγχο πρωτοκόλλου.
Τι δεν καλύπτει η μετακβαντική προστασία
| Ερώτημα | Γιατί το ML-KEM μόνο του δεν απαντά |
|---|---|
| Μπορεί ένας παραλήπτης να αντιγράψει το μήνυμά μου; | Ο παραλήπτης λαμβάνει αναγνώσιμο περιεχόμενο. |
| Είναι η συσκευή μου απαλλαγμένη από λογισμικό κατασκοπείας; | Η ακεραιότητα τελικού σημείου είναι ξεχωριστή παραδοχή εμπιστοσύνης. |
| Προστατεύονται τα αντίγραφα ασφαλείας; | Τα κλειδιά αντιγράφων ασφαλείας και οι κανόνες ανάκτησης χρειάζονται δική τους σχεδίαση. |
| Είναι ασφαλείς οι αλλαγές μελών της ομάδας; | Έχουν σημασία οι κανόνες αυθεντικοποίησης, συμμετοχής και ανανέωσης κλειδιών. |
| Διατηρεί η υπηρεσία μεταδεδομένα; | Η κρυπτογράφηση περιεχομένου δεν κρύβει αυτόματα τη δρομολόγηση ή τον χρονισμό. |
| Προστατεύεται μια κλήση όπως μια συνομιλία κειμένου; | Η σηματοδοσία κλήσεων και τα μέσα μπορεί να χρησιμοποιούν διαφορετικά πρωτόκολλα. |
Το μοντέλο απειλών της Livara διακρίνει επίσης τις ιδιωτικές συνομιλίες από τα δημόσια κανάλια και αναγνωρίζει την έκθεση σε επίπεδο συσκευής. Μην επεκτείνετε έναν ισχυρισμό προσωπικής συνομιλίας σε κάθε επιφάνεια του προϊόντος.
Λίστα ελέγχου αγοραστή για «μηνύματα FIPS 203»
Ζητήστε το ακριβές σύνολο παραμέτρων και την έκδοση πρωτοκόλλου· περιγραφή της αυθεντικοποίησης συνομιλητή και του συνδυασμού κλειδιών· υποστηριζόμενες εκδόσεις πελατών· συμπεριφορά με ασύμβατους πελάτες· και δοκιμές ή ευρήματα αξιολόγησης που συνδέονται με την υλοποίηση που διανέμεται. Αν ένας προμηθευτής ισχυρίζεται επικύρωση FIPS, ζητήστε τη σχετική καταχώριση επικύρωσης και το πεδίο εφαρμογής της. Η χρήση αλγορίθμου που περιγράφεται σε δημοσίευση FIPS δεν αποτελεί από μόνη της στοιχείο επικύρωσης προϊόντος ή μονάδας.
Μη συμπεραίνετε διάρκεια μπαταρίας, ρυθμό διεκπεραίωσης ή απόκριση εφαρμογής από το όνομα παραμέτρων. Αυτά απαιτούν μετρήσεις με τεκμηριωμένη συσκευή, μεταγλώττιση και φόρτο εργασίας.
Η χρήσιμη αλλαγή για τα μηνύματα είναι ένα νέο εργαλείο μακροχρόνιας εμπιστευτικότητας. Η αξία του εξαρτάται από την ενσωμάτωση, την υλοποίηση και τα λειτουργικά όρια, όχι από την αντικατάσταση μιας ετικέτας μάρκετινγκ με άλλη.
