Η αφαίρεση κάποιου από μια κρυπτογραφημένη ομάδα πρέπει να σταματά την παραλαβή των μυστικών που χρειάζονται για μελλοντικά προστατευμένα μηνύματα. Η αλλαγή μόνο της λίστας μελών δεν το επιτυγχάνει αν οι υπόλοιποι αποστολείς συνεχίσουν να χρησιμοποιούν υλικό κλειδιών που το πρώην μέλος ήδη γνωρίζει.
Η μετάβαση επίσης δεν είναι στιγμιαία σε ένα αναξιόπιστο δίκτυο. Ένας ασφαλής σχεδιασμός ομάδας πρέπει να ορίζει σε ποια κατάσταση συμμετοχής ανήκει ένα μήνυμα και τι κάνει ο αποστολέας πριν επεξεργαστεί μια αφαίρεση.
Τα παλιά και τα μελλοντικά μηνύματα είναι διαφορετικά προβλήματα
Ένα πρώην μέλος μπορεί να διατηρεί μηνύματα, αρχεία και κλειδιά που έλαβε όταν είχε εξουσιοδότηση. Η αφαίρεση δεν μπορεί να το κάνει να ξεχάσει το ιστορικό ή να σβήσει τα στιγμιότυπα οθόνης του.
Ο εφικτός στόχος είναι να αποκλειστεί από τη νέα κρυπτογραφική κατάσταση αφού τεθεί σε ισχύ η αφαίρεση. Αντίστοιχα, η προσθήκη κάποιου θέτει ένα ξεχωριστό ερώτημα: αν αποκτά πρόσβαση στο παλιό ιστορικό. Προϊόντα και πρωτόκολλα χρησιμοποιούν όρους όπως forward secrecy σε διαφορετικά συμφραζόμενα, οπότε μια απλή περιγραφή του επιδιωκόμενου κανόνα πρόσβασης είναι συχνά σαφέστερη από μια αμφίσημη ετικέτα.
Γιατί οι ομάδες με κλειδιά αποστολέα χρειάζονται νέα κατάσταση
Σε έναν σχεδιασμό με κλειδιά αποστολέα, κάθε συμμετέχων μπορεί να κρυπτογραφεί τα συνήθη μηνύματα ομάδας με μια αλυσίδα που μοιράζεται με τους επιτρεπόμενους παραλήπτες. Έτσι μπορεί να αποφεύγεται η ξεχωριστή κρυπτογράφηση ολόκληρου του περιεχομένου για κάθε παραλήπτη σε κάθε αποστολή.
Μετά την αφαίρεση, το πρώην μέλος μπορεί ακόμη να κατέχει την παλιά αλυσίδα. Οι υπόλοιποι αποστολείς χρειάζονται επομένως νέα κατάσταση που δεν διανέμεται στο αποκλεισμένο μέλος, ενώ οι εφαρμογές-πελάτες χρειάζονται συμφωνημένο πλαίσιο συμμετοχής για τη χρήση της. Η ανανέωση πρέπει να καλύπτει τους σχετικούς αποστολείς και συσκευές· η αλλαγή μιας μόνο σημαίας στον διακομιστή δεν αρκεί.
Το ακριβές πρωτόκολλο έχει σημασία. Το MLS, που ορίζεται στο RFC 9420, χειρίζεται την αφαίρεση μέσω οριστικοποιημένης αλλαγής εποχής που παρέχει νέα εντροπία στα υπόλοιπα μέλη. Αυτό είναι παράδειγμα καθορισμένης μετάβασης κατάστασης, όχι ισχυρισμός ότι η Livara υλοποιεί MLS.
Τι τεκμηριώνει η Livara για το LGS1
Η σελίδα ασφάλειας της Livara περιγράφει μία υπογεγραμμένη αλυσίδα αποστολέα ανά αποστολέα, με κλειδιά αποστολέα που διανέμονται μέσω διμερών συνεδριών LVR1. Αναφέρει ότι δημιουργούνται και διανέμονται νέα κλειδιά αποστολέα όταν αλλάζει η σύνθεση των μελών.
Αυτό στηρίζει έναν ισχυρισμό για τον δημοσιευμένο σχεδιασμό ανανέωσης κλειδιών. Δεν καθορίζει μετρημένο χρόνο «στιγμιαίας ανάκλησης» ούτε αποδεικνύει ότι κάθε συνθήκη ανταγωνισμού, σενάριο συσκευής εκτός σύνδεσης και επανάληψη αντιμετωπίζεται σωστά. Αυτά απαιτούν ανάλυση της υλοποίησης και δοκιμές.
Οι έλεγχοι συμμετοχής στον διακομιστή και ο κρυπτογραφικός αποκλεισμός έχουν επίσης διαφορετικές εργασίες. Η υπηρεσία μπορεί να αρνηθεί την παράδοση ή την πρόσβαση, ενώ η κρυπτογράφηση πρέπει να εμποδίζει έναν αποκλεισμένο που κατέχει αντίγραφο μεταγενέστερου κρυπτοκειμένου να το ανοίξει χωρίς τα νέα μυστικά.
Ένα χρήσιμο σχέδιο δοκιμής αφαίρεσης
Σε εξουσιοδοτημένη ομάδα δοκιμών, ελέγξτε αυτά τα σενάρια με μη ευαίσθητα μηνύματα:
| Σενάριο | Ερώτημα προς επίλυση |
|---|---|
| Αφαίρεση μέλους ενώ όλοι είναι συνδεδεμένοι | Ποιο μήνυμα είναι το πρώτο με τη νέα κατάσταση συμμετοχής; |
| Ένας εναπομείνας αποστολέας είναι εκτός σύνδεσης | Πρέπει να ανανεώσει τη συμμετοχή και τα κλειδιά πριν ξαναστείλει; |
| Το αφαιρεθέν μέλος επανασυνδέεται αργότερα | Μπορεί να λάβει νέες διανομές κλειδιών αποστολέα ή μόνο παλιό εξουσιοδοτημένο περιεχόμενο; |
| Πολλές αλλαγές μελών γίνονται ταυτόχρονα | Συγκλίνουν όλες οι υπόλοιπες συσκευές στην ίδια κατάσταση; |
| Επαναλαμβάνεται η αποστολή παλιού μηνύματος | Διατηρείται η αρχική εποχή του αντί να επισημαίνεται εσφαλμένα ως νέο περιεχόμενο; |
Μια δοκιμή μόνο της διεπαφής μπορεί να επιβεβαιώσει την ορατή συμπεριφορά, αλλά δεν αποδεικνύει από μόνη της τον κρυπτογραφικό αποκλεισμό. Μια αυστηρή αξιολόγηση πρέπει να εξετάζει ποια κλειδιά και κρυπτοκείμενα μπορεί να αποκτήσει μια αποκλεισμένη συσκευή δοκιμών.
Τι πρέπει να θυμούνται οι διαχειριστές
Αφαιρέστε περιττούς συμμετέχοντες, ελέγξτε τα υπόλοιπα μέλη και αποφύγετε την αποστολή νέου ευαίσθητου υλικού μέχρι η εφαρμογή να επεξεργαστεί την αλλαγή. Αν ένας τρέχων συμμετέχων προωθήσει σκόπιμα περιεχόμενο, η ανανέωση των κλειδιών της ομάδας δεν μπορεί να αποτρέψει αυτή την αποκάλυψη.
Για ιδιαίτερα ευαίσθητες χρήσεις, ζητήστε από τον πάροχο τους ακριβείς κανόνες αφαίρεσης, τη συμπεριφορά ανάκλησης συσκευών και στοιχεία δοκιμών. Η σημαντική υπόσχεση είναι ένα σαφώς ορισμένο όριο για μελλοντικά μηνύματα, όχι ο ατεκμηρίωτος ισχυρισμός ότι ένα κουμπί αφαίρεσης καταστρέφει κάθε παλιό αντίγραφο.
