واحد استخدام مصطلح امن الكمبيوتر يشير الى التكنولوجيا التي تستخدم لتنفيذ انظمة التشغيل الامنة. في التسعينات استخدمت وزارة الدفاع في الولايات المتحدة معايير الكتاب البرتقالي, ولكن المعيار الدولي الحالي iso / iec 15408, المعايير المشتركة تحدد عددا من مستويات ضمان التقييم الاكثر صارمة تدريجيا. ان العديد من نظم التشغيل المشتركة تلبي معايير eal4 لكي يتم تصميمها واختبارها واستعراضها بشكل منهجي, ولكن التحقق الرسمي المطلوب لاعلى المستويات يعني انها غير شائعة. ومن الامثلة على نظام النزاهة-178 b (semiformally-178 b) الذي يستخدم في طائرة ايرباص a 380 والعديد من الطائرات العسكرية.
ما هو المعيار ل eal6?
تصميم و اختبار