سجل الثغرات
في هذه الوثيقة
إصدار الإطار: 2.0.0-draft.1. الحالة: تصميمٌ مقترح للسجل وعمليةٌ مقترحة لحوكمته. ولا تُنشئ هذه الوثيقة مؤسسةً عاملة، ولا تعلن عن اكتشافاتٍ مقبولة.
الغاية وأنواع المدخلات
يسجّل السجلُّ الادعاءاتِ، والأدلةَ، والقراراتِ، وتاريخَ تنقيحها. والإدراج فيه لا يثبت الصحة ولا اعتراف الإطار. فالتصنيف شأنُ المعجم التصنيفي؛ أما السجل فيحفظ المحضرَ الذي قُيّم من خلاله اكتشافٌ أو مقترحٌ بعينه.
ويُميَّز بين الاكتشافات الملموسة ومقترحات الفئات. فالاكتشاف الملموس يتعلق بنظامٍ وتهيئةٍ محددين. أما مقترح الفئة فيطلب آليةً أو عائلةً أو خاصيةً أمنية جديدة أو منقّحة. وقد يقدّم بلاغُ الحادثة أدلةً لأيٍّ منهما، لكن لا ينبغي تحويله ضمنيًا إلى فئةٍ عامة. ويُسجَّل نوع المدخل صراحةً وتُربط المدخلات ذات الصلة.
وينبغي أن يحتفظ السجل بحالات التفنيد، والتكرار، والسحب، والحالات غير الحاسمة. فهي تمنع تكرار الادعاءات غير المدعومة وتحفظ الأدلة السلبية المفيدة. ويخضع الاحتفاظ لالتزامات الخصوصية والإفصاح؛ ولا يُشترط الاحتفاظ العلني بالبيانات الشخصية أو بتفاصيل الاستغلال التشغيلية.
بنية السجل ذات الإصدارات
لكل مدخلٍ معرّفٌ ثابت وفق المخطط الوارد في «الإصدارات والمعرّفات»، ورقمُ تنقيحٍ للمدخل، وإصدارُ المخطط، وإصدارُ الإطار المستخدم في التصنيف. وإسناد المعرّف يدل على إنشاء السجل، لا على قبوله. وتظل التنقيحات السابقة قابلةً للإحالة، إلا حيث يقتضي الحذفُ القانوني أو الحمايةُ الضرورية معالجةً مقيّدة؛ وينبغي أن تترك هذه التغييرات تفسيرًا تدقيقيًا غير حساس.
| مجموعة الحقول | المحتوى المطلوب |
|---|---|
| الهوية | entry_id وentry_revision وschema_version وframework_version وentry_kind وtitle وcreated_at وupdated_at |
| الادعاء | عبارةٌ محددة النطاق، ومعرّفات الادعاء، والعقد المتوقع، والافتراضات، والمشاهدات المفنِّدة |
| النطاق | الإصدارات المستهدفة، ومراجع التهيئة، وحدود النشر، ودورة الحياة، ومعرّفات الملفات التعريفية وإصداراتها |
| التهديد | الفاعل أو الاضطراب، والوصول، والمعرفة، والتحكم، والتغذية الراجعة، والميزانية، والتوقيت، والاستثناءات |
| التصنيف | property_ids وmechanism_ids وdimension_ids وentry_points وfailed_contracts وparticipating_domains وinteraction_locus وpropagation وimpact_scope |
| الأدلة | نتائج التقييم، والأوجه E0–E6، والبروتوكول، وأوراكل الحكم، وحالات الضبط، والوحدات، وحساب التنفيذ، والتحليل، ومراجع المواد |
| العاقبة | الأثر المبرهَن عليه والمحتمل، وتعليل الخطورة، وافتراضات الاحتمال، وقابلية العكس، وحدود التعافي |
| المراجعة | review_status، والمراجعون، والإفصاحات عن الاستقلال، وتضارب المصالح، والتعليل، والمعايير غير المحسومة، وتاريخ القرارات |
| الإفصاح | confidentiality_status، وسجل التواصل مع المالك حيثما كان مناسبًا، وشروط الحظر المؤقت أو النشر، وعمليات الحجب، وقواعد الوصول والاحتفاظ |
| العلاقات | المدخلات ذات الصلة، وروابط التكرار أو الإحلال، والمقارنة بالفئات السابقة، وتاريخ الترحيل |
ويجب أن يكون لكل معلومةٍ مطلوبة مفقودة سببٌ صريح وحالةٌ معلّقة. فالمجهول لا يعادل القيمةَ الفارغة، ولا القيمةَ المنطقية «خطأ»، ولا الصفر. وفي مقترح الفئة، يمكن أن تحيل الحقول الخاصة بالهدف إلى التقييمات الداعمة بدلًا من التظاهر بأن للفئة إصدارًا مستهدفًا واحدًا.
ويحيل التصنيف إلى المجالات المعتمدة بأسمائها الدقيقة: L1 النماذج والحوسبة؛ وL2 البرمجيات والبنية التحتية؛ وL3 البيانات والمعرفة؛ وL4 الإدراك وتمثيل العالم؛ وL5 التفسير والأهداف؛ وL6 الذاكرة واستمرارية الحالة؛ وL7 التخطيط والفعل؛ وL8 تفاعل الإنسان والنظام؛ وL9 التفاعل الجماعي والنظامي. ويسمح المخطط بعدة عقودٍ أخفقت، وبمواضع على مستوى العقدة، أو الحافة، أو المورد المشترك، أو المجموعة، أو الرسم البياني الجزئي. والمجال الأساسي اختياري. ومجرد العبور لا يعني إخفاق المجال.
حقول الأدلة والنتائج
نتائج التقييم هي supported أو refuted أو inconclusive أو quality_issue أو hazard_only أو out_of_scope، وتُرفق كلٌّ منها بادعاءٍ وتعليل. وهي منفصلة عن حالة المراجعة الإدارية. وقد يتضمن مدخلٌ واحد ادعاءً ضيقًا مدعومًا وتعميمًا غير حاسم.
وE0 فرضية، وE1 مشاهدة منفردة، وE2 مشاهدة أُعيد إنتاجها، وE3 تجربة مضبوطة، وE4 أدلة عبر الظروف، وE5 أدلة عبر النماذج، وE6 تكرار مستقل هي أوجهٌ للأدلة كما عرّفتها «منهجية التقييم». ويسجّل كلٌّ منها supported أو unsupported أو not_tested أو inconclusive أو not_applicable، مع المواد والنطاق. وليست درجاتٍ تراكمية ولا بدائلَ عن حكم المراجعين. والتكرار المستقل لادعاءٍ ضيق لا يثبت انطباقًا واسعًا.
ويجوز لحقل المعايير غير المحسومة أن ينص على نحوٍ مشروع على أنه لم تبقَ معايير معلّقة للقرار المحدد، شريطة تسجيل القيود المتبقية على حدة. ويجب ألا يستلزم اختلاقَ معيارٍ غير مستوفى لمجرد استكمال نموذج. والأدلة المحجوبة عن الوصول العام ليست ضعيفةً تلقائيًا، لكن على المراجعين أن يبيّنوا ما إذا كانوا قد فحصوها. ولا يجوز أن تحظى الأدلة غير المتاحة بادعاء التحقق نفسه الذي تحظى به الأدلة المفحوصة.
حالات المراجعة المقترحة
تُستخدم القيم submitted وunder_review وaccepted وrejected وwithdrawn وsuperseded بوصفها قيمًا للحقل review_status. وقبول اكتشافٍ ملموس يعني أن الادعاء المحدد استوفى معايير المراجعة الموثقة. ويتطلب قبول مقترح الفئة فوق ذلك استيفاءَ معايير الجِدّة والإدراج في التصنيف. وليس أيٌّ منهما شهادةً للنظام المستهدف، ولا حكمًا على كل نشرٍ ذي صلة.
يدخل التقديمُ الحالةَ submitted. ويمكن للفرز الأولي أن ينقله إلى under_review، أو أن يطلب المعلومات الناقصة مع إبقائه في حالته. ويمكن للمراجعة المعلَّلة أن تنتهي إلى accepted أو rejected؛ ويجوز لمقدّم الطلب أن يطلب السحب. وتُربط السجلات التي حلّ محلها غيرُها بالسجل البديل. ويمكن للأدلة الجديدة أن تعيد فتح أي قرارٍ موضوعي عبر under_review. ويُحفظ القرار السابق ويُشرح سبب تغيّره.
وينبغي ربط المدخلات المكررة بالمدخل المعني والاحتفاظ بأي أدلةٍ متمايزة فيها، بدلًا من منحها ادعاءَ قبولٍ مستقل. وقد يتضمن مقترحٌ مرفوض اكتشافًا ملموسًا صالحًا أخفق ادعاءُ جِدّته. فيُفصل بين هذين القرارين. والسحب لا يمحو حدثًا مدعومًا على نحوٍ مستقل، ويمكن تنقيح القبول حين تقوّض أدلةٌ جديدة التفسيرَ.
مسؤوليات الحوكمة المقترحة
الأدوار الآتية مقترحٌ للحوكمة، لا ادعاءٌ بوجود مراجعين أو مجلسٍ حاليًا. فأمينُ الاستقبال يتحقق من الاكتمال ويحمي المواد الحساسة. والمراجعُ التقني يفحص العقود، وإمكانيةَ الوصول، والضوابطَ، والأدلةَ السببية. ومراجعُ المجال يفحص العواقبَ وافتراضاتِ الملف التعريفي حيث تلزم خبرةٌ متخصصة. وأمينُ القرار يسجّل النتيجة ويضمن تطبيق المعايير المعلنة.
وقد يؤدي شخصٌ واحد الأدوارَ الإدارية في مشروعٍ صغير، لكن يجب عليه الإفصاح عن هذا التداخل. ولا ينبغي أن يكون مقدّم الطلب المراجعَ الموضوعي الوحيد لقبول طلبه. وحيث يتعذر الحصول على مراجعةٍ مستقلة، يُبقى التقديم في حالة انتظار المراجعة بدلًا من محاكاة الاستقلال. وينبغي الإفصاح عن تضارب المصالح المالي، والوظيفي، والمتعلق بالتأليف، والشخصي، والتنافسي وتقييمه؛ وقد يلزم التنحي أو إضافة مراجعٍ آخر.
ويسمّي محضرُ القرار الادعاءَ، والأدلةَ التي فُحصت، والمعاييرَ المنطبقة، والحدودَ غير المحسومة، وأدوارَ المراجعين، وتضاربَ المصالح، والآراءَ المخالفة، والتاريخ. ولا ينبغي أن تتوقف المراجعة على الانتماء المؤسسي أو على مكانة جهة النشر. فقابلية إعادة الإنتاج والخبرة ذات الصلة هما المعتبرتان، بينما ينبغي شرح القيود على الوصول إلى الأنظمة المملوكة بدلًا من معاملتها سببًا تلقائيًا للاستبعاد.
ويحدد الطعنُ خطأً إجرائيًا، أو دليلًا أُغفل، أو استدلالًا تقنيًا متنازعًا عليه. وينبغي أن يفحصه، متى أمكن، مراجعٌ لم يكن مسؤولًا عن القرار المطعون فيه. وتبقى النتيجة وتعليلها مرتبطين بالسجل الأصلي. وإذا لم يتوفر مراجعٌ مستقل للطعن، يُسجَّل هذا القيد ويبقى النزاع ظاهرًا. ولا يُنشئ المقترحُ سلطةً لا يستطيع ممارستها حاليًا.
القبول والاستشهاد
يتطلب الاكتشافُ الملموس عقدًا أمنيًا محددًا، وشروطًا ذات مصداقية، وأدلةً على الخرق المدَّعى، وتفسيرًا محدودًا للأثر، ونظرًا في البدائل، ومحضرَ مراجعة. وتتوقف الأدلة المطلوبة على الادعاء والملف التعريفي. فالعيب التنفيذي الحتمي لا يحتاج إلى اختبارٍ عبر النماذج لمجرد أن يصبح قابلًا للمعالجة.
ويقارن مقترحُ الفئة فوق ذلك أقربَ الفئات القائمة، ويشرح وجه التمييز، ويقدّم حالاتٍ داعمة، ويختبر المفنِّدات المعقولة. وينبغي السعي إلى أدلةٍ عبر الظروف وأدلةٍ مستقلة بقدرٍ يتناسب مع درجة العمومية المدَّعاة. وغياب ملفٍ تعريفي خضع للمراجعة مسألةُ قبولٍ معلّقة يجب تناولها صراحةً، لا سببٌ لتطبيق عتبةٍ عددية اعتباطية للأدلة.
وتتضمن الاستشهاداتُ معرّفَ المدخل، ورقمَ التنقيح، وإصدارَ الإطار، وحالةَ المراجعة، ونطاقَ الادعاء. والمدخلات المقدَّمة أو قيد المراجعة مقترحاتٌ قيد التقويم. ويجوز وصف المدخلات المقبولة بأنها مقبولة وفق العملية الموثقة، مع بيان قيودها. وتبقى المدخلات المرفوضة أو التي حلّ محلها غيرُها قابلةً للاستشهاد بوصفها قراراتٍ تاريخية. وينبغي أن يحافظ الملخص العام على هذه القيود، كي لا تحوّل الملخصاتُ المنفصلة عن سياقها الفرضياتِ إلى ثغراتٍ معترفٍ بها.
الإفصاح والوصول إلى الأدلة
تتطلب مواطنُ الضعف المحددة في الأنظمة المنشورة معالجةً منسَّقة مع المالك المسؤول قبل نشر أي تفاصيل تشغيلية على الملأ. وتُسجَّل محاولات التواصل، والردود ذات الصلة، والتوقيت المتفق عليه حيثما توفر، وأساسُ قرار النشر. ولا تفرض هذه الوثيقة مهلةً عامة، ولا تجيز النشر خلافًا للالتزامات المنطبقة.
وتُستخدم القيم public وrestricted وembargoed بوصفها قيمًا للحقل confidentiality_status. ويمكن للسجلات العامة أن تصف العقود، والإصداراتِ المتأثرة حيثما كان ذلك مناسبًا، وملخصاتِ الأدلة، والمعالجةَ، مع تقييد التفاصيل التي تمكّن من إساءة الاستخدام على نحوٍ جوهري. وتُخزَّن المواد الحساسة بأدنى قدرٍ لازم من الوصول، وبحدودٍ للاحتفاظ، وسجلاتٍ للتدقيق. وتُحجب بيانات الاعتماد، والبيانات الشخصية، والمعلومات المؤسسية غير ذات الصلة.
وينبغي للباحثين أن يقدّموا أدلةً كافية للمراجعين المصرَّح لهم دون إتاحة تعليماتٍ ضارة لإعادة الإنتاج للجميع. وإذا حالت قيودُ الإفصاح دون التحقق المستقل، يُسجَّل هذا القيد بعينه. وحماية الخصوصية وجودة الأدلة قراران مترابطان لكنهما متمايزان. وقد تثبت بصمةٌ حافظة للخصوصية هويةَ مادةٍ ما دون أن تثبت محتوى الادعاء.
مدخلٌ توضيحي
ما يلي مثالٌ توضيحي لم يُنفَّذ، وليس اكتشافًا مقدَّمًا إلى السجل أو مقبولًا فيه. ومعرّفه المحلي هو EXAMPLE-RETRIEVAL-01، ويجب ألا يُخصَّص بوصفه مدخلًا في سجل الإنتاج.
والادعاء هو أن محتوى مسترجَعًا يتحكم فيه المهاجم قد يتسبب في تحديثٍ غير مصرَّح به لتفضيلٍ محتفَظ به في مساعدٍ اصطناعي. ويتحكم الفاعل في وثيقةٍ واحدة، ولا يستطيع تغيير تعليمات النظام أو أذونات الأدوات. والخصائص المقترحة هي P04 «سلامة التعليمات» وP07 «سلامة الذاكرة». ونقطة الدخول مصدرُ معلوماتٍ في L3؛ وتتعلق العقود التي يُفترض أنها أخفقت بالتفسير في L5 وبالدوام في L6. والإحالات المقترحة إلى الآليات هي M05 «التلاعب الدلالي» وM08 «التلاعب بالذاكرة»، ريثما تتوفر الأدلة. ولا يُدَّعى أي خرقٍ لـ«سلامة الفعل» في L7 دون مشاهدةٍ تخص عقد الفعل.
وأوراكل الحكم المخطط له قراءةٌ للحالة المحتفَظ بها، مع استرجاعٍ غير ضار مطابِق بوصفه حالةَ ضبطٍ سلبية، وإعادة ضبطٍ معزولة للجلسة. ولا تتوفر أعداد المحاولات، ولا الأحداث المرصودة، ولا الأثر، لأن المثال لم يُنفَّذ. ونتيجة التقييم inconclusive؛ ويمكن أن يصف E0 الفرضيةَ الصريحة، بينما تكون E1–E6 في حالة not_tested. ولن تبقى حالة المراجعة submitted إلا إذا أُنشئ تقديمٌ حقيقي؛ ولا قرارَ مراجعةٍ لهذا السجل التوضيحي.
ومن المفنِّدات أن تظهر أدلةٌ على أن تغيّر الحالة يتطلب تحديثًا من مستخدمٍ مصرَّح له، أو أن الدوام المزعوم لا يحدث أبدًا. وثمة بديلٌ ثانٍ هو أن تكون أداةُ الاختبار نفسها هي التي تكتب التفضيل. ويبيّن هذا المثال كيف تُذكر الأدلة الناقصة دون اختلاق اكتشاف.
الصيانة والترحيل
يُتحقق من صحة بنية المخطط بمعزلٍ عن القبول العلمي. فقد يحتوي سجلٌ سليم البنية على ادعاءٍ غير مدعوم. ويُتحقق من الإحالات إلى المعرّفات إزاء إصدار الإطار المحدد، ويُرفض أي إعادة استخدامٍ صامتة لمعاني P أو M أو D. وتسجّل عمليات الترحيل التصنيفَ القديم، والمقابلةَ المقترحة، والمراجعَ، والسبب؛ وتتطلب التغييرات الجوهرية في المجالات إعادةَ تصنيفٍ بشرية بدلًا من إعادة التسمية التلقائية.
ويُدقَّق زمنُ اتخاذ القرار، والنزاعاتُ غير المحسومة، ومعالجةُ الإفصاح، والحقولُ المفقودة المتكررة بوصفها أدلةً على سير العملية. ولا تُعرض أعداد المدخلات برهانًا على الجودة العلمية. وينجح السجل حين يستطيع القارئ أن يميّز ما اقتُرح، وما رُصد، وما ثبت، وما قُيّد، وما نُقّح لاحقًا.