Išmaniųjų sutarčių auditas
Išmaniųjų sutarčių ir protokolo logikos auditas eilutė po eilutės prieš diegimą: rankinė peržiūra, invariantų testavimas ir pataisymų peržiūra.
DI, Web3 ir kriptografija
Kriptografinės architektūros ir jos įgyvendinimo peržiūra: protokolai, raktų valdymas, parašai ir atsitiktinių reikšmių generavimas.
DI, Web3 ir kriptografija
Kriptografija retai žlunga dėl to, kad nulaužiamas algoritmas. Ji žlunga dėl smulkmenų aplink jį: pasikartojančio vienkartinio skaičiaus (angl. nonce), atsitiktinių skaičių generatoriaus, kurio pradinė reikšmė – laikas, parašo, kuris patikrinamas, bet nesusietas su savo kontekstu, rakto, kuris teisingai išvedamas, o paskui įrašomas į žurnalą.
Šios klaidos tylios. Sistema veikia, testai praeina, o privatųjį raktą galima atkurti iš parašų, kuriuos ji jau paskelbė. Architektūroje ieškome prielaidų, kuriomis ji remiasi, įgyvendinime tikriname, ar tos prielaidos galioja, o išvestis testuojame ten, kur matematika leidžia padaryti išvadą: parašus, atsitiktines reikšmes ir šifrotekstus.
01Apimtis
02Darbo eiga
Skaitome specifikaciją ir įvardijame saugumo savybes, kurias deklaruoja architektūra, bei prielaidas, nuo kurių ji priklauso.
Kodą lyginame su architektūra. Žiūrime, kaip naudojamos bibliotekos ir kur įgyvendinimas nukrypsta nuo to, ko reikalauja architektūra.
Sistemos sukurtus parašus, vienkartinius skaičius ir atsitiktines reikšmes analizuojame gardelių ir statistiniais metodais, ieškodami šališkumo, pakartotinio naudojimo ir struktūros.
Jei silpnąja vieta galima pasinaudoti, tai demonstruojame tam sugeneruotais bandomaisiais raktais. Raktai, saugantys tikrą turtą, niekada netampa demonstracijos taikiniu.
03
04
05Standartai
Reikalavimai, pagal kuriuos tikrinama taikomoji programa.
OWASP Foundation
Mobiliųjų programėlių saugumo reikalavimai.
OWASP Foundation
Kiekvieną radinį lemiančios silpnosios vietos klasė.
The MITRE Corporation
Kiekvieno radinio pavojingumo balas ir vektorius.
FIRST
06Klausimai
Taip. Biblioteka retai būna problema. Klaidos slypi tame, kaip ji kviečiama, kokius parametrus gauna ir kas nutinka raktams prieš kvietimą ir po jo.
Ne. Dirbame su bandomaisiais raktais ir viešomis išvestimis, pavyzdžiui, parašais. Jei viešų duomenų analizė parodo, kad gamybiniam raktui gresia pavojus, jus nedelsiant informuojame, o rakto neatkuriame.
Taip, ir tai pigiausias metas tai padaryti. Architektūros trūkumas, rastas prieš įgyvendinimą, kainuoja dokumento pakeitimą.
08Užklausa
Užklausos kodas
Išsaugokite šį kodą: toliau bendraudami su jumis visada jį nurodysime.
Pirmajame atsakyme niekada neprašome apmokėjimo, slaptažodžių ar nuotolinės prieigos.