Si narat KataOs su sistema operativu nou de Google. Su gigante de Mountain View nd’at bogadu a campu unu progetu cun còdighe abertu, nàschidu pro dispositivos integrados chi esecutant aplicatziones de machine learning ambientale (in custa òtica podimus pensare, pro nàrrere, a sos altoparlantes intelligentes).
Sa peculiaridade de custu sistema est chi impreat su microkernel seL4 e chi est iscritu belle totu in Rust, unu linguàgiu de programmatzione chi est impreadu finamentas in su Linux kernel Project e in s’Android open source project e chi, in sas paràulas de s’iscuadra Google, garantit una grandu seguresa de su software ca «nche cantzellat classes intreas de bugs». Difetos prus chi nos comunos in su linguàgiu C che a sas fartas off-by-one (in ue unu tziclu benit esecutadu una borta in prus o in mancu) o a sos buffer overflow.
A su sistema KataOs l’ant fraigadu pro chi diat una seguresa – comente narant sos de Google – «ammustrada matematicamente, cun garantzias de cunfiàntzia, integridade e disponibilidade». Sa prataforma mentovada podet amparare sa riservadesa de sos utentes e sos datos issoro ca est «logicamente impossìbile pro sas aplicaztiones a violare sas protetziones de seguresa hardware de su kernel e sos cumponentes de su sistema podent èssere averguados comente seguros». Una chistione, custa, de importu mannu cunsiderende sas vulnerabilidades chi, a s’ispissu, pertocant a sos dispositivos Internet of Things (pensemus a sas telecàmeras de seguresa o a sos sensores pro sa calidade de s’àera impreados in unas cantas domos).
Cunforma a su chi narant sos de Google, at a èssere impossìbile a los infetare pro mèdiu de aplicativos malèsigos.
Sa prima versione de KataOs est disponìbile in Github pro sos curiosos o pro chie cheret partetzipare a su megioru de su sistema.
Gianfranca Orunesu
Leave a comment