Air-Gapped revizije: Provjera usklađenosti suverenog AI-ja bez mreže

U svijetu gdje suvereni AI sustavi poput RiNET-a moraju raditi u potpunoj izolaciji od mreže, tradicionalne metode revizije postaju neprimjenjive. No, to ne znači da je provjera usklađenosti nemoguća. Naprotiv, uz pravu kombinaciju alata i procesa, možete provesti detaljnu reviziju bez ikakvog mrežnog pristupa.

Zašto Air-Gapped revizija?

Suvereni AI sustavi često obrađuju osjetljive podatke ili rade u kritičnim infrastrukturama gdje je sigurnost na prvom mjestu. Isključivanje mreže eliminira velik broj napadačkih vektora, ali istovremeno otežava standardne revizijske postupke koji se oslanjaju na udaljeni pristup. Zato je razvijena specifična metodologija koja koristi lokalne resurse i hardverske garancije.

Ključne komponente metodologije

• Log attestation – svaki događaj u sustavu bilježi se u nepromjenjivi log, potpisan hardverskim ključem. Revizor fizički pristupa uređaju i provjerava integritet logova pomoću TPM-a (Trusted Platform Module).
• Hardverski potpomognut TPM – TPM čip osigurava da su logovi i konfiguracija sustava autentični. Revizor može generirati izvještaj o stanju (attestation report) koji dokazuje da softver nije mijenjan.
• Offline skeniranje modela – AI modeli se skeniraju na prisutnost backdoorova, neželjenih ponašanja ili odstupanja od specificiranih parametara. Skeniranje se izvodi na izoliranom računalu koje nije spojeno ni na kakvu mrežu.

Korak po korak: Provođenje revizije

Prvo, revizor fizički dolazi na lokaciju gdje se nalazi RiNET sustav. Pomoću sigurnosnog USB uređaja pokreće alate za verifikaciju. Zatim se povezuje s TPM-om putem lokalnog sučelja i zahtijeva attestation logova. Nakon toga, izvodi se offline skeniranje modela – uspoređuju se hash vrijednosti modela s poznatim dobrim vrijednostima. Na kraju, revizor sastavlja izvještaj koji uključuje potpisane dokaze o integritetu.

Prednosti i izazovi

Glavna prednost ove metode je potpuna sigurnost – nema mogućnosti daljinskog napada tijekom revizije. Izazov je logistička složenost jer revizor mora biti fizički prisutan. Također, potrebno je unaprijed pripremiti sve alate i ključeve jer nema mogućnosti preuzimanja dodatnih resursa.

Ova metodologija već se uspješno primjenjuje u RiNET okruženjima gdje je povjerenje u sustav ključno. Kombinacija log attestation, TPM-a i offline skeniranja modela pruža čvrstu osnovu za provjeru usklađenosti bez ikakvog mrežnog kontakta.