Krüptograafia ebaõnnestub harva seetõttu, et algoritm on murtud. See ebaõnnestub seda ümbritsevates detailides: korduv nonce, kellaajaga seemendatud juhuarvude generaator, allkiri, mida kontrollitakse, kuid mis ei ole seotud oma kontekstiga, võti, mis tuletatakse õigesti ja kirjutatakse seejärel logisse.
Need vead on vaiksed. Süsteem töötab, testid läbivad ja privaatvõtme saab taastada allkirjadest, mille süsteem on juba avaldanud. Vaatame üle lahenduse, et näha, mida see eeldab, ja teostuse, et näha, kas need eeldused kehtivad, ning testime väljundit seal, kus matemaatika võimaldab otsust teha: allkirju, juhuslikke väärtusi ja krüptotekste.
01Ulatus
Mida me testime
Protokolli ülesehitus: autentimine, võtmevahetus, seansi loomine
Allkirjaskeemid: ECDSA ja EdDSA nonce’ide genereerimine, muudetavus, korduvkasutus
Võtmete genereerimine, tuletamine, hoidmine, vahetamine ja hävitamine
Rahakotid ja varade hoidmine: seemnete käsitlemine, tuletusteed, allkirjastamise vood
Lävendskeemid ja mitme osapoolega skeemid, mitme allkirjaga konfiguratsioonid
Integratsioon riistvaraliste turvamoodulite ja võtmehaldusteenustega
Tarkvara kõrvalkanalid: ajastus, veakäitumine, mälukäsitlus
02Lähenemisviis
Kuidas töö käib
01
Lahenduse ülevaatus
Loeme spetsifikatsiooni ning sõnastame turvaomadused, mida lahendus väidab pakkuvat, ja eeldused, millest see sõltub.
02
Teostuse ülevaatus
Koodi võrreldakse lahendusega. Vaatame, kuidas teeke kasutatakse ja kus teostus erineb sellest, mida lahendus nõuab.
03
Väljundite analüüs
Süsteemi loodud allkirju, nonce’e ja juhuslikke väärtusi analüüsitakse kallutatuse, korduvkasutuse ja struktuuri suhtes, kasutades võremeetodeid ja statistilisi meetodeid.
04
Ründe demonstreerimine
Kui nõrkust saab ära kasutada, demonstreerime seda selleks genereeritud testvõtmetel. Päris varasid kaitsvad võtmed ei ole kunagi demonstratsiooni sihtmärk.
Jah. Teek on harva probleem. Vead on selles, kuidas seda kutsutakse, milliseid parameetreid see saab ja mis juhtub võtmetega enne ja pärast kutset.
Kas töötate meie toodangus kasutatavate võtmetega?
Ei. Töötame testvõtmete ja avalike väljunditega, näiteks allkirjadega. Kui avalike andmete analüüs näitab, et toodanguvõti on ohus, teavitame teid kohe ja võtit ei taastata.
Kas saate üle vaadata protokolli, mis on olemas ainult paberil?
Jah, ja see on selleks kõige odavam hetk. Enne teostamist leitud viga lahenduses maksab dokumendi muudatuse.