الخلاصة

  • يحدد RFC 9882 الأنماط النقية ML-DSA-44 وML-DSA-65 وML-DSA-87 لـ CMS SignedData، ولا يحدد HashML-DSA.
  • يحدد وجود signedAttrs مسارين منفصلين: قيمة eContent وحدها، أو ترميز DER الكامل لـ SignedAttrs.

المعرّفات الكاملة هي 2.16.840.1.101.3.4.3.17 و2.16.840.1.101.3.4.3.18 و2.16.840.1.101.3.4.3.19. يجب حذف معاملات AlgorithmIdentifier الخاصة بـ ML-DSA، وسياق ML-DSA فارغ.

عند وجود السمات الموقعة، يجب أن يوفر الملخص لامبدا من بتات الأمان لمجموعة معلمات ML-DSA ضد هجمات الصورة الثانية والتصادم معاً، وأن ينتج 2*لامبدا بت على الأقل. تحدد القيمة الأقل بين الملخص وML-DSA القوة الكلية. مجموعة الجدول 1 كاملة: ML-DSA-44—SHA-256 وSHA-384 وSHA-512 وSHA3-256 وSHA3-384 وSHA3-512 وSHAKE128 وSHAKE256؛ ML-DSA-65—SHA-384 وSHA-512 وSHA3-384 وSHA3-512 وSHAKE256؛ ML-DSA-87—SHA-512 وSHA3-512 وSHAKE256. دعم SHA-512 إلزامي ودعم SHAKE256 موصى به، ومن دون معاملات في المعرّفين.

اختبار المسارين. المسار A عند غياب signedAttrs: يوقّع فقط ثمانيات قيمة OCTET STRING الخاصة بـ eContent، مع استبعاد ثمانيات الوسم والطول. ولأجل التوافق، يرمّز الموقّع SHA-512 في digestAlgorithm؛ لا معنى تشفيرياً لهذا الحقل في المسار A، وعلى المتحقق تجاهل محتواه. لا يتضمن المسار A content-type أو message-digest، ولا يفرض إعادة حساب message-digest أو تجزئة المحتوى. المسار B عند وجود signedAttrs: يوقّع ترميز DER الكامل، بما فيه الوسم والطول، مع وسم SET OF الصريح، لا الغلاف [0] الضمني النهائي. ويتضمن content-type وmessage-digest على الأقل؛ والمسار B وحده يفرض على المستقبل إعادة حساب تجزئة المحتوى ومقارنتها بـ message-digest.

ينبغي إدراج CMSAlgorithmProtection في السمات الموقعة لمقاومة استبدال الخوارزمية. هذه توصية معيارية وليست ادعاءً عن عمليات نشر. يمكن إبقاء المحتوى الكبير خارج حدود توقيع HSM. الحساب الخارجي لممثل الرسالة mu في النمط النقي مسموح وموصوف في الملحق D من RFC 9881 والقسم 6.2 من FIPS 204. ضوابط واجهة HSM وتسلسل الإطلاق هي تحليل Theo March. تستخدم التوقيعات hedged والحتمية خوارزمية التحقق نفسها، لكن لا ينبغي استخدام التوقيع الحتمي عند القلق من هجمات القنوات الجانبية أو الأعطال.

القراءة التشغيلية

تستند القواعد المعيارية إلى RFC 9882 وRFC 5652 وRFC 6211 وRFC 9881 وFIPS 204. يقترح تحليل Theo March تسجيل المسار، أطوال البايت وبصماتها، OID، غياب المعاملات، الوسوم، السمات، معرف الملخص، مقارنة التجزئة في B، حدود HSM والنتيجة. التفعيل المرحلي والتحقق الصامت والتراجع المختبر توصيات، وليست متطلبات RFC أو ادعاءات اعتماد. يتناول RFC 9881 ترميز PKIX، أما RFC 9879 فموضوعه مختلف.

المصادر