الخلاصة

  • تميز مسودة 28 أكتوبر بين قياسات تحدد نوع عبء العمل وهوية نسخة تشغيل محددة منه؛ النسختان المأخوذتان من الصورة البرمجية نفسها قد تحملان القياسات نفسها.
  • تعرض المسودة طريقاً يعتمد على مفتاح تثبته أدلة التحقق، وطريقاً آخر يضيف شهادة WIMSE تحمل اسماً يمكن أن يستمر بعد تبديل المفتاح.

لنفترض أن خدمة سلّمت سراً إلى نسخة محمية من برنامجها، ثم شغّلت نسخة ثانية من الصورة نفسها. سيصل الاثنان بملف قياسات يبدو صحيحاً. إذا كان السر لأي نسخة معتمدة فلا أزمة. وإذا كان لنسخة محددة، فقد أصبح التشابه نفسه ثغرة في تعريف المستلِم.

هذا هو مدخل مسودة Tirumaleswar Reddy وزملائه للنقاش في SEAT. الوثيقة اقتراح فردي، ولم تختر مجموعة العمل أياً من الطريقين. القياسات تثبت صفات النوع، أما تعيين نسخة بعينها فيحتاج إلى مفتاح تولّده داخل البيئة التي خضعت للتحقق، ثم تعرض مفتاحها العام في الأدلة وفي مصافحة TLS.

في الطريق الأول، يقدم البرنامج المفتاح العام مباشرة أو ضمن شهادة موقعة ذاتياً. يراجع الطرف المقابل تطابقه مع المفتاح الوارد في أدلة التحقق؛ سلطة الثقة هنا هي سلسلة التحقق عن البيئة، لا جهة إصدار شهادات تمنح اسماً مستقلاً. يستطيع الطرف المقابل تمييز ذلك المفتاح، لكن تبديله يقطع علامة الاستمرار ما لم توجد آلية أخرى تربط القديم بالجديد.

الطريق الثاني يضيف شهادة هوية لعبء العمل وفق أعمال WIMSE. تربط الشهادة معرّف العبء بالمفتاح، وتربط أدلة التحقق المفتاح بالبيئة المقاسة. يبقى الاسم ممكناً عبر تبديل المفاتيح. ويمكن أن يدل معرّف WIMSE على نسخة واحدة أو على خدمة منطقية تشترك فيها نسخ عدة؛ نطاق الثقة الذي يصدره يختار درجة التحديد. وفي المقابل تظهر مؤسسة تملك قرار إصدار الاسم وتجديده وإبطاله.

المعضلة الحاسمة لا تختفي بفحص الشهادة والقياسات كلٍّ على حدة. قد تكون الشهادة صحيحة والبيئة أصلية، لكن تلك البيئة غير مصرح لها بالعمل تحت الاسم الذي تحمله الشهادة. لذلك تضع المسودة على الطرف الذي يقبل الاتصال مهمة تقييم الاسم والقياسات معاً متى كان هذا الربط مطلوباً. وتضيف أن إثبات حيازة المفتاح الخاص لا يثبت وحده أنه وُلد داخل البيئة المحمية أو بقي محصوراً فيها.

تفصل بنية RATS في RFC 9334 بين إنتاج الأدلة وتقييمها وقرار الاعتماد عليها. والمسودة الجديدة تجعل السؤال أقل تجريداً: من سمّى هذه النسخة، ومن سمح لهذا الاسم بأن يعمل في هذه الصورة البرمجية؟