ഗൂഗിൾ ഓപ്പൺ സോഴ്‌സ് സെക്യൂരിറ്റി ഓപ്പറേറ്റിംഗ് സിസ്റ്റം KataOS

ഉൾച്ചേർത്ത ഹാർഡ്‌വെയറിനായി സുരക്ഷിതമായ ഒരു ഓപ്പറേറ്റിംഗ് സിസ്റ്റം സൃഷ്ടിക്കാൻ ലക്ഷ്യമിട്ടുള്ള KataOS പ്രോജക്റ്റുമായി ബന്ധപ്പെട്ട സംഭവവികാസങ്ങളുടെ കണ്ടെത്തൽ Google പ്രഖ്യാപിച്ചു. KataOS സിസ്റ്റം ഘടകങ്ങൾ റസ്റ്റിൽ എഴുതുകയും seL4 മൈക്രോകെർണലിനു മുകളിൽ പ്രവർത്തിക്കുകയും ചെയ്യുന്നു, ഇതിനായി RISC-V സിസ്റ്റങ്ങളിൽ വിശ്വാസ്യതയുടെ ഗണിതശാസ്ത്ര തെളിവ് നൽകിയിട്ടുണ്ട്, ഇത് ഔപചാരിക ഭാഷയിൽ വ്യക്തമാക്കിയിരിക്കുന്ന സ്പെസിഫിക്കേഷനുകളുമായി കോഡ് പൂർണ്ണമായും അനുസരിക്കുന്നുവെന്ന് സൂചിപ്പിക്കുന്നു. അപ്പാച്ചെ 2.0 ലൈസൻസിന് കീഴിൽ പ്രോജക്റ്റ് കോഡ് തുറന്നിരിക്കുന്നു.

RISC-V, ARM64 ആർക്കിടെക്ചറുകൾ അടിസ്ഥാനമാക്കിയുള്ള പ്ലാറ്റ്‌ഫോമുകൾക്ക് സിസ്റ്റം പിന്തുണ നൽകുന്നു. ഹാർഡ്‌വെയറിന് മുകളിൽ seL4-ന്റെയും KataOS പരിതസ്ഥിതിയുടെയും പ്രവർത്തനം അനുകരിക്കുന്നതിന്, വികസന പ്രക്രിയയിൽ Renode ഫ്രെയിംവർക്ക് ഉപയോഗിക്കുന്നു. ഒരു റഫറൻസ് നടപ്പിലാക്കൽ എന്ന നിലയിൽ, ഓപ്പൺടൈറ്റൻ പ്ലാറ്റ്‌ഫോമിനെ അടിസ്ഥാനമാക്കിയുള്ള സുരക്ഷിത ചിപ്പുകളുമായി KataOS സംയോജിപ്പിച്ച് സ്പാരോ സോഫ്‌റ്റ്‌വെയർ, ഹാർഡ്‌വെയർ സമുച്ചയം നിർദ്ദേശിക്കപ്പെടുന്നു. ഓപ്പൺടൈറ്റൻ പ്ലാറ്റ്‌ഫോമും RISC-V ആർക്കിടെക്ചറും ഉപയോഗിച്ച് നിർമ്മിച്ച വിശ്വസനീയമായ ഹാർഡ്‌വെയർ ഘടകങ്ങളുമായി (RoT, റൂട്ട് ഓഫ് ട്രസ്റ്റ്) ലോജിക്കലി പരിശോധിച്ചുറപ്പിച്ച ഓപ്പറേറ്റിംഗ് സിസ്റ്റം കേർണൽ സംയോജിപ്പിക്കാൻ നിർദ്ദിഷ്ട പരിഹാരം നിങ്ങളെ അനുവദിക്കുന്നു. KataOS കോഡിന് പുറമേ, ഭാവിയിൽ ഹാർഡ്‌വെയർ ഘടകം ഉൾപ്പെടെ മറ്റെല്ലാ സ്പാരോ ഘടകങ്ങളും തുറക്കാൻ പദ്ധതിയിട്ടിട്ടുണ്ട്.

മെഷീൻ ലേണിംഗിനും രഹസ്യാത്മക വിവരങ്ങൾ പ്രോസസ്സ് ചെയ്യുന്നതിനുമുള്ള ആപ്ലിക്കേഷനുകൾ പ്രവർത്തിപ്പിക്കുന്നതിന് രൂപകൽപ്പന ചെയ്തിട്ടുള്ള പ്രത്യേക ചിപ്പുകളിൽ ആപ്ലിക്കേഷനിലേക്ക് കണ്ണ് കൊണ്ട് പ്ലാറ്റ്ഫോം വികസിപ്പിച്ചെടുക്കുന്നു, ഇതിന് പ്രത്യേക തലത്തിലുള്ള പരിരക്ഷയും പരാജയങ്ങളുടെ അഭാവത്തിന്റെ സ്ഥിരീകരണവും ആവശ്യമാണ്. അത്തരം ആപ്ലിക്കേഷനുകളുടെ ഉദാഹരണങ്ങളിൽ ആളുകളുടെ ചിത്രങ്ങളും വോയ്‌സ് റെക്കോർഡിംഗുകളും കൈകാര്യം ചെയ്യുന്ന സംവിധാനങ്ങൾ ഉൾപ്പെടുന്നു. സിസ്റ്റത്തിന്റെ ഒരു ഭാഗം പരാജയപ്പെടുകയാണെങ്കിൽ, സിസ്റ്റത്തിന്റെ ബാക്കി ഭാഗങ്ങളിലേക്കും, പ്രത്യേകിച്ച്, കേർണലിലേക്കും നിർണ്ണായക ഭാഗങ്ങളിലേക്കും പരാജയം വ്യാപിക്കില്ലെന്ന് KataOS-ന്റെ വിശ്വാസ്യത പരിശോധന ഉറപ്പാക്കുന്നു.

ഉപയോക്തൃ സ്ഥലത്തേക്ക് കേർണൽ ഉറവിടങ്ങൾ കൈകാര്യം ചെയ്യുന്നതിനുള്ള ഭാഗങ്ങൾ നീക്കുന്നതിനും ഉപയോക്തൃ ഉറവിടങ്ങൾക്കുള്ള അതേ ആക്സസ് കൺട്രോൾ ടൂളുകൾ പ്രയോഗിക്കുന്നതിനും seL4 ആർക്കിടെക്ചർ ശ്രദ്ധേയമാണ്. ഫയലുകൾ, പ്രോസസ്സുകൾ, നെറ്റ്‌വർക്ക് കണക്ഷനുകൾ എന്നിവയും മറ്റും കൈകാര്യം ചെയ്യുന്നതിനായി മൈക്രോകെർണൽ റെഡിമെയ്ഡ് ഉയർന്ന തലത്തിലുള്ള സംഗ്രഹങ്ങൾ നൽകുന്നില്ല; പകരം, ഫിസിക്കൽ അഡ്രസ് സ്പേസ്, ഇന്ററപ്റ്റുകൾ, പ്രോസസർ റിസോഴ്‌സുകൾ എന്നിവയിലേക്കുള്ള ആക്‌സസ് നിയന്ത്രിക്കുന്നതിനുള്ള ഏറ്റവും കുറഞ്ഞ സംവിധാനങ്ങൾ മാത്രമാണ് ഇത് നൽകുന്നത്. ഹാർഡ്‌വെയറുമായി സംവദിക്കുന്നതിനുള്ള ഹൈ-ലെവൽ അബ്‌സ്‌ട്രാക്ഷനുകളും ഡ്രൈവറുകളും ഉപയോക്തൃ-തല ടാസ്‌ക്കുകളുടെ രൂപത്തിൽ മൈക്രോകെർണലിന്റെ മുകളിൽ പ്രത്യേകം നടപ്പിലാക്കുന്നു. മൈക്രോകേർണലിന് ലഭ്യമായ ഉറവിടങ്ങളിലേക്കുള്ള അത്തരം ടാസ്‌ക്കുകളുടെ പ്രവേശനം നിയമങ്ങളുടെ നിർവചനത്തിലൂടെ ക്രമീകരിച്ചിരിക്കുന്നു.

അധിക പരിരക്ഷയ്ക്കായി, മൈക്രോകെർണൽ ഒഴികെയുള്ള എല്ലാ ഘടകങ്ങളും റസ്റ്റിൽ തദ്ദേശീയമായി വികസിപ്പിച്ചെടുത്തത് സുരക്ഷിതമായ പ്രോഗ്രാമിംഗ് ടെക്നിക്കുകൾ ഉപയോഗിച്ചാണ്, അത് മെമ്മറി പിശകുകൾ കുറയ്ക്കുന്നു, ഇത് ഫ്രീയിംഗിനു ശേഷമുള്ള മെമ്മറി ആക്സസ്, നൾ പോയിന്റർ ഡിറഫറൻസുകൾ, ബഫർ ഓവർറൺ എന്നിവ പോലുള്ള പ്രശ്നങ്ങളിലേക്ക് നയിക്കുന്നു. seL4 പരിതസ്ഥിതിയിലെ ഒരു ആപ്ലിക്കേഷൻ ലോഡർ, സിസ്റ്റം സേവനങ്ങൾ, ആപ്ലിക്കേഷൻ ഡെവലപ്‌മെന്റിനുള്ള ഒരു ചട്ടക്കൂട്, സിസ്റ്റം കോളുകൾ ആക്‌സസ് ചെയ്യുന്നതിനുള്ള ഒരു API, ഒരു പ്രോസസ് മാനേജർ, ഡൈനാമിക് മെമ്മറി അലോക്കേഷനുള്ള ഒരു സംവിധാനം മുതലായവ റസ്റ്റിൽ എഴുതിയിട്ടുണ്ട്. പരിശോധിച്ച അസംബ്ലി seL4 പ്രോജക്റ്റ് വികസിപ്പിച്ച CAmkES ടൂൾകിറ്റ് ഉപയോഗിക്കുന്നു. CAmkES-നുള്ള ഘടകങ്ങളും റസ്റ്റിൽ സൃഷ്ടിക്കാൻ കഴിയും.

റഫറൻസ് പരിശോധന, ഒബ്ജക്റ്റ് ഉടമസ്ഥത, ഒബ്ജക്റ്റ് ലൈഫ് ടൈം ട്രാക്കിംഗ് (സ്കോപ്പുകൾ) എന്നിവയിലൂടെയും റൺടൈമിലെ മെമ്മറി ആക്‌സസുകളുടെ കൃത്യത വിലയിരുത്തുന്നതിലൂടെയും കംപൈൽ സമയത്ത് റസ്റ്റ് മെമ്മറി സുരക്ഷ നടപ്പിലാക്കുന്നു. റസ്റ്റ് പൂർണ്ണസംഖ്യ ഓവർഫ്ലോയ്‌ക്കെതിരെ പരിരക്ഷ നൽകുന്നു, ഉപയോഗത്തിന് മുമ്പ് വേരിയബിൾ മൂല്യങ്ങൾ ആരംഭിക്കേണ്ടതുണ്ട്, സ്ഥിരസ്ഥിതിയായി മാറ്റമില്ലാത്ത റഫറൻസുകളുടെയും വേരിയബിളുകളുടെയും ആശയം ഉപയോഗിക്കുന്നു, കൂടാതെ ലോജിക്കൽ പിശകുകൾ കുറയ്ക്കുന്നതിന് ശക്തമായ സ്റ്റാറ്റിക് ടൈപ്പിംഗ് വാഗ്ദാനം ചെയ്യുന്നു.

അവലംബം: opennet.ru