कंप्यूटर सुरक्षा शब्द का एक उपयोग प्रौद्योगिकी को संदर्भित करता है जिसका उपयोग सुरक्षित ऑपरेटिंग सिस्टम को लागू करने के लिए किया जाता है । 1980 के दशक में संयुक्त राज्य अमेरिका रक्षा विभाग (डीओडी) ने ऑरेंज बुक मानकों का उपयोग किया, लेकिन वर्तमान अंतर्राष्ट्रीय मानक आईएसओ / आईईसी 15408, सामान्य मानदंड कई बार अधिक कठोर मूल्यांकन आश्वासन स्तर को परिभाषित करता है । कई आम ऑपरेटिंग सिस्टम प्रक्रिया डिजाइन, परीक्षण और समीक्षा किए जाने के eal4 मानक से मिलते हैं, लेकिन उच्चतम स्तर के लिए आवश्यक औपचारिक सत्यापन का मतलब है कि वे असामान्य हैं । एक eal6 (semiformally सत्यापित डिजाइन और परीक्षण) प्रणाली का एक उदाहरण है अखंडता-178 बी, जो एयरबस ए 380 और कई सैन्य जेट जेट में इस्तेमाल किया जाता है ।
Eal6? के लिए मानक क्या है
semiformally सत्यापित डिजाइन और परीक्षण