تحول NVIDIA إلى التحقق الرسمي مع SPARK: أمان محسّن، بدون فقدان في الأداء
2025-02-13
في مواجهة التهديدات المتزايدة لأمن الإنترنت، تخلت مجموعة أمان NVIDIA عن الاختبارات التقليدية واعتمدت التحقق الرسمي SPARK. وقد نجح مشروع إثبات المفهوم في تحويل كود C الحساس للأمان إلى SPARK في ثلاثة أشهر فقط، مما أظهر تحسينًا في الأمان دون فقدان في الأداء. الآن، أكثر من خمسين مطورًا في NVIDIA مدربون على SPARK، والعديد من المنتجات يتم شحنها بمكونات SPARK. تسلط هذه دراسة الحالة الضوء على اعتماد التحقق الرسمي بنجاح، مما يوفر دروسًا قيّمة للمنظمات الأخرى التي تسعى إلى تحسين أمنها.
التكنولوجيا