ينبغي أن تمنع إزالة شخص من مجموعة مشفرة وصوله إلى الأسرار اللازمة للرسائل المحمية المستقبلية. ولا يحقق تغيير قائمة الأعضاء وحده ذلك إذا استمر المرسلون الباقون في استخدام مواد مفاتيح يعرفها العضو السابق بالفعل.
كذلك، لا يحدث الانتقال فورًا عبر شبكة غير موثوقة. يجب أن يحدد تصميم المجموعة الآمن حالة العضوية التي تنتمي إليها الرسالة، وما يفعله المرسل قبل أن يعالج الإزالة.
الرسائل الماضية والمستقبلية مشكلتان مختلفتان
قد يحتفظ العضو السابق بالرسائل والملفات والمفاتيح التي تلقاها عندما كان مخولًا. ولا تستطيع الإزالة جعله ينسى السجل أو محو لقطات شاشته.
الهدف الممكن تحقيقه هو استبعاده من الحالة التشفيرية الجديدة بعد سريان الإزالة. وبالمثل، تثير إضافة شخص سؤالًا منفصلًا: هل يحصل على وصول إلى السجل القديم؟ تستخدم المنتجات والبروتوكولات مصطلحات مثل السرية الأمامية في سياقات مختلفة، ولذلك يكون الوصف المباشر لقاعدة الوصول المقصودة أوضح غالبًا من تسمية ملتبسة.
لماذا تحتاج مجموعات مفاتيح المرسل إلى حالة جديدة؟
في تصميم مفاتيح المرسل، يستطيع كل مشارك تشفير رسائل المجموعة العادية بسلسلة مشتركة مع المستلمين المسموح لهم. ويمكن أن يغني ذلك عن تشفير المحتوى كاملًا على حدة لكل مستلم عند كل إرسال.
بعد الإزالة، قد يظل العضو السابق مالكًا للسلسلة القديمة. لذا يحتاج المرسلون الباقون إلى حالة بديلة لا تُوزَّع على العضو المستبعَد، ويحتاج العملاء إلى سياق عضوية متفق عليه لاستخدامها. ويجب أن يشمل تدوير المفاتيح المرسلين والأجهزة ذات الصلة؛ فلا يكفي تغيير علامة واحدة على الخادم.
البروتوكول المحدد مهم. يعالج MLS، المحدد في RFC 9420، الإزالة عبر تغيير مُثبَّت للحقبة يزوّد الأعضاء الباقين بإنتروبيا جديدة. وهذا مثال على انتقال محدد للحالة، لا ادعاء بأن Livara ينفذ MLS.
ما الذي توثقه Livara بشأن LGS1؟
تصف صفحة أمان Livara سلسلة مرسل موقّعة واحدة لكل مرسل، وتُوزَّع مفاتيح المرسل عبر جلسات LVR1 ثنائية الأطراف. وتقول إن مفاتيح مرسل جديدة تُنشأ وتُوزَّع عندما تتغير العضوية.
يدعم ذلك ادعاءً بشأن تصميم تجديد المفاتيح المنشور. لكنه لا يحدد زمنًا مقاسًا لـ«الإلغاء الفوري» ولا يثبت أن كل حالة تسابق وسيناريو لجهاز غير متصل ومحاولة إعادة تُعالَج على نحو صحيح. فهذه أمور تحتاج إلى تحليل التنفيذ واختباره.
كما أن ضوابط العضوية على الخادم والاستبعاد التشفيري يؤديان وظيفتين مختلفتين. يمكن للخدمة رفض التسليم أو الوصول، بينما ينبغي أن يمنع التشفير طرفًا مستبعَدًا يمتلك نسخة من نص مشفر لاحق من فتحه دون الأسرار الجديدة.
خطة مفيدة لاختبار الإزالة
في مجموعة اختبار لديك تصريح باختبارها، تحقّق من هذه السيناريوهات باستخدام رسائل غير حساسة:
| السيناريو | السؤال المتوقع حسمه |
|---|---|
| إزالة عضو والجميع متصلون | ما أول رسالة تخضع لحالة العضوية الجديدة؟ |
| أحد المرسلين الباقين غير متصل | هل يجب عليه تحديث العضوية والمفاتيح قبل الإرسال مجددًا؟ |
| العضو المُزال يعاود الاتصال لاحقًا | هل يستطيع الحصول على توزيعات جديدة لمفاتيح المرسل، أم على المحتوى القديم المصرح به فقط؟ |
| تغيّر عدة أعضاء في وقت واحد | هل تتقارب جميع الأجهزة الباقية على الحالة نفسها؟ |
| إعادة محاولة إرسال رسالة قديمة | هل تُحفَظ حقبتها الأصلية بدل تصنيفها خطأً كمحتوى جديد؟ |
يمكن للاختبار المقتصر على واجهة المستخدم تأكيد السلوك الظاهر، لكنه لا يستطيع وحده إثبات الاستبعاد التشفيري. يجب أن يفحص التقييم الدقيق المفاتيح والنصوص المشفرة التي يستطيع جهاز اختبار مستبعَد الحصول عليها.
ما الذي ينبغي أن يتذكره المسؤولون؟
أزل المشاركين غير الضروريين، وراجع العضوية المتبقية، وتجنب إرسال مواد حساسة جديدة حتى يعالج التطبيق التغيير. وإذا تعمد مشارك حالي إعادة توجيه المحتوى، فلن يستطيع تجديد مفاتيح المجموعة منع هذا الكشف.
للاستخدام عالي الحساسية، اطلب من المزود قواعد الإزالة الدقيقة وسلوك إلغاء ترخيص الأجهزة وأدلة الاختبار. الوعد المهم هو حد واضح المعالم للرسائل المستقبلية، لا ادعاء غير مسند بأن زر الإزالة يدمر كل نسخة سابقة.
