AI zbulon një defekt 27-vjeçar në TCP SACK të OpenBSD

Një sistem i zbulimit të dobësive i drejtuar nga AI ka nxjerrë në dritë një defekt 27-vjeçar në kodin e rrjetit të sistemit operativ OpenBSD, duke nënvizuar kufijtë e mbrojtjes së bazuar në arnime ndërsa inteligjenca artificiale ndryshon shpejtësinë me të cilën gjenden dobësitë e sigurisë. Defekti ishte një gabim i krahasimit të numrave të plotë me shenjë në implementimin TCP SACK të OpenBSD, i cili trajton pranimet selektive, një mekanizëm që i lejon marrësit t'i tregojë dërguesit se cilat pjesë të një rryme të dhënash ka marrë tashmë, në mënyrë që të ritransmetohen vetëm pjesët që mungojnë. Niels Provos, një praktikues i sigurisë kompjuterike me PhD nga Universiteti i Miçiganit dhe role karriere në Google, Stripe dhe Lacework, e kishte shkruar fillimisht kodin në nëntor 1998. Gabimi mund të shkaktonte një dereferencë NULL dhe të bënte panik kernelin, pjesa qendrore e një sistemi operativ që menaxhon pajisjet dhe burimet e sistemit. Më 7 prill 2026, agjenti Mythos i AI i Anthropic zbuloi defektin, saktësisht dymbëdhjetë vjet pas zbulimit publik të OpenSSL Heartbleed. Provos, duke shkruar si një nga themeluesit e Activ8te, vëren se grupi shënoi të njëjtin përvjetor me një këngë dance pop të quajtur Heartbleed.

Tridhjetë vjet më parë, gjetja e një dobësie të tillë varej nga një person që lexonte kodin e duhur. Provos kujton se në 1996 lexoi kodin burimor të TCP Wrappers të Wietse Venema, vuri re një të metë që përfshinte opsione të lirshme të burimit të rrugës, ndërtoi një sulm dhe më vonë e demonstroi drejtpërdrejt në HIP'97. Këshilla e Secure Networks Inc. pasoi në shkurt 1997, e kredituar për Provos përmes Oliver Friedrichs, duke e bërë atë vulën e parë kohore të kërkimit të tij për dobësi. Sot një mjet AI bën të njëjtën punë në mënyrë autonome. Mythos u ekzekutua në kodin burimor të kernelit dhe nxori në dritë defektin. Provos thotë se ai e riprodhoi në mënyrë të pavarur rezultatin me kuadrin e tij me burim të hapur IronCurtain kundër Opus 4.7, Sonnet 4.6 dhe GLM 5.1 me pesha të hapura të Z.AI. Postimi i tij i mëparshëm detajon mekanikën e orkestrimit, por pika kryesore është se zbulimi i dobësive është një problem orkestrimi, jo një problem i modelit kufitar.

IronCurtain është me burim të hapur, kështu që aftësia nuk është as sekret i mbrojtësit dhe as i sulmuesit. Provos argumenton se supozimi i duhur bazë është barazia në aftësi. Disiplina që mbyll hendekun me aftësinë kufitare është një makinë me gjendje të fundme, një kontrollues i rrjedhës së punës që nuk është vetë një model i madh gjuhësor. Ai i drejton agjentët e specializuar nëpër gjendje të paracaktuara: analizo, hipotezo, ndërto mjet, vërteto dhe triazho. Çdo gjendje fillon me një dritare të freskët konteksti të rindërtuar nga një regjistër i shtuar vetëm në disk. Gjendjet mund të nxjerrin vetëm verdikte nga një grup fiks, dhe sythet e kufizuar kanë kufij vizitash; nëse një hetim ngec, ai ngrihet te një njeri në vend që të lejojë një model të përfundojë ekzekutimin duke deklaruar një 'duket mirë' të rremë. Rrjedha e punës nuk kërkon pesha kufitare. GLM 5.1 me pesha të hapura i shërbyer nga Z.AI drejtoi zbulimin autonom në një bibliotekë themelore pa drejtim manual. Modeli është i madh dhe nuk funksionon në një laptop, por kushdo që mund të paguajë për një pikë API ose të marrë me qira një instancë me shumë GPU mund ta drejtojë atë. Kostoja për auditim shkon në dhjetëra deri në qindra dollarë të ulëta, mjaft e ulët që çdo varësi në një pirg prodhimi të jetë në fushëveprim për rishikim rutinë.

Për dekadën e fundit, qëndrimi standard i shefit të informacionit për sigurinë ka qenë një program i menaxhimit të dobësive, SaaS palë e tretë për menaxhimin e qëndrimit dhe zbulimin e kërcënimeve, dhe një cikël triazhimi që nuk zbrazet kurrë. Ai model qëndroi për sa kohë shkalla me të cilën dolën defektet ishte e kufizuar nga puna njerëzore e disponueshme për t'i gjetur ato. AI e ka hequr atë kufi. Zbulimi tani shkallëzohet me kredinë API, por konsumi i arnimeve jo. Dritarja midis zbulimit dhe armatosjes vazhdon të tkurret, ndërsa dritarja midis disponueshmërisë së arnimit dhe përhapjes së arnimit përmes konsumatorëve në rrjedhën e poshtme jo. Mënyra e dytë e dështimit është strukturore: menaxhimi i dobësive është reaktiv nga dizajni. Ai ndjek defektet që bota i ka zbuluar tashmë pa eliminuar sipërfaqen e sulmit ose pa grumbulluar mbrojtje në thellësi që do ta bënte tjetrin më pak pasojë. Provos thotë se kufizimi është rrallë analiza; është buxheti, prioriteti ekzekutiv dhe qasja te inxhinierët që mund të ndërtojnë kontrolle proaktive. Ata inxhinierë ishin në furnizim të ngushtë dhe u drejtuan nga graviteti ekonomik në një grusht kompanish të mëdha teknologjike. Një CISO pa atë talent ose buxhet mund të financojë një shitës dhe një radhë triazhimi, por puna proaktive ngec, dhe kur ndodh një incident, CISO është personi i emëruar në postmortem.

Përgjigja, argumenton Provos, nuk është të gjesh defekte më shpejt, por të ndërtosh infrastrukturë që i heq klasat e sulmit nga rruga kritike e vendimeve të vazhdueshme njerëzore të sigurisë. Ai i quan këto invariante sigurie: kufizime të zbatuara nga makina të aplikuara në mënyrë konsistente në të gjithë infrastrukturën që pengojnë një ose më shumë hapa të zinxhirit të vrasjes së sulmit pa kërkuar gjykim njerëzor për çdo incident. Defekti mund të ekzistojë ende; ajo që ndryshon është nëse një sulmues mund ta përfundojë zinxhirin. Në vend që të pyesësh se cilat defekte do të gjejë një kundërshtar, pyet se çfarë mund të bëjë një kundërshtar pasi të gjejë ndonjë defekt. Në një analizë shoqëruese të zbulimeve publike të shkeljeve në securityblueprints.io, Provos zbuloi se tre invariante të zbatuara nga makina të aplikuara në mënyrë konsistente do të kishin penguar shumicën e incidenteve në grupin e të dhënave, në rendin e 65%.

Autentifikimi me dy faktorë harduerik zëvendëson autentifikimin me sekret të përbashkët me provë kriptografike të posedimit të një pajisjeje të regjistruar. Ai heq phishing-un e kredencialeve si një vektor i mundshëm i qasjes fillestare. Google e vendosi këtë brendësisht rreth vitit 2010 pas Operacionit Aurora dhe ka raportuar zero komprometime të suksesshme të phishing-ut të kredencialeve të një punonjësi që atëherë. Shembulli është pesëmbëdhjetë vjeçar, megjithatë shumica e ndërmarrjeve ende funksionojnë me autentifikim me sekret të përbashkët sepse vendosja prish integrimet e trashëguara të ndërtuara mbi supozimin se fjalëkalimet janë të mjaftueshme. Kontrolli i daljes nënkupton mohim të paracaktuar të trafikut të rrjetit dalës nga prodhimi. Një sulmues që komprometon një shërbim të ekspozuar nga jashtë dhe fiton ekzekutim kodi zakonisht nuk ka mbaruar; dëmi kuptimplotë pason ardhjen e një ngarkese të fazës së dytë dhe vendosjen e komandës dhe kontrollit. Kontrolli i daljes e heq atë hap. Fushatat log4j të dhjetorit 2021 janë ilustrimi kanonik: çdo shfrytëzim i qasjes fillestare që kishte rëndësi mbështetej në hostin e komprometuar që arrinte jashtë për të marrë një fazë tjetër. Një mjedis prodhimi që nuk mund të bëjë thirrje arbitrare dalëse e bën të gjithë klasën e dobësive më pak pasojë, pavarësisht nëse defekti themelor log4j arnohet ndonjëherë në atë host të veçantë. Kontrolli pozitiv i ekzekutimit do të thotë që vetëm binaret e lejuara lejohen të ekzekutohen. Sulmet e inxhinierisë sociale ku një sulmues paraqitet si mbështetje IT dhe i kërkon një objektivi të shkarkojë dhe ekzekutojë një mjet diagnostikues bëhen strukturisht të pamundura. Makina e objektivit refuzon binarin pavarësisht sa bindës ishte preteksti. Microsoft ka bërë të njëjtin vëzhgim rreth Smart App Control, dhe disa ndërmarrje të mëdha kanë ndërtuar lista të lejuara ekuivalente brendësisht për ngarkesat e prodhimit. Asnjë nga këto nuk është e re ose e re, por ato funksionojnë, kanë funksionuar për më shumë se një dekadë në vendet që i adoptuan, dhe heqin një pjesë të konsiderueshme të shkeljeve në regjistrin publik.

Invariante më të forta ekzistojnë poshtë dhe lart kësaj shtrese. Në shtresën e harduerit, etiketimi i kujtesës në kohën e alokimit i jep sistemit operativ dhe kohës së ekzekutimit një mbrojtje strukturore kundër defekteve të sigurisë së kujtesës të klasës së grumbullit. Zgjatja e Etiketimit të Kujtesës (MTE) e ARM dërgohet në pajisjet Pixel sot. Apple njoftoi Zbatimin e Integritetit të Kujtesës në iOS në WWDC. Me një platformë të aftë për MTE dhe një alokues të ndërgjegjshëm për etiketat, tejkalimet e grumbullit që më parë prodhonin korruptim të heshtur tani gabojnë në momentin e keqpërdorimit. CHERI është zgjatja e nivelit kërkimor të së njëjtës ide e aplikuar në nivelin e aftësisë. Provos i jep meritë Dino Dai Zovi për formulimin e etiketimit të kujtesës si një invariant dhe vëzhgimin se cikli i rifreskimit të harduerit mund të rrotullohet më shpejt se cikli i rishkrimit të softuerit: një flotë pajisjesh mund të thithë MTE në harkun kohor të cikleve të rifreskimit të telefonit, ndërsa rishkrimi i botës së C dhe C++ në gjuhë më të sigurta do të marrë shumë më gjatë.

Në shtresën e aplikacionit dhe të të dhënave, Qasja e të Dhënave e Vetëdijshme për Kontekstin (CADA) është invarianti më i fortë i zhvilluar kundër rrezikut të brendshëm. Qasja ambientale në të dhëna dhe sisteme të ndjeshme hiqet. Çdo lexim ose operacion kërkon një justifikim biznesi të njëkohshëm, të verifikueshëm, si p.sh. një biletë mbështetjeje e caktuar, dhe një sistem i veçantë verifikon që justifikimi ekziston dhe është aktual. Një llogari operatori e komprometuar, ose një operator keqdashës, nuk mund të tërheqë të dhëna ose të hyjë në sisteme pa një arsye të botës reale që një sistem tjetër mund ta kontrollojë në mënyrë të pavarur. Forma konkrete janë shitësit palë të tretë të mbështetjes së klientit. Historikisht, ata shitës morën mjete të fuqishme dhe qasje të gjerë leximi në një bazë të dhënash klientësh, mbi teorinë se ata do ta përdornin qasjen vetëm kur të kishin nevojë. CADA i kufizon ata në regjistrin e klientit të bashkangjitur biletës që u është caktuar. Ata nuk mund të shfletojnë ose të bëjnë pivot. Efekti praktik është se ekspozimi ndaj shkeljes nga çdo llogari e vetme shitësi i komprometuar shembet nga e gjithë baza e klientëve në një regjistër të vetëm. Kostoja e kompromisit ndalon të shkallëzohet me madhësinë e kompanisë. Komprometimi i mjetit administrativ të Twitter në korrik 2020 është ilustrimi kanonik i mënyrës së dështimit që ky invariant parandalon. Sulmuesit morën me inxhinieri sociale qasje në mjetet administrative të brendshme dhe e përdorën atë për të rrëmbyer mbi 130 llogari të profilit të lartë për një mashtrim Bitcoin. Rrezja e shpërthimit u përcaktua nga fushëveprimi i vetë mjetit, i cili mund të prekte çdo regjistër përdoruesi. Qasja e të Dhënave e Vetëdijshme për Kontekstin e thyen atë lidhje: një llogari me privilegj administrativ mund të veprojë vetëm mbi regjistrat aktualisht të bashkangjitur një bilete të vlefshme, dhe grupi i regjistrave të tillë është i vogël në çdo moment.

Një pengesë e madhe ka qenë gjithmonë kostoja. Projektimi, vendosja dhe mirëmbajtja e invarianteve kërkonte inxhinierë të specializuar që ishin në furnizim të pakët dhe po rekrutoheshin në të njëjtin grusht kompanish të mëdha që tashmë kishin kontrollet në vend. Tregu i shitësve nuk e mbushi hendekun; ai shet zbulim, jo invariante. AI e ndryshon ekuacionin. Vendosja e kontrollit të daljes dikur kërkonte disa inxhinierë të lartë të sigurisë së platformës për të vëzhguar mjedisin, projektuar kontrollin, vendosur atë në mënyrë progresive dhe mbyllur atë. Me specifikimin e duhur, një inxhinier i vetëm i ndihmuar nga AI mund ta bëjë pjesën më të madhe të asaj pune. Provos thotë se ai mund të shkruante një specifikim të tillë, duke e udhëhequr inxhinierin nga një vëzhgim i trafikut të prodhimit përmes përzgjedhjes së substratit të zbatimit, vendosjes së mënyrës së monitorimit, gjenerimit të listës së përjashtimeve dhe mohimit progresiv, fazë pas faze. Mirëmbajtja mbetet, por pengesa e buxhetit dhe talentit që i mbajti invariantet jashtë shumicës së organizatave ka rënë.

Të nesërmen e zero-ditës së ardhshme, argumenton Provos, e vetmja gjë që do të ketë rëndësi është nëse invariantet u ndërtuan në kohë. Zbulimi nuk është më i kufizuar si tridhjetë vjet më parë. E njëjta rrjedhë pune që rizbuloi defektin e tij të vjetër 27-vjeçar SACK është me burim të hapur, funksionon kundër kodit arbitrar dhe funksionon pa fërkim të pranueshmërisë së përdorimit në duart e një kundërshtari. Nuk ka fitore në këtë garë në kadencën e arnimit. Rruga përpara është ta bësh klasën e defekteve të parëndësishme. Menaxhimi i dobësive vazhdon, me një fraksion të peshës operacionale që mban sot, ndërsa infrastruktura prish zinxhirin e vrasjes pavarësisht nga koha e arnimit. Provos i prezantoi regjistrimin dhe sllajdet në Samitin e AI të Cloud Security Alliance, dhe artikulli u botua fillimisht në blogun e Niels. Dita pas zero-ditëve është një thirrje për të ndërtuar 2FA harduerik, mohim të paracaktuar të daljes, ekzekutim të lejuar, etiketim të kujtesës në shtresën e harduerit dhe qasje të të dhënave të vetëdijshme për kontekstin në shtresën e të dhënave. Asnjë nuk është i ri, por të gjitha janë brenda mundësive të një inxhinieri të vetëm me AI në lak. Për lexuesit që drejtojnë faqe interneti ose infrastrukturë cloud, zbatimi i këtyre invarianteve shpesh fillon me rishikimin e trafikut dalës të lejuar dhe cilët binare mund të ekzekutohen; një ofrues IT dhe infrastrukture i sigurisë së parë si AEU-I mund të ndihmojë në vlerësimin dhe zbatimin e mohimit të paracaktuar të daljes dhe ekzekutimit të lejuar.