Android

Europe Funds Secure Operating System Research

Best Secure Operating System

Best Secure Operating System
Anonim

Ang isang unibersidad ng Dutch ay may lupain ng isang European Ang Konseho ng Pananaliksik ay nagpapatuloy na magtrabaho sa isang Unix-type operating system na naglalayong maging mas maaasahan at ligtas kaysa sa Linux o Microsoft Windows.

Ang € 2.5 milyon (US $ 3.3 milyon) na grant ay pondohan ang tatlong mananaliksik at dalawang programmer, sinabi Andrew S. Tanenbaum, isang propesor ng siyensiya sa computer sa Vrije Universiteit sa Netherlands.

Tanenbaum ay binuo ng Minix, isang operating system na batay sa medyo maliit na code sa base ng Unix at nagpapatupad ng mga strong security control.

[Karagdagang pagbabasa: Paano alisin ang malware mula sa iyong Windows PC.

Ang pinakahuling grant ay magpapahintulot sa karagdagang pananaliksik sa paggawa ng operating system na may kakayahang maayos ang sarili nito kapag natagpuan ang isang bug, na nagpapahintulot sa mga computer na maging mas maaasahan, sinabi ni Tanenbaum.

"Nagagalit ito sa akin na walang katapusan kapag ang software ay hindi gumagana," sabi ni Tanenbaum. "Ang pagkakaroon ng pag-reboot ng iyong computer ay isang sakit lamang. Ang tanong ay 'Maaari kang gumawa ng isang sistema na talagang gumagana nang mahusay?'"

Mga bug sa software ay hindi kailanman mapapawi, isinulat ni Tanenbaum sa panukala ng proyekto. Ngunit ang operating system na tulad ng Windows at Linux ay dinisenyo sa mga paraan na mas mababa ang maaasahan sa kanila, sinabi niya.

Halimbawa, ang mga driver para sa mga tampok tulad ng tunog at iba pang mga bahagi ng paligid ay dapat na naka-install sa loob ng kernel ng operating system, o pangunahing code ng computer. Kung ang isang bagay ay magkamali, kadalasang nakakabit ang makina.

Gayunpaman, ang Minix ay dinisenyo upang ang mga driver ay gumana tulad ng mga application sa labas ng kernel, na nangangahulugang kung sila ay bumagsak, ang computer ay magpapatuloy, sinabi ni Tanenbaum. Ang konsepto ay tinatawag na "microkernel" sa halip na kabaligtaran nito, isang monolitikong kernel.

Sa modelo ni Tanenbaum, ang iba pang mga bahagi ng operating system ay gagana sa mahigpit na napilitan na mga module na hindi maaaring makagambala sa isa't isa kung mabigo sila. Nagpapabuti din ito ng pangkalahatang seguridad.

Ang isang mas ligtas na operating system ay umalis din sa mga vendor ng software na mas may pananagutan para sa mga kahinaan ng software. Ang mga inaasahan para sa software ay mas mababa kaysa sa iba pang mga industriya, kung saan ang isang pagkabigo ng bahagi tulad ng isang gulong ng sasakyan ay humahantong sa pag-alaala at mga demanda sa batas, sinabi ni Tanenbaum.

Ngunit ang pananagutan ay mas madaling itatalaga kung ang software ay mas kumplikado at higit pa

"Gusto naming gumawa ng software na napaka, maaasahan," sinabi Tanenbaum.

Ang pagpopondo ay magpapahintulot sa pananaliksik ng Minix na magpatuloy sa limang taon pa.