Separation kernel
एक पृथक्करण कर्नेल एक प्रकार का सुरक्षा कर्नेल है जिसका उपयोग एक वितरित वातावरण का अनुकरण करने के लिए किया जाता है। इस अवधारणा को जॉन रशबी ने 1981 के एक पेपर में पेश किया था। रशबी ने पृथक्करण कर्नेल को उन कठिनाइयों और समस्याओं के समाधान के रूप में प्रस्तावित किया जो बड़े, जटिल सुरक्षा कर्नेल के विकास और सत्यापन में उत्पन्न हुई थीं जिनका उद्देश्य "सामान्य-उद्देश्य बहु-उपयोगकर्ता प्रणालियों पर बहु-स्तरीय सुरक्षित संचालन प्रदान करना" था। रशबी के अनुसार, "एक पृथक्करण कर्नेल का कार्य एक ऐसा वातावरण बनाना है जो भौतिक रूप से वितरित प्रणाली द्वारा प्रदान किए गए वातावरण से अप्रभेद्य हैः यह ऐसा प्रतीत होना चाहिए जैसे कि प्रत्येक व्यवस्था एक अलग, पृथक मशीन है और यह जानकारी केवल ज्ञात बाहरी संचार लाइनों के साथ एक मशीन से दूसरी मशीन में प्रवाहित हो सकती है। इसलिए, एक पृथक्करण कर्नेल के गुणों में से एक यह है कि स्पष्ट रूप से प्रदान किए गए के अलावा शासनों के बीच सूचना प्रवाह के लिए कोई चैनल नहीं हैं। पृथक्करण कर्नेल के एक प्रकार, विभाजनकारी कर्नेल, ने वाणिज्यिक विमानन समुदाय में एकल प्रोसेसर, कई कार्यों, शायद मिश्रित महत्वपूर्णता के रूप में समेकित करने के तरीके के रूप में स्वीकृति प्राप्त की है। इस शैली में वाणिज्यिक रियल-टाइम ऑपरेटिंग सिस्टम उत्पादों का उपयोग विमान निर्माताओं द्वारा सुरक्षा-महत्वपूर्ण एवियोनिक्स अनुप्रयोगों के लिए किया गया है। 2007 में यू. एस. राष्ट्रीय सुरक्षा एजेंसी (एन. एस. ए.) के सूचना आश्वासन निदेशालय ने पृथक्करण कर्नेल संरक्षण प्रोफ़ाइल (एस. के. पी. पी.) प्रकाशित की, जो सबसे शत्रुतापूर्ण खतरे वाले वातावरण में उपयोग किए जाने के लिए उपयुक्त पृथक्करण कर्नेल के लिए एक सुरक्षा आवश्यकता विनिर्देश है। एस. के. पी. पी. सामान्य मानदंड की भाषा में, आधुनिक उत्पादों के एक वर्ग का वर्णन करता है जो रशबी के वैचारिक पृथक्करण कर्नेल के मूलभूत गुण प्रदान करता है। यह विकासकर्ताओं के लिए उपलब्ध विकल्पों में कुछ अक्षांश प्रदान करते हुए पृथक्करण कर्नेल के निर्माण और मूल्यांकन के लिए सुरक्षा कार्यात्मक और आश्वासन आवश्यकताओं को परिभाषित करता है। एस. के. पी. पी. पृथक्करण कर्नेल को "हार्डवेयर और/या फर्मवेयर और/या सॉफ्टवेयर तंत्र के रूप में परिभाषित करता है जिसका प्राथमिक कार्य कई विभाजनों को स्थापित करना, अलग करना और अलग करना और उन विभाजनों को आवंटित विषयों और निर्यात किए गए संसाधनों के बीच सूचना प्रवाह को नियंत्रित करना है।" इसके अलावा, पृथक्करण कर्नेल की मुख्य कार्यात्मक आवश्यकताओं में शामिल हैंः अनधिकृत पहुंच से सभी संसाधनों (सीपीयू, मेमोरी और उपकरणों सहित) की सुरक्षा। मूल्यांकन सुरक्षा कार्यों के लक्ष्य (टी. एस. एफ.) द्वारा उपयोग किए जाने वाले आंतरिक संसाधनों को विषयों को उपलब्ध कराए गए निर्यात किए गए संसाधनों से अलग करना। निर्यातित संसाधनों का विभाजन और अलगाव। विभाजनों के बीच और निर्यातित संसाधनों के बीच सूचना प्रवाह की मध्यस्थता। लेखा परीक्षा सेवाएँ। पृथक्करण कर्नेल अपने नियंत्रण में सभी निर्यातित संसाधनों को विभाजनों में आवंटित करता है। विभाजन स्पष्ट रूप से अनुमत सूचना प्रवाह को छोड़कर अलग किए जाते हैं। एक विभाजन में एक विषय की क्रियाओं को दूसरे विभाजन में विषयों से अलग किया जाता है (अर्थात, इसका पता नहीं लगाया जा सकता है या उन्हें सूचित नहीं किया जा सकता है), जब तक कि उस प्रवाह की अनुमति नहीं दी गई हो। विभाजन और प्रवाह को विन्यास डेटा में परिभाषित किया गया है। ध्यान दें कि 'विभाजन' और 'विषय' ऑर्थोगोनल अमूर्त हैं। 'विभाजन', जैसा कि इसकी गणितीय उत्पत्ति से संकेत मिलता है, प्रणाली संस्थाओं के एक सेट-सैद्धांतिक समूह के लिए प्रदान करता है, जबकि 'विषय' हमें एक प्रणाली के व्यक्तिगत सक्रिय संस्थाओं के बारे में तर्क करने की अनुमति देता है। इस प्रकार, एक विभाजन (एक संग्रह, जिसमें शून्य या अधिक तत्व होते हैं) एक विषय (एक सक्रिय तत्व) नहीं है, लेकिन इसमें शून्य या अधिक विषय हो सकते हैं। पृथक्करण कर्नेल अपने होस्ट किए गए सॉफ़्टवेयर प्रोग्रामों को उच्च-आश्वासन विभाजन और सूचना प्रवाह नियंत्रण गुण प्रदान करता है जो छेड़छाड़ रहित और गैर-पारगम्य दोनों हैं। ये क्षमताएँ विभिन्न प्रकार के प्रणाली संरचनाओं के लिए एक विन्यास योग्य विश्वसनीय आधार प्रदान करती हैं। सॉल्यूशंस पाइकओएस कठोर वास्तविक समय क्षमताओं के साथ पृथक्करण कर्नेल हाइपरवाइजर तकनीक को जोड़ती है। ग्रीन हिल्स सॉफ्टवेयर से इंटीग्रिटी-178बी सितंबर 2008 में यह एस. के. पी. पी. के खिलाफ प्रमाणित पहला पृथक्करण कर्नेल बन गया। विंड रिवर सिस्टम्स के पास पृथक्करण कर्नेल तकनीक है जो 2009 में सक्रिय प्रमाणन प्रक्रिया में थी। लिन्क्स सॉफ्टवेयर टेक्नोलॉजीज में एक अलग कर्नेल, लिन्क्ससिक्योर है। 2011 में, सूचना आश्वासन निदेशालय ने एस. के. पी. पी. को समाप्त कर दिया। एन. एस. ए. अब एस. के. पी. पी. के खिलाफ पृथक्करण कर्नेल सहित विशिष्ट संचालन प्रणालियों को प्रमाणित नहीं करेगा, यह देखते हुए कि "इस सुरक्षा प्रोफ़ाइल के अनुरूप, अपने आप में, पर्याप्त विश्वास प्रदान नहीं करता है कि राष्ट्रीय सुरक्षा जानकारी एक बड़ी प्रणाली के संदर्भ में उचित रूप से संरक्षित है जिसमें अनुरूप उत्पाद एकीकृत है।" एस. ई. एल. 4 माइक्रोकर्नल में अवधारणा का एक औपचारिक प्रमाण है कि इसे एक पृथक्करण कर्नेल के रूप में कॉन्फ़िगर किया जा सकता है। इसके साथ-साथ सूचना की निरंतरता का तात्पर्य है कि यह आश्वासन का एक उच्च स्तर का उदाहरण है। म्यूएन पृथक्करण कर्नेल भी x86 मशीनों के लिए एक औपचारिक रूप से सत्यापित मुक्त स्रोत पृथक्करण कर्नेल है। पृथक्करण कर्नेल पर आधारित कंप्यूटर सुरक्षा संरचना के लिए मल्टीपल इंडिपेंडेंट लेवल ऑफ सिक्योरिटी देखें। क्रूट फ्रीबीएसडी जेल ऑपरेटिंग-सिस्टम-स्तरीय वर्चुअलाइजेशन संदर्भ वितरित कंप्यूटिंग ऑपरेटिंग सिस्टम कर्नेल