دليل المراجعة · GKU 3

دليل مراجعة أمن البرمجيات: التطوير والترميز الآمن والتصميم والخوارزميات (الأمن السيبراني)

تدخل معظم الاختراقات عبر برمجيات كُتبت لتعمل، لا لتقاوم مهاجماً. وتتبع هذه الوحدة حياة البرنامج. تبدأ بعملية التطوير ونموذج التنفيذ: كيف تتحول المتطلبات إلى شيفرة، وكيف تشغّلها اللغات المترجمة والمفسرة والمترجمة في الوقت المناسب، وأين يقع المكدس والكومة. ثم تضيق إلى الترميز الآمن: تحقق من المدخلات عند الحد، وأبقِ البيانات خارج الشيفرة، وتجنب الصدفة، وعالج الأخطاء دون تسريب، وراجع الفروق. وينتقل قسم التصميم مستوى إلى المبادئ التي تجعل النظام قابلاً للدفاع قبل كتابة دالة واحدة — أقل امتياز، والافتراضات الآمنة عند الفشل، والوساطة الكاملة، وفصل الامتيازات، والدفاع في العمق، وحدود الثقة، ونمذجة التهديدات، والأمن القابل للاستعمال. ويعطي القسمان الأخيران المفردات الخوارزمية التي يتوقعها الممتحن: رتب النمو، والعلاقات التكرارية، واستراتيجيات التصميم المعيارية، والفئتان P وNP، وبنى البيانات والتمثيلات التي تقرر هل يكلف البحث في قائمة حظر خطوة واحدة أم مليوناً. وتستعمل الأمثلة قوائم قصيرة يمكن تتبعها يدوياً.