Жалпы DH тобу, жаңы сырлар: чабуул эмне үчүн арзандайт

Топтун параметрлери долбоор боюнча ачык, жана дал ушул ачыктык аларды этибарга албоону жеңилдетет. Чектүү талаадагы Diffie-Hellmanда модуль менен генератор жалпы, ал эми жеке даражалар жана алардан келип чыккан сессия ачкычтары жалпы эмес. Сан талаасынын элек чабуулунун кымбат баскычы бир алмашууга эмес, топко көз каранды, ошондуктан бардык жерде колдонулган бир алсыз топ жалпы милдеттенмеге айланат. Параметрлерди ачык деп атоо так жана маселеге тиешеси жок, анткени кайра колдонулган чыгым — ошол топко чабуул жасоо чыгымы.

Ачык жарымы — алсыз жарымы эмес, жана тузак ушунда

Кадимки жарым далил параметрлер стандартта жарыяланган, ошондуктан чабуулчу аларды мурунтан билет жана аларды жашыруу эч нерсени өзгөртпөйт дейт. Эки бекемдөө тең туура жана бири экинчисинен келип чыкпайт. Жөнөтүлгөн демейки топ ачык, ал эми өткөн жумада жараткан жеке тобуңуз да кол алышууну бүткөн ар кимге көрүнөт. Купуялуулук эч качан көзөмөл болгон эмес; күч жана текшерүү көзөмөл.

Өзгөргөн нерсе — бир алсыздыкты канча орун бөлүшөт. Өзүнүн 2048 биттик тобун жараткан уюм өз чабуул чыгымын төлөйт, ал эми миллиондор тандаган протокол демейкиси бир чыгымды алардын бардыгына амортизациялайт. Ушундай мааниде сейрек топ автоматтык түрдө жакшы эмес. Өтө кичине сейрек топ — үстүндө азыраак көз турган кичирээк жалпы сыр гана.

Текшерүү өлчөмдөй эле маанилүү. Кичине факторлору бар модуль жиберген өнөктөш, же протокол күткөн формада эмес модуль, бит узундугу кадырлуу көрүнсө да жеке даража жөнүндө маалыматты агызышы мүмкүн. Кирүүдө эле бузук параметрлерди четке каккан китепканалар чыныгы иш кылат, ошондуктан кол менен жазылган параметр анализи күч жумшоону үнөмдөө үчүн начар орун.

Алдын ала эсептөө чабуулчуга чындыгында эмне берет

Сан талаасынын элегинде гана жөнөкөй санга көз каранды баскыч бар жана анын жыйынтыгы ошол жөнөкөй санды колдонгон ар бир алмашууга каршы кайра колдонулат. Тарыхый тынчсыздануунун бүткүл механизми ушунда: кымбат бөлүгү бир жолу төлөнөт, ал эми ар бир кийинки сессиянын чектик чыгымы төмөндөйт. Жаңы даражалар ар бир жеке алмашууну пассивдүү байкоочудан дагы эле коргойт, эгер топ элөөнү мүмкүн эмес кыла тургандай чоң болсо. Эки бекемдөө үйлөшүмдүү жана бул темадагы талаштардын көбү бирин тандап, экинчисин таштоодон келип чыгат.

2015-жылдагы Logjam эмгеги 512 биттик экспорттук деңгээлдеги Diffie-Hellmanга төмөндөтүүнү көрсөттү жана олуттуу ресурстар менен чоңураак, кеңири кайра колдонулган топторго чабуул канча турарын баалады. Демонстрация конкреттүү болду, баалоолор баалоо болду жана экөө тең белгилүү бир VPN сессиясынын шифри ачылганына далил эмес.

Эмгекти механизм жана көрсөтүлгөн төмөндөтүү үчүн цитата кыл, өз жайгаштырууңдун өлчөмү катары эмес. Канча сервер демейки топту бөлүшкөнү тууралуу эски статистика ошол жылдын интернетин сүрөттөйт, бүгүн текшере ала турган тармакты эмес. Алып кетүүгө татыктуу пайдалуу нерсе — суроо: түзмөктөрүңүз дагы эле кичине же алсыз текшерилген топ жөнүндө сүйлөшөбү?

Стандартташтырылган алсыз дегенди билдирбейт

RFC 7919 аталган чектүү талаа топторун аныктайт, эки тарап тең идентификатор боюнча топко макул болуп, ырааттуу саясат колдонушу үчүн. Стандартташтырылган болуу артыкчылык, анткени ал сүйлөшүүнүн белгисиздигин жоёт жана ишке ашырууга колдоого алынбаган өлчөмдөрдү четке кагууга мүмкүндүк берет. Аталган топ өзүнүн өлчөмү сиз карманам деген саясаттан төмөн болгондо гана алсыз, документте кездешкендиктен эмес. Ушул эле логика эллиптикалык ийри сызыктардын топторуна да тиешелүү, алардын түзүлүшү жана иштен чыгуу режимдери башкача.

Алар жөнүндө ойлонгондо конструкцияларды өзүнчө карма. Чектүү талаадагы Diffie-Hellman тууралуу тыянак X25519 тууралуу эч нерсе айтпайт, ал эми 1024 биттик MODP тобу тууралуу тыянак 3072 биттик топ тууралуу эч нерсе айтпайт. Күч саясаты ар бир механизм, ар бир өлчөм жана ар бир протокол версиясы боюнча, ошондуктан күчтүү криптография деген сүйлөм текшерүүгө боло турган бекемдөө эмес.

Аутентификация — экинчи жарым жана ал алмаштырбайт. Өнөктөштү текшерүүсүз күчтүү топ чабуулчуну ортодо калтырат, ал эми жарактуу сертификат 768 биттик алмашууну куткара албайт. Аларды эки көз карандысыз сызык катары карап, анан экөө тең чындыгында сүйлөшүлүп жатканын ыраста.

Келишилген топту реалдуу байланышта оку

Келишилген топту конфигурация шаблонунан эмес, түзмөктөн оку. Шаблондор ниетти сүрөттөйт, ал эми кызыктуу маани — акыркы кол алышууда эки тарап макул болгон маани. IPsec четинде статус чыгышы адатта тандалган сунушту, анын ичинде MODP тобун басып чыгарат.

Саясат өзгөрүшүнөн мурун жана кийин ошол сапты жазып ал, экөөнү тең өзгөрүү жазуусунда сакта. Салыштыруу — далил.

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

Эгер өзгөрүүдөн кийин статус дагы эле эски топту көрсөтсө, байланыш кайра сүйлөшүү жүргүзгөн эмес жана конфигурацияны оңдоо эч нерсени далилдеген жок. Өнөктөштү кайра иштет же коопсуздук ассоциациясын тазала, анан статусту кайра оку. Жаңы байланыштарга гана колдонулган саясат узак өмүрдүү туннелдерди турганга чейин эски параметрлерде калтырат.

Топту жана өнөктөштүн инсандыгын өзүнчө текшер

Топтун эмнени коргой турганын экинчи четте ким турганынан ажырат. Ачкыч алмашуу ыкмасын, топтун өлчөмүн жана аутентификация ыкмасын үч талаа катары жазыңыз, анткени алар көз карандысыз иштен чыгат. 3072 биттик топ боюнча сүйлөшүп, бирок каалаган сертификатты кабыл алган туннель өнөктөштү бекитип, 2048 биттик топту колдонгон туннелге окшош тобокелдик эмес.

Кабыл алуу критерийлерин карап чыгуу башталганга чейин жазыңыз, натыйжа пикир эмес, салыштыруу болушу үчүн. Ар бир протокол версиясы үчүн минималдуу топ өлчөмү, аталган топтордун уруксат тизмеси жана милдеттүү өнөктөш текшерүүсү чечимди механикалык кылууга жетиштүү. Ушул тизмедеги белгисиздик карап чыгууну талашка айландырат, ал эми талаштар оңдолбойт. Анда чыгыш — жарыяланган эрежени бузган четки чекиттердин тизмеси.

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

Оңдоодон кийин келишилген маанилерди кайра окуп, айлампаны жап. Ылайыктуу конфигурация файлы туннель аны кабыл алганына далил эмес. Статус чыгышы жана бир жаңы кол алышуу далил, ал эми аларды чогултуу керекпи деген жыйындан аз убакыт алат.