Ortaq DH qrupu, təzə sirlər: hücum niyə ucuzlaşır

Qrup parametrləri dizayn üzrə açıqdır və məhz bu açıqlıq onları görməzdən gəlməyi asanlaşdırır. Sonlu sahə Diffie-Hellman-da modul və generator ortaqdır, özəl eksponentlər və nəticədə yaranan sessiya açarları isə deyil. Say sahəsi ələyicisi hücumunun bahalı mərhələsi ayrı bir mübadilədən deyil, qrupdan asılıdır, ona görə hər yerdə istifadə olunan bir zəif qrup ortaq yükə çevrilir. Parametrləri açıq adlandırmaq düzgündür, amma məsələnin mahiyyətindən kənardır, çünki təkrar istifadə olunan xərc məhz həmin qrupa hücum xərcidir.

Açıq yarı həssas yarı deyil və tələ buradadır

Adi yarım-arqument deyir ki, parametrlər standartda dərc olunub, ona görə hücumçu onları artıq bilir və gizlətmək heç nəyi dəyişməzdi. Hər iki müddəa doğrudur və heç biri digərindən irəli gəlmir. Göndərilən standart qrup açıqdır, keçən həftə yaratdığınız özəl qrup isə əl sıxışmanı tamamlayan hər kəs üçün görünür. Gizlilik heç vaxt nəzarət vasitəsi olmayıb; güc və yoxlama olub.

Dəyişən odur ki, neçə yer eyni zəifliyi paylaşır. Öz 2048 bitlik qrupunu yaradan bir təşkilat öz hücum xərcini ödəyir, milyonların seçdiyi protokol standartı isə bir xərci hamının üzərinə amortizasiya edir. Elə bu mənada qeyri-adi qrup avtomatik olaraq daha yaxşı deyil. Çox kiçik olan qeyri-adi qrup sadəcə üzərinə daha az göz baxan daha kiçik ortaq sirdir.

Yoxlama ölçü qədər vacibdir. Kiçik vuruqlu modul göndərən və ya protokolun gözlədiyi formada olmayan modul göndərən tərəf, bit uzunluğu hörmətli görünsə belə, özəl eksponent haqqında məlumat sızdıra bilər. Daxil olan qüsurlu parametrləri rədd edən kitabxanalar real iş görür, buna görə əl ilə yazılmış parametr analizi səyə qənaət üçün pis yerdir.

Öncədən hesablama hücumçuya həqiqətdə nə verir

Say sahəsi ələyicisinin yalnız sadə ədəddən asılı olan mərhələsi var və onun nəticəsi həmin sadə ədədi istifadə edən hər mübadiləyə qarşı təkrar istifadə oluna bilər. Tarixi narahatlığın arxasındakı bütün mexanizm budur: bahalı hissə bir dəfə ödənilir və hər sonrakı sessiyanın marjinal xərci azalır. Təzə eksponentlər hər fərdi mübadiləni passiv müşahidəçidən qoruyur, bir şərtlə ki, qrup ələməni mümkünsüz edəcək qədər böyük olsun. İki ifadə bir-biri ilə uyğundur və bu mövzudakı mübahisələrin çoxu birini seçib digərini atmaqdan qaynaqlanır.

2015-ci il Logjam məqaləsi 512 bitlik ixrac səviyyəli Diffie-Hellman-a enişi nümayiş etdirdi və böyük resurslarla daha böyük, geniş təkrar istifadə olunan qruplara hücumun nəyə başa gələcəyini təxmin etdi. Nümayiş konkret idi, təxminlər təxmin idi və heç biri konkret bir VPN sessiyasının deşifrə olunduğuna dair sübut deyildi.

Məqaləyə mexanizm və nümayiş etdirilən eniş üçün istinad edin, yerləşdirmənizin ölçüsü kimi yox. Neçə serverin standart qrupu paylaşdığına dair köhnə statistikalar o ilin internetini təsvir edir, bugün yoxlaya biləcəyiniz şəbəkəni yox. Faydalı qalıq sualdır: cihazlarınız hələ də kiçik və ya zəif yoxlanılan qrupla danışırmı?

Standartlaşdırılmış olmaq zəiflik demək deyil

RFC 7919 adlandırılmış sonlu sahə qruplarını müəyyən edir ki, hər iki tərəf identifikatorla bir qrup barədə razılaşsın və ardıcıl siyasət tətbiq etsin. Standartlaşdırılmış olmaq bir xüsusiyyətdir, çünki danışıq qeyri-müəyyənliyini aradan qaldırır və tətbiqə dəstəklənməyən ölçüləri rədd etməyə imkan verir. Adlandırılmış qrup yalnız o zaman zəifdir ki, ölçüsü izləməyi iddia etdiyiniz siyasətdən aşağı olsun, sənəddə göründüyü üçün yox. Eyni məntiq fərqli quruluşa və fərqli uğursuzluq rejimlərinə malik elliptik əyri qruplarına da aiddir.

Mühakimə edərkən konstruksiyaları ayrı saxlayın. Sonlu sahə Diffie-Hellman haqqında nəticə X25519 haqqında heç nə demir, 1024 bitlik MODP qrupu haqqında nəticə isə 3072 bitlik qrup haqqında heç nə demir. Güc siyasəti hər mexanizm, hər ölçü və hər protokol versiyası üzrə ayrıdır, buna görə güclü kripto ifadəsi yoxlanıla bilən bir ifadə deyil.

Autentifikasiya digər yarıdır və onu əvəz etmir. Tərəf yoxlaması olmayan güclü qrup hücumçunu ortada qoyur, etibarlı sertifikat isə 768 bitlik mübadiləni xilas edə bilməz. Onları iki müstəqil xətt kimi nəzərdən keçirin, sonra hər ikisinin həqiqətən danışıldığını təsdiqləyin.

Danışılan qrupu real bağlantıda oxuyun

Danışılan qrupu konfiqurasiya şablonundan deyil, cihazdan oxuyun. Şablonlar niyyəti təsvir edir və maraqlı dəyər son əl sıxışmada hər iki tərəfin razılaşdığı dəyərdir. IPsec son nöqtəsində status çıxışı adətən seçilmiş təklifi, o cümlədən MODP qrupunu çap edir.

Siyasət dəyişikliyindən əvvəl və sonra həmin sətri qeydə alın və hər ikisini dəyişiklik qeydində saxlayın. Müqayisə sübutdur.

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

Dəyişiklikdən sonra status hələ də köhnə qrupu göstərirsə, bağlantı yenidən danışıq aparmayıb və konfiqurasiya düzəlişi heç nəyi sübut etməyib. Tərəfi yenidən başladın və ya təhlükəsizlik assosiasiyasını təmizləyin, sonra statusu yenidən oxuyun. Yalnız yeni bağlantılara tətbiq olunan siyasət uzunömürlü tunelləri qalxdıqları müddətdə köhnə parametrlərdə saxlayacaq.

Qrupu və tərəf kimliyini ayrı-ayrılıqda yoxlayın

Qrupun nəyi qoruduğunu digər tərəfdə kimin olduğundan ayırın. Açar mübadiləsi metodunu, qrup ölçüsünü və autentifikasiya metodunu üç sahə kimi qeyd edin, çünki onlar müstəqil şəkildə uğursuz olur. 3072 bitlik qrupla danışıq aparan, lakin istənilən sertifikatı qəbul edən tunel, tərəfi bərkidən və 2048 bitlik qrup istifadə edən tunellə eyni risk deyil.

Qəbul meyarlarını baxış başlamazdan əvvəl yazın ki, nəticə rəy deyil, müqayisə olsun. Hər protokol versiyası üçün minimum qrup ölçüsü, adlandırılmış qrupların icazə siyahısı və məcburi tərəf yoxlaması qərarı mexaniki etmək üçün kifayətdir. Həmin siyahıdakı qeyri-müəyyənlik baxışı mübahisəyə çevirir və mübahisələr aradan qaldırılmır. Sonra nəticə elan edilmiş qaydayı pozan son nöqtələrin siyahısıdır.

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

Dövrəni remediasiyadan sonra danışılan dəyərləri yenidən oxumaqla bağlayın. Uyğun konfiqurasiya faylı tunelin onu qəbul etdiyinə sübut deyil. Status çıxışı və bir təzə əl sıxışma sübutdur və onların toplanması, lazım olub-olmadığı barədə iclasdan az vaxt alır.