نموذج بحثي مستقل
QuantumSafe Scanner
أداة تعمل دون اتصال لتحديد استخدام التشفير في الملفات المصدرية المدعومة وإعلانات الاعتماديات المحلية لمراجعتها بشرياً.
- نوع المشروع
- نموذج بحثي مستقل
- الحالة
- نموذج في مرحلة البحث، الإصدار v0.2.0
- التقنيات
- Go · JSON
المشكلة
قد يصعب تحديد الاعتماديات التشفيرية في مستودعات الشيفرة قبل مراجعة محددة النطاق للاستعداد للمرحلة ما بعد الكم.
ما بنته Evolext
- اكتشاف دون اتصال للملفات المصدرية وإعلانات الاعتماديات المحلية
- مخرجات ثابتة للواجهة النصية وتقارير JSON
- تقرير نموذجي منشور ببيانات اصطناعية
النهج الهندسي
تستخدم الأداة تحليلاً يراعي لغة البرمجة وقواعد كشف خضعت للمراجعة. النتائج مؤشرات تتطلب مراجعة بشرية ضمن سياقها، وليست استنتاجات عن نظام منشور.
قرار هندسي حقيقي: إبقاء الاستكشاف دون اتصال
QuantumSafe Scanner نموذج بحثي أولي مستقل. توثّق مستودعاته خيار التنفيذ التالي؛ وهو ليس دليلًا على طريقة تسليم مشروع عميل.
- القرار
- فحص الشيفرة المصرّح بها وتصريحات الاعتماديات المحلية المعروفة دون رفع المستودع أو تشغيل شيفرته.
- السبب
- يساعد الفحص المحلي للقراءة فقط على الحد من كشف محتوى المستودع دون حاجة، ويتجنب تشغيل شيفرة المشروع غير الموثوقة أثناء المسح.
- المفاضلة
- النتائج الثابتة مرشحات للمراجعة البشرية؛ ولا تثبت الاستخدام أثناء التشغيل أو اكتمال التغطية أو حالة النشر أو نجاح التفاوض على تشفير ما بعد الكم.
المخرجات القابلة للفحص
يمكن فحص تقرير اصطناعي للإصدار v0.2.0 دون مشاركة مستودع عميل. يوضح صيغة التقرير ونتائج نموذجية، ولا يقيس التغطية في نظام فعلي.
الأدلة والحدود
يقتصر الفحص على المصادر والإعلانات المحلية المدعومة. لا يثبت الاستخدام أثناء التشغيل أو اكتمال الجرد أو الأمان أو الاعتماد أو نجاح التفاوض على آليات ما بعد الكم. معايير NIST FIPS 203 و204 و205 مراجع للخوارزميات وليست اعتماداً لهذه الأداة.