Grupp DH maqsum, sigrieti ġodda: għaliex l-attakk isir irħis

Il-parametri tal-grupp huma pubbliċi b’disinn, u din il-pubbliċità hija preċiżament dak li jagħmilhom faċli biex jiġu injorati. F’Diffie-Hellman fuq qasam finit, il-modulus u l-ġeneratur huma maqsuma, filwaqt li l-esponenti privati u ċ-ċwievet tas-sessjoni li jirriżultaw mhumiex. L-istadju għali ta’ attakk b’għarbiel ta’ qasam tan-numri jiddependi mill-grupp u mhux minn skambju wieħed, għalhekk grupp dgħajjef wieħed użat kullimkien isir obbligu komuni. Li tissejjaħ il-parametri pubbliċi huwa preċiż u barra mill-punt, għax l-ispiża li terġa’ tintuża hija l-ispiża li tattakka dak il-grupp.

In-nofs pubbliku mhuwiex in-nofs vulnerabbli, u hemm il-qabda

L-emit-tieni argument tas-soltu jgħid li l-parametri huma ppubblikati fi standard, għalhekk attakkant diġà jafhom u li taħbihom ma jbiddel xejn. Iż-żewġ premissi huma veri u ħadd ma jseħħ mill-ieħor. Grupp awtomatiku mibgħut huwa pubbliku, u grupp privat li ġġenerajt il-ġimgħa li għaddiet ukoll jidher lil kull min itemm il-ħsieb tal-idejn. Is-segretezza qatt ma kienet il-kontroll; il-qawwa u l-validazzjoni huma.

Dak li jinbidel huwa kemm postijiet jaqsmu l-istess dgħjufija. Organizzazzjoni li tiġġenera l-grupp tagħha ta’ 2048 bit tħallas l-ispiża tal-attakk tagħha stess, filwaqt li valur awtomatiku tal-protokoll magħżul minn miljuni jamortizza spiża waħda fuqhom kollha. F’dan is-sens grupp mhux tas-soltu mhuwiex awtomatikament aħjar. Grupp mhux tas-soltu li huwa wisq żgħir huwa biss sigriet komuni iżgħar b’inqas għajnejn fuqu.

Il-validazzjoni hija importanti daqs id-daqs. Sieħeb li jibgħat modulus b’fatturi żgħar, jew wieħed li m’għandux il-forma li l-protokoll jistenna, jista’ jnixxi informazzjoni dwar l-esponent privat anki meta t-tul fil-bits jidher rispettabbli. Libreriji li jirrifjutaw parametri ħżiena fil-bieb tad-dħul jagħmlu xogħol veru, u għalhekk l-analiżi tal-parametri miktuba bl-idejn hija post ħażin biex tiffranka l-isforz.

X’jagħti verament il-prekalkolu lil attakkant

L-għarbiel tal-qasam tan-numri għandu stadju li jiddependi biss mill-ewwel numru, u l-output tiegħu jista’ jerġa’ jintuża kontra kull skambju li juża dak l-ewwel numru. Dan huwa l-mekkaniżmu kollu wara l-inkwiet storiku: il-parti għalja titħallas darba, u l-ispiża marġinali ta’ kull sessjoni oħra tonqos. Esponenti ġodda għadhom jipproteġu kull skambju individwali minn osservatur passiv, sakemm il-grupp ikun kbir biżżejjed biex jagħmel l-għarbiel impossibbli. Iż-żewġ stqarrijiet huma kompatibbli, u l-biċċa l-kbira tad-dibattiti dwar dan is-suġġett jiġu mill-għażla ta’ waħda u t-tħollija tal-oħra.

Il-karta Logjam tal-2015 wriet degradazzjoni għal Diffie-Hellman ta’ 512 bit ta’ grad ta’ esportazzjoni u stmat kemm kien jiswa li tattakka gruppi akbar u użati mill-ġdid b’mod wiesa’ b’riżorsi sinifikanti. Id-dimostrazzjoni kienet konkreta, l-istimi kienu stimi, u lanqas waħda ma kienet prova li sessjoni VPN partikolari ġiet dekriptata.

Iċċita l-karta għall-mekkaniżmu u għad-degradazzjoni murija, mhux bħala kejl tal-varar tiegħek. Statistika antika dwar kemm servers qasmu grupp awtomatiku tiddeskrivi l-internet ta’ dik is-sena, mhux netwerk li tista’ tispezzjona llum. Dak li jiswa li jitwassal huwa l-mistoqsija: il-mezzi tiegħek għadhom jinnegozjaw grupp żgħir jew validat b’mod dgħajjef?

Standardizzat mhuwiex l-istess bħal dgħajjef

RFC 7919 jiddefinixxi gruppi ta’ qasam finit bl-isem sabiex iż-żewġ trufijiet jaqblu fuq grupp permezz ta’ identifikatur u japplikaw politika konsistenti. Li tkun standardizzat huwa vantaġġ, għax ineħħi l-ambigwità tan-negozjar u jħalli implimentazzjoni tirrifjuta daqsijiet mhux appoġġjati. Grupp bl-isem huwa dgħajjef biss meta d-daqs tiegħu jkun taħt il-politika li tgħid li ssegwi, mhux għax jidher f’dokument. L-istess loġika tapplika għal gruppi ta’ kurvi ellittiċi, li għandhom struttura differenti u modi ta’ falliment differenti.

Żomm il-kostruzzjonijiet separati meta taħseb dwarhom. Konklużjoni dwar Diffie-Hellman fuq qasam finit ma tgħid xejn dwar X25519, u konklużjoni dwar grupp MODP ta’ 1024 bit ma tgħid xejn dwar wieħed ta’ 3072 bit. Il-politika tal-qawwa hija għal kull mekkaniżmu, kull daqs u kull verżjoni tal-protokoll, u għalhekk il-frażi kriptografija b’saħħitha mhijiex stqarrija li tista’ tiġi riveduta.

L-awtentikazzjoni hija n-nofs l-ieħor, u ma tissostitwixxix. Grupp b’saħħtu mingħajr verifika tas-sieħeb iħalli attakkant fin-nofs, u ċertifikat validu ma jistax isalva skambju ta’ 768 bit. Irrevedihom bħala żewġ linji indipendenti, imbagħad ikkonferma li t-tnejn huma tabilħaqq negozjati.

Aqra l-grupp negozjat fuq konnessjoni reali

Aqra l-grupp negozjat mill-mezz u mhux mill-mudell tal-konfigurazzjoni. Il-mudelli jiddeskrivu l-intenzjoni, u l-valur interessanti huwa dak li ż-żewġ trufijiet qablu fuqu matul l-aħħar ħsieb tal-idejn. Fuq punt tat-tarf IPsec l-output tal-istat normalment jipprintja l-proposta magħżula, inkluż il-grupp MODP.

Aqbad dik il-linja qabel u wara bidla fil-politika, u żomm it-tnejn fir-rekord tal-bidla. Il-paragun huwa l-prova.

ipsec statusall | grep -Ei "proposal|ESP|IKE"
openssl dhparam -in /etc/vpn/dh3072.pem -check -noout

Jekk wara l-bidla l-istat għadu juri l-grupp antik, il-konnessjoni ma reġgħetx innegozjat u l-editjar tal-konfigurazzjoni ma wera xejn. Erġa’ ibda s-sieħeb jew ħassar l-assoċjazzjoni tas-sigurtà, imbagħad erġa’ aqra l-istat. Politika applikata biss fuq konnessjonijiet ġodda tħalli t-tunnelli ta’ ħajja twila fuq il-parametri antiki sakemm jibqgħu għaddejjin.

Iċċekkja l-grupp u l-identità tas-sieħeb separatament

Issepara dak li jipproteġi l-grupp minn min qiegħed fit-tarf l-ieħor. Irrekordja l-metodu tal-iskambju taċ-ċwievet, id-daqs tal-grupp u l-metodu tal-awtentikazzjoni bħala tliet oqsma, għax jonqsu b’mod indipendenti. Tunnel li nnegozja grupp ta’ 3072 bit imma jaċċetta kwalunkwe ċertifikat mhuwiex l-istess riskju bħal wieħed li jwaħħal sieħeb u juża grupp ta’ 2048 bit.

Ikteb il-kriterji tal-aċċettazzjoni qabel ma jibda r-rieżami, sabiex ir-riżultat ikun paragun u mhux opinjoni. Daqs minimu tal-grupp għal kull verżjoni tal-protokoll, lista ta’ permess tal-gruppi bl-isem u verifika obbligatorja tas-sieħeb huma biżżejjed biex id-deċiżjoni ssir mekkanika. L-ambigwità f’dik il-lista hija dak li jibdel rieżami f’dibattitu, u d-dibattiti ma jiġux rimedjati. Imbagħad l-output huwa lista ta’ punti tat-tarf li jonqsu minn regola ddikjarata.

ipsec statusall | grep -Ei "peer|auth|cert"
openssl s_client -connect vpn.acme.example:443 -brief -cipher 'DHE-RSA-AES256-GCM-SHA384'

Agħlaq iċ-ċirku billi terġa’ taqra l-valuri negozjati wara r-rimedju. Fajl tal-konfigurazzjoni konformi mhuwiex prova li tunnel ħadu. L-output tal-istat u ħsieb wieħed tal-idejn ġdid huma l-prova, u li tiġborhom jieħu inqas ħin mill-laqgħa dwar jekk humiex meħtieġa.