DI apsaugojo palydovinį ryšį: po Rusijos atakos reikia matematikos
DI padėjo tikrinti Viasat palydovinio ryšio atsparumą po 2022 m. Rusijos atakos. AP istorija rodo, kad kibernetinė gynyba tampa matematiškesnė.
Šiame straipsnyje · 4 dalys
- Kas yra formalūs metodai? Tai matematiniai būdai tikrinti, ar sistema atitinka tam tikras savybes ir ar kai kurios klaidos teoriškai galimos.
- Kodėl tai svarbu Europai? Nes ryšio, energijos ir transporto infrastruktūra gali būti kibernetinių atakų taikinys, ypač geopolitinės įtampos metu.
DI palydoviniam ryšiui skamba kaip labai tolimas dalykas. Kol prisimeni 2022 m. Rusijos ataką prieš Viasat, kuri paveikė ryšį Ukrainoje ir kitose Europos šalyse.
AP News rašo apie Atalanta produktą Argo, kuris sujungia DI ir matematinius metodus, kad padėtų tikrinti sudėtingų sistemų atsparumą.
Čia gera pamoka: kibernetinė gynyba nebėra tik „suraskime skylę“. Vis dažniau reikia įrodyti, kad sistema laiko spaudimą.
Kas yra argo
Atalanta vadina savo kryptį software understanding. Lietuviškai paprastai: sistema bando ne tik paviršiuje ieškoti klaidų, bet ir suprasti, kaip programinė įranga elgiasi.
AP rašo, kad ši technologija naudojama Viasat palydovinio ryšio tinklo atsparumui tikrinti po ankstesnės Rusijos kibernetinės atakos.
Tai nėra eilinis antiviruso pažadas. Čia kalbama apie kritinę infrastruktūrą, kur klaida gali reikšti nepatogumą ne ekrane, o realiame gyvenime.
Kodėl matematika grįžta į stalą
Kuo sudėtingesnės sistemos, tuo sunkiau pasakyti „atrodo saugu“. Tokiose vietose vien rankinio testavimo neužtenka.
Matematiniai metodai padeda formaliau tikrinti, ar tam tikri dalykai gali įvykti, ar ne. DI gali padėti greičiau dirbti su tokiais modeliais ir dideliais kodų kiekiais.
Tai nuobodi tema. Bet būtent nuobodžios temos dažnai laiko valstybės infrastruktūrą.
Europos kampas
Šita istorija Europai artima, nes Viasat ataka prasidėjo Rusijos invazijos į Ukrainą dieną ir palietė ryšį už vienos šalies ribų.
Jei turime energijos, vandens, ryšio ar transporto sistemas, jos jau yra geopolitikos dalis. DI čia gali padėti, bet tik su disciplina.
Ne gražus chatbotas saugo palydovą. Saugo metodas, patikra ir žmonės, kurie moka perskaityti rezultatą.
Jei įmonėje turite kritinių sistemų, paklauskite ne tik „ar turime apsaugą“, bet ir „kaip žinome, kad ji veikia“.
Rašome apie dirbtinį intelektą lietuviškai. Kiekvienas straipsnis parengtas pagal nurodytą šaltinį, o nuorodą į originalą rasite kortelėje „Šaltinis“.
