Separation kernel
একটি পৃথকীকরণ কার্নেল হল এক ধরনের নিরাপত্তা কার্নেল যা একটি বিতরণকৃত পরিবেশ অনুকরণ করতে ব্যবহৃত হয়। 1981 সালের একটি গবেষণাপত্রে জন রাশবি এই ধারণাটি প্রবর্তন করেছিলেন। রাশবি বড়, জটিল নিরাপত্তা কার্নেলের উন্নয়ন ও যাচাইকরণের ক্ষেত্রে উদ্ভূত সমস্যা ও সমস্যার সমাধান হিসাবে পৃথকীকরণ কার্নেলের প্রস্তাব করেছিলেন যার উদ্দেশ্য ছিল "সাধারণ-উদ্দেশ্য বহু-ব্যবহারকারী সিস্টেমে বহু-স্তরের নিরাপদ অপারেশন প্রদান করা"। রাশবির মতে, "একটি পৃথকীকরণ কার্নেলের কাজ হল এমন একটি পরিবেশ তৈরি করা যা একটি শারীরিকভাবে বিতরণকৃত সিস্টেম দ্বারা প্রদত্ত থেকে অবিচ্ছেদ্যঃ এটি অবশ্যই এমনভাবে প্রদর্শিত হবে যেন প্রতিটি ব্যবস্থা একটি পৃথক, বিচ্ছিন্ন মেশিন এবং সেই তথ্য শুধুমাত্র পরিচিত বাহ্যিক যোগাযোগ লাইন বরাবর এক মেশিন থেকে অন্য মেশিনে প্রবাহিত হতে পারে। সেপারেশন কার্নেলের যে বৈশিষ্ট্যগুলি আমাদের অবশ্যই প্রমাণ করতে হবে তার মধ্যে একটি হল যে, স্পষ্টভাবে সরবরাহ করা ব্যতীত শাসকদের মধ্যে তথ্য প্রবাহের কোনও মাধ্যম নেই। পৃথকীকরণ কার্নেলের একটি রূপ, বিভাজনকারী কার্নেল, বাণিজ্যিক বিমান সম্প্রদায়ের মধ্যে একক প্রসেসর, একাধিক ফাংশন, সম্ভবত মিশ্র সমালোচনামূলকতার একত্রীকরণের উপায় হিসাবে গ্রহণযোগ্যতা অর্জন করেছে। এই ধারার বাণিজ্যিক রিয়েল-টাইম অপারেটিং সিস্টেম পণ্যগুলি বিমান নির্মাতারা সুরক্ষা-সমালোচনামূলক এভিওনিক্স অ্যাপ্লিকেশনের জন্য ব্যবহার করেছেন। 2007 সালে ইউ. এস. ন্যাশনাল সিকিউরিটি এজেন্সি (এন. এস. এ)-এর ইনফরমেশন অ্যাসুরেন্স ডিরেক্টরেট সেপারেশন কার্নেল প্রোটেকশন প্রোফাইল (এস. কে. পি. পি) প্রকাশ করে, যা সবচেয়ে প্রতিকূল হুমকির পরিবেশে ব্যবহারের জন্য উপযুক্ত পৃথকীকরণ কার্নেলের জন্য একটি নিরাপত্তা প্রয়োজনীয়তা নির্দিষ্টকরণ। এস. কে. পি. পি সাধারণ মানদণ্ডের ভাষায় আধুনিক পণ্যের একটি শ্রেণীকে বর্ণনা করে যা রাশবির ধারণাগত পৃথকীকরণ কার্নেলের মৌলিক বৈশিষ্ট্য প্রদান করে। এটি ডেভেলপারদের জন্য উপলব্ধ পছন্দগুলিতে কিছু অক্ষাংশ সরবরাহ করার সময় পৃথকীকরণ কার্নেলগুলির নির্মাণ এবং মূল্যায়নের জন্য সুরক্ষা কার্যকরী এবং আশ্বাসের প্রয়োজনীয়তাগুলি সংজ্ঞায়িত করে। এস. কে. পি. পি পৃথকীকরণ কার্নেলকে "হার্ডওয়্যার এবং/অথবা ফার্মওয়্যার এবং/অথবা সফ্টওয়্যার প্রক্রিয়া হিসাবে সংজ্ঞায়িত করে যার প্রাথমিক কাজ হল একাধিক পার্টিশন স্থাপন, পৃথক করা এবং পৃথক করা এবং বিষয়গুলির মধ্যে তথ্য প্রবাহ নিয়ন্ত্রণ করা এবং সেই পার্টিশনগুলিতে বরাদ্দ করা সম্পদ রপ্তানি করা।" উপরন্তু, পৃথকীকরণ কার্নেলের মূল কার্যকরী প্রয়োজনীয়তাগুলির মধ্যে রয়েছেঃ অননুমোদিত অ্যাক্সেস থেকে সমস্ত সংস্থানের (সিপিইউ, মেমরি এবং ডিভাইস সহ) সুরক্ষা। টার্গেট অফ ইভালুয়েশন সিকিউরিটি ফাংশন (টি. এস. এফ) দ্বারা ব্যবহৃত অভ্যন্তরীণ সম্পদগুলিকে বিষয়গুলির জন্য উপলব্ধ রপ্তানি করা সম্পদ থেকে পৃথক করা। রপ্তানি সম্পদের বিভাজন ও বিচ্ছিন্নকরণ। বিভাজনের মধ্যে এবং রপ্তানীকৃত সম্পদের মধ্যে তথ্য প্রবাহের মধ্যস্থতা। নিরীক্ষা পরিষেবা। পৃথকীকরণ কার্নেল তার নিয়ন্ত্রণে থাকা সমস্ত রপ্তানি সম্পদকে বিভাজনে বরাদ্দ করে। স্পষ্টভাবে অনুমোদিত তথ্য প্রবাহ ব্যতীত পার্টিশনগুলি পৃথক করা হয়। একটি অংশে একটি বিষয়ের ক্রিয়া অন্য অংশে বিষয় থেকে পৃথক করা হয় (অর্থাৎ, সনাক্ত করা যায় না বা যোগাযোগ করা যায় না), যদি না সেই প্রবাহের অনুমতি দেওয়া হয়। পার্টিশন এবং প্রবাহগুলি কনফিগারেশন ডেটাতে সংজ্ঞায়িত করা হয়। লক্ষ্য করুন যে 'পার্টিশন' এবং 'সাবজেক্ট' হল অর্থোগোনাল বিমূর্ততা। 'বিভাজন', তার গাণিতিক উৎপত্তি দ্বারা নির্দেশিত, সিস্টেম সত্তাগুলির একটি সেট-তাত্ত্বিক গোষ্ঠীকরণের জন্য প্রদান করে, যেখানে 'বিষয়' আমাদের একটি সিস্টেমের পৃথক সক্রিয় সত্তা সম্পর্কে যুক্তি করার অনুমতি দেয়। সুতরাং, একটি পার্টিশন (একটি সংগ্রহ, যার মধ্যে শূন্য বা তার বেশি উপাদান রয়েছে) একটি বিষয় (একটি সক্রিয় উপাদান) নয়, তবে এতে শূন্য বা তার বেশি বিষয় থাকতে পারে। পৃথকীকরণ কার্নেল তার হোস্ট করা সফ্টওয়্যার প্রোগ্রামগুলিকে উচ্চ-আশ্বাস পার্টিশনিং এবং তথ্য প্রবাহ নিয়ন্ত্রণ বৈশিষ্ট্য সরবরাহ করে যা টেম্পারপ্রুফ এবং অ-বাইপাসযোগ্য উভয়ই। এই ক্ষমতাগুলি বিভিন্ন সিস্টেম স্থাপত্যের জন্য একটি বিন্যাসযোগ্য বিশ্বস্ত ভিত্তি প্রদান করে। সলিউশন পাইকওএস হার্ড রিয়েল-টাইম ক্ষমতার সাথে পৃথকীকরণ কার্নেল হাইপারভাইজার প্রযুক্তিকে একত্রিত করে। গ্রিন হিলস সফ্টওয়্যার থেকে ইন্টিগ্রিটি-178বি 2008 সালের সেপ্টেম্বরে এটি এস. কে. পি. পি-র বিরুদ্ধে প্রত্যয়িত প্রথম পৃথকীকরণ কার্নেল হয়ে ওঠে। উইন্ড রিভার সিস্টেমে পৃথকীকরণ কার্নেল প্রযুক্তি রয়েছে যা 2009 সালে সক্রিয় শংসাপত্র প্রক্রিয়ায় ছিল। লিনক্স সফ্টওয়্যার টেকনোলজিসের একটি পৃথক কার্নেল রয়েছে, যার নাম লিনক্সসেকিউর। 2011 সালে, ইনফরমেশন অ্যাসুরেন্স ডিরেক্টরেট এস. কে. পি. পি সূর্যাস্ত করে। এন. এস. এ আর এস. কে. পি. পি-র বিরুদ্ধে পৃথক কার্নেল সহ নির্দিষ্ট অপারেটিং সিস্টেমগুলিকে প্রত্যয়িত করবে না, উল্লেখ করে যে "এই সুরক্ষা প্রোফাইলের সাথে সামঞ্জস্য, নিজেই, পর্যাপ্ত আস্থা প্রদান করে না যে জাতীয় সুরক্ষা তথ্য যথাযথভাবে একটি বৃহত্তর সিস্টেমের প্রেক্ষাপটে সুরক্ষিত রয়েছে যেখানে সঙ্গতিপূর্ণ পণ্যটি সংহত করা হয়েছে"। এসইএল4 মাইক্রোকার্নেলের ধারণার একটি আনুষ্ঠানিক প্রমাণ রয়েছে যে এটি একটি পৃথকীকরণ কার্নেল হিসাবে কনফিগার করা যেতে পারে। এর সাথে তথ্যের জোরপূর্বক ধারাবাহিকতা বোঝায় যে এটি আশ্বাসের একটি উচ্চতর স্তরের উদাহরণ। মুয়েন পৃথকীকরণ কার্নেল x86 মেশিনের জন্য একটি আনুষ্ঠানিকভাবে যাচাইকৃত মুক্ত উৎস পৃথকীকরণ কার্নেল। আরও দেখুন একটি পৃথক কার্নেলের উপর ভিত্তি করে একটি কম্পিউটার নিরাপত্তা কাঠামোর জন্য একাধিক স্বাধীন স্তরের নিরাপত্তা দেখুন। ক্রুট ফ্রিবিএসডি জেল অপারেটিং-সিস্টেম-স্তরের ভার্চ্যুয়ালাইজেশন রেফারেন্স বিতরণকৃত কম্পিউটিং অপারেটিং সিস্টেম কার্নেল