Дидани манбаъи Бекдор

'''Бекдор''', '''даромадгоҳи махфӣ''' (аз {{Lang-en|back door}} — "дари пушт", айнан "дари пушт") — нуқсон дар алгоритме, ки аз ҷониби таҳиякунанда қасдан дар он сохта шудааст ва [[дастрасии беиҷозат]] ба маълумот ё идоракунии дурдасти [[Системомил|системаи оператсионӣ]] ва [[Роёна|дар маҷмӯъ компютерро]] фароҳам меорад .

Мақсади асосии пушти дарвоза ин аст, ки ба таври пинҳонӣ ва зуд дастрасии маълумот ба маълумот, дар аксари ҳолатҳо рамзгузорӣ ва муҳофизатшуда мебошад. Масалан, дар алгоритми рамзгузорӣ барои гӯш кардани телефони минбаъдаи [[SSL|канали амн]] аз ҷониби ҳамлагар пушти дарро сохтан мумкин аст.

==== Дар пушти (бекдор) дари комил ====
* ошкор кардан душвор аст;
* такроран истифода бурдан мумкин аст;
* рад кардан осон аст — он ба хатогӣ монанд аст ва агар ошкор шавад, таҳиякунанда метавонад ишора кунад, ки ӯ ин хаторо тасодуфан содир кардааст ва нияти бад надоштааст;
* мо танҳо дар сурате истифода мебарем, ки сиррро бидонем — танҳо шахсе, ки медонад, ки қафо дар чӣ гуна фаъол карда мешавад, метавонад онро истифода барад;
* аз созиш бо истифодаҳои қаблӣ муҳофизат карда шудааст — ҳатто агар пушти дарвоза ошкор шуда бошад ҳам, муайян кардан ғайриимкон аст, ки он қаблан аз ҷониби кӣ истифода шудааст ва ҳамлагар кадом маълумотро соҳиб шудааст;
* такрор кардан душвор аст — ҳатто агар пушти дарро касе пайдо карда бошад ҳам, онро дар дигар код ё дар дастгоҳи дигар истифода бурдан ғайриимкон аст.

==== Принсипҳои умумӣ барои эҷоди пушти дарҳо-(бекдорҳо) дар алгоритмҳо ====

* муқовимати сусти алгоритм ба [[Криптонализ|криптотализ]] ;
* константаҳои махсус интихобшуда — алгоритм метавонад ҳангоми интихоби арзишҳои муайяни константаҳои дар кори худ истифодашаванда барои криптотализ ноустувор гардад;
* мураккабӣ дар татбиқи бехатар — ин маънои онро дорад, ки татбиқи бехатари алгоритм хеле суст аст ва ҳама варианти ноамнро истифода мебаранд, ки барои ҳамла муфид аст.

== Намунаҳои гипотетикии пушти дарҳо-(бекдорҳо) дар алгоритмҳои муосир ==

=== осебпазирии генератори пайдарпаии псевдо-тасодуфӣ DUAL_EC_DRBG ===
Ин генератор аз ҷониби [[Оҷонси Амнияти Миллии Иёлоти Муттаҳидаи Амрико|NSA]] таҳия шудааст ва ҳамчун генератори рақамҳои псевдо-тасодуфӣ аз ҷиҳати криптографии қавӣ аз ҷониби Институти Миллии Стандартҳо ва Технологияи ИМА NIST дар соли 2006 стандартизатсия шудааст. Аммо, аллакай дар соли 2007, муҳаққиқони мустақил пешниҳод карданд, ки дар ин алгоритми пушти дари қафо сохтан мумкин аст.  <ref name="wired-schneier">{{Cite news|date=2007-11-15|author=[[Шнайер, Брюс|Брюс Шнайер]]|title=Did NSA Put a Secret Backdoor in New Encryption Standard?|url=https://www.wired.com/politics/security/commentary/securitymatters/2007/11/securitymatters_1115|publisher=[[Wired News]]|archiveurl=https://archive.is/20120919094854/http://www.wired.com/politics/security/commentary/securitymatters/2007/11/securitymatters_1115|archivedate=2012-09-19}}</ref> 

: ''Тасвири амали алгоритми мувофиқи мушаххасоти NSA <ref>John Bryson, Patrick Gallagher, [https://projectbullrun.org/dual-ec/documents/SP800-90A.pdf/ Recommendation for Random Number Generation Using Deterministic Random Bit Generators] {{Бойгонишуда|url=https://web.archive.org/web/20160220095008/https://projectbullrun.org/dual-ec/documents/SP800-90A.pdf/ |date=2016-02-20 }}, p. 60, 2012</ref> :''

[[Акс:DUAL_EC_DRBG.jpg|пайванд=Файл:DUAL_EC_DRBG.jpg|бе_чаҳорчӯба|600x600пкс]]

Ин алгоритм хатҳои эллиптикиро истифода мебарад. <math> P </math> - генератори гурӯҳи нуқтаҳо дар хатти эллиптикӣ, <math> Q </math> - нуктаи каљи эллиптикї - константае, ки бо стандарт муайян шудааст, чї тавр интихоб шудааст, маълум нест. Параметрҳои худи каҷ низ аз ҷониби стандарт муқаррар карда мешавад.

: ''Принсипи фаъолият:''

Муодилаи каҷ

: <math>
 y^2 = (x^3+ax+b) \bmod p
</math>

дар шакли дубора навиштан мумкин аст <math> x = \varphi(x, y) \bmod p </math> ва барои кор кардани алгоритм ифодаҳои зеринро нависед:

: <math> r_i = \varphi(s_i*P)</math>, <math> t_i = \varphi(r_i*Q)</math>, <math> s_{i+1} = \varphi(r_i*P)</math>
: <math> s_i</math> — ҳолати дохилии генератор дар марҳилаи ҷорӣ
: <math> s_{i+1}</math> - ҳолати дохилии генератор дар қадами оянда
: <math> t_i </math> — баромади генератор дар зинаи ҷорӣ

: ''Эҳтимоли пушти дари:''

Зеро <math> p </math> рақами аслӣ аст, пас чунин адад вуҷуд дорад <math> e </math>, чӣ <math> e*Q=P</math> . Ҷустуҷӯ <math> e </math> масъалаи аз чихати хисоббарорй душвори логарифми дискретй дар хатти эллиптики мебошад, ки дар айни замон алгоритмхои самарабахш барои он вучуд надоранд. Аммо фарз кардем, ки ҳамлагар медонад <math> e </math>, он гоҳ ҳамлаи зерин ба даст меояд: Агар <math> x=t_i </math> баромади навбатии генератор аст, ва агар чунин вуҷуд дорад <math> y </math>, чӣ <math> y^2 \equiv (x^3+ax+b) \bmod p</math>, пас нукта <math> A =(x,y)</math>, дар каҷ ҷойгир аст ва баробарии зерин барои он амал мекунад: <math> A=r_i*Q </math> . Донистани рақам <math> e </math> ҳисоб кардан мумкин аст: <math> s_{i+1}=\varphi(e*A)=\varphi(e*r_i*Q)=\varphi(r_i*P) </math> . Ҳамин тариқ, ҳамлагар, ки рақамро медонад <math> e </math>, метавонад на танҳо ҳосили навбатии генераторро ҳисоб кунад, балки инчунин дар тамоми ҳолатҳои дохилии имконпазири генератор зуд такрор карда, ҳолати ибтидоии дохилии онро барқарор кунад. Тибқи таҳқиқоти мустақил <ref name="Yandex security meet up">Евгений Сидоров, [https://events.yandex.ru/lib/talks/2974/ Криптографические баги и бэкдоры] {{Wayback}}, Yandex security meet up, 24.07.2015</ref> <ref>Dan Shumow, Niels Ferguson, [http://rump2007.cr.yp.to/15-shumow.pdf On the Possibility of a Back Door in the NIST SP800-90 Dual Ec Prng] {{Бойгонишуда|url=https://web.archive.org/web/20220615221520/https://rump2007.cr.yp.to/15-shumow.pdf |date=2022-06-15 }}, pages 6-7, CRYPTO 2007, august 2007</ref>, бо дониш <math> e </math> танҳо 30 байт пайдарпаии баромади генератор кифоя аст, ки танҳо номбар кунед <math> 2^{15} </math> арзишҳо барои барқарор кардани ҳолати ибтидоии дохилии он. Ба гуфтаи муҳаққиқон, чунин осебпазириро метавон ҳамчун пушти дари қафо арзёбӣ кард.

=== Хатогӣ дар татбиқи протоколи тасдиқи сертификати TLS -и [[Apple Inc.|Apple]] ===
[[Яндекс|Муҳаққиқони Яндекс]] осебпазириро дар татбиқи протоколи TLS дар яке аз маҳсулоти нармафзори [[Apple Inc.|Apple]] кашф карданд <ref name="Yandex security meet up"/> . Ба ақидаи онҳо, ин хато метавонад як пушти даре бошад, ки аз ҷониби яке аз таҳиягарон дидаву дониста дар алгоритм сохта шудааст.

: ''Бахши код бо хатогӣ:''
<syntaxhighlight lang="c">
static DSStatus SSLVerifySignedServerKeyExchnge(....)
{
   DSStatus err;
   ....
   if ((err = SSLHashSHA1.update(&hashCtx, &signedParams)) != 0)
     goto fail;
     goto fail;
   if ((SSHashSHA1.final(&hashCtx, &hashOut)) != 0)
     goto fail;
   ....
   fail:
     ....
     return err;
}
</syntaxhighlight>Тавре ки шумо мебинед, пас аз изҳороти аввал ду хати '''goto fail''' '''мавҷуд''' аст ва сатри дуюм новобаста аз натиҷаи '''if''', ҳамеша иҷро мешавад. Ҳамин тариқ, тартиби тасдиқи сертификат нопурра аст. Ҳамлагаре, ки дар бораи ин осебпазирӣ огоҳ аст, метавонад сертификатро қаллобӣ кунад ва тасдиқ карда шавад. Ин ба ӯ имкон медиҳад, ки ҳамлаи одам дар миёнаро ташкил кунад ва ба ин васила ба пайвасти бехатари байни муштарӣ ва сервер халал расонад. Муҳаққиқоне, ки ин хаторо дар татбиқ кашф кардаанд, дақиқ гуфта наметавонанд, ки он қасдан ё тасодуфӣ буд. Ин комилан имконпазир аст, ки ин пушти дари дар алгоритми аз ҷониби яке аз таҳиягарон сохташуда бошад.

== Намунаҳои усулҳои эҷоди пушти дарҳо ==

==== Константаҳои махсус интихобшуда ====
Бисёре аз алгоритмҳои [[Рамзнигорӣ|криптографии]] муосир дар кори худ маҷмӯи муайяни доимии дохилиро истифода мебаранд. Одатан, ин константаҳо аз ҷониби стандарт муайян карда мешаванд ва бо сабабҳои муқовимати криптографӣ ба намудҳои ҳозираи маълуми криптотализ интихоб карда мешаванд. Аммо интихоби константаҳо ҳангоми стандартизатсияи алгоритм аз ҷиҳати назариявӣ метавонад аз ҷониби таҳиягарон бо нияти бад истифода шавад: масалан, барои эҷоди баъзе осебпазириҳо ва дарҳои пушти дарҳои алгоритм.

Ҳамчун мисоли истифодаи константаҳо, мо метавонем мақолаҳои тадқиқотии охиринро дар мавзӯи ба истилоҳ "хэшингҳои зараровар" <ref name="Malicious SHA1">Ange Albertini, Jean-Philippe Aumasson, Maria Eichlseder, Florian Mendel, Martin Schlaeffer, [https://malicioussha1.github.io/ Malicious SHA-1] {{Бойгонишуда|url=https://web.archive.org/web/20160110131300/https://malicioussha1.github.io/ |date=2016-01-10 }}, 14.08.2014</ref> <ref name="Eve's variant of SHA1">Ange Albertini, Jean-Philippe Aumasson, Maria Eichlseder, Florian Mendel, Martin Schlaffer, [https://eprint.iacr.org/2014/694.pdf/ Malicious Hashing: Eve’s Variant of SHA-1] {{Бойгонишуда|url=https://web.archive.org/web/20151022133525/https://eprint.iacr.org/2014/694.pdf/ |date=2015-10-22 }}, 2014 year</ref> оварем, ки дар он муаллифон тавонистанд бархӯрдҳоро барои [[Хешинг|функсияи]] хэши криптографии SHA1 бо тағир додани константаҳои даврии он. Аҳамият диҳед, ки ҳамлае, ки муаллифони таҳқиқот пешниҳод кардаанд, ҳамла ба худи функсияи hash SHA1 нест, он танҳо имкон медиҳад, ки бархӯрдҳо дар сурати тағир додани константаҳои мудаввар ва танҳо барои намудҳои муайяни файл имконпазир бошанд.

: ''Тавсифи мухтасари SHA1 :''

SHA1 як функсияи муосири хэши мудаввар аст. Алгоритми ҳашинг чунин аст:

* Қиматҳои 32-бит оғоз карда мешаванд <math> a = h_0, b = h_1, c = h_2, d = h_3, e = h_4 </math>
* Паёми воридотӣ ба блокҳои 512 бит тақсим мешавад
* Ҳар як блоки паёмӣ мувофиқи алгоритми дар стандарт муайяншуда ба таври махсус коркард ва пурра карда мешавад.
* Блоки паёми қабулшуда дар 4 марҳилаи ҳар кадоми 20 давр ҳаш карда мешавад ва ҳар як марҳила константаи худро истифода мебарад <math>K_1, K_2, K_3 </math> ё <math>K_4 </math>
* Натиҷаи функсия барои ҳар як блок арзишҳои нав хоҳад буд <math>a, b, c, d, e </math>, ки ба натиҷа илова карда мешаванд: <math> h_0 = h_0 + a, h_1 = h_1 + b, h_2 = h_2 + c, h_3 = h_3 + d, h_4 = h_4 + e </math>
* Натиҷаи ниҳоии хэш арзиши 160-бит хоҳад буд, ки тавассути пайваст кардани панҷ арзиши 32-бит ба даст меояд <math> h_0, h_1, h_2, h_3, h_4 </math> пас аз коркарди блоки охирини паём.

: ''Бархӯрди биноҳо:''

Мақсади ҳамлаи баррасишаванда дарёфти чунин доимӣ мебошад <math> K_1, K_2, K_3, K_4 </math> ва чунин паёмҳо <math>M_1</math> ва <math>M_2</math>, чӣ <math>Hash(M_1) = Hash(M_2)</math> . Ин ҳамла танҳо аввалин 512 бит (блоки 1)-и паёмҳоро, ки барои сохтани бархӯрд зарур аст, тағир медиҳад. Алгоритм ба ҳамлаи дифференсиалии аллакай маълум ба SHA1, ки соли 2005 пешниҳод шуда буд, асос ёфтааст   ва мураккабии тартиб <math> 2^{69} </math> амалиётхоеро, ки дар амал татбик карданро душвор мегардонад. Аз ин рӯ, то ҳол ягон бархӯрди воқеӣ барои [[SHA1]] пайдо нашудааст.

Аммо дар сурати эҷоди як варианти шубҳаноки SHA1, ҳамлакунанда метавонад на танҳо блокҳои паёмиро фарқ кунад <math>M_1</math> ва <math>M_2</math>, балки доимии мудаввар низ <math> K_1, K_2, K_3, K_4 </math> . Мувофиқи тадқиқот , ин хеле мураккабии ҳамларо ба тартибот коҳиш медиҳад <math> 2^{48} </math> амал мекунад ва сохтани чунин бархӯрдҳоро як вазифаи воқеие мегардонад, ки онро дар компютерҳои сершумор иҷро кардан мумкин аст. Ҳамин тариқ, муаллифони тадқиқот тавонистанд бархӯрдҳои як-блокро барои бисёр намудҳои файлҳои маълум созанд.

: ''Бархӯрди ягонаи блок:''

[[Акс:Mal_sha1.jpg|пайванд=Файл:Mal_sha1.jpg|бе_чаҳорчӯба|305x305пкс]]

: <math>M_1</math> ва <math>M_2</math> - блокҳои аввалини паёмҳо (512 бит), ки аз ҳамдигар фарқ мекунанд, аммо маблағи якхеларо медиҳанд
: <math> Content </math> - қисми боқимондаи мундариҷа, ки барои ҳарду файл яксон аст

==== Намунаи истифодаи ҳашингҳои зараровар барои эҷоди пушти дарҳо ====
Бо ёрии ҳамлаи тавсифшуда, ду sh-скрипт сохта шуд, ки ҳангоми интихобшуда <math> K_1=5a827999~,~K_2=88e8ea68~,~K_3=578059de~,~K_4=54324a39</math> якхела маблаги SHA1 дихад, вале дигар хел кор кунад.

[[Акс:Malicious_sh.jpg|пайванд=Файл:Malicious_sh.jpg|бе_чаҳорчӯба|600x600пкс]]

Тавре ки шумо мебинед, фарқияти байни ин ду скрипт танҳо дар блокҳои аввали 512 бит аст, ки партовҳоро шарҳ медиҳанд. Аммо мундариҷаи ин блокҳо баъдан дар ҳолати '''if''' истифода мешаванд, аз ин рӯ скриптҳо ҳангоми иҷро дигар хел рафтор мекунанд. Чунин файлҳоро эҷодкунанда бо нияти бад истифода бурда метавонад.

== Дарҳои пушти сахтафзор ==
Дарҳои қафоро на танҳо дар нармафзор, балки дар сахтафзор низ ҷойгир кардан мумкин аст. Чунин пушти дарҳоро истеҳсолкунандагони сахтафзор метавонанд барои ворид кардани функсияҳои зараровар дар марҳилаи истеҳсол истифода баранд.

Дарҳои паси сахтафзор нисбат ба нармафзор як қатор бартариҳо доранд:

* Бо [[Барномаи зиддивирусӣ|антивирусҳо]], сканерҳои код ва дигар нармафзори амниятӣ ошкор карда намешавад.
* Бо навсозӣ ё иваз кардани нармафзор ислоҳ карда намешавад.

Намунаи пушти дари сахтафзор як нармафзори зараровари [[BIOS]] хоҳад буд. Мувофиқи тадқиқотҳо <ref name="Аппаратный бэкдор">Jonathan Brossard, [http://www.securitylab.ru/analytics/432914.php Аппаратные бэкдоры — это практично] {{Бойгонишуда|url=https://web.archive.org/web/20151208061708/http://www.securitylab.ru/analytics/432914.php |date=2015-12-08 }}, 12 марта 2012</ref>, чунин нармафзорро метавон дар асоси нармафзори ройгони Coreboot <ref name="Coreboot">[http://nerohelp.info/4305-coreboot.html Обзор проекта свободного BIOS — Coreboot] {{Бойгонишуда|url=https://web.archive.org/web/20151208152235/http://nerohelp.info/4305-coreboot.html |date=2015-12-08 }}, 9 октября 2014</ref> ва SeaBIOS сохтан мумкин аст. [[coreboot|Coreboot]] як BIOS-и мукаммал нест: он танҳо барои муайян кардани сахтафзори дар мошин мавҷудбуда ва интиқоли назорат ба худи "BIOS пур" масъул аст, ки онро ҳамчун SeaBIOS истифода бурдан мумкин аст, ки аз ҷониби ҳамлагар мувофиқи эҳтиёҷоти ӯ тағир дода шудааст.

Принсипи кори нармафзори зарароварро ба таври мухтасар чунин тавсиф кардан мумкин аст: дарҳол пас аз фурӯзон шудани компютери сироятшуда, ҳатто пеш аз бор кардани системаи амалиётӣ, он кӯшиш мекунад, ки бо сервери ҳамлакунанда тавассути Интернет пайваст шавад. Агар чунин кӯшиш бомуваффақият анҷом дода шавад, пас баъзе bootkit ба таври фосилавӣ зеркашӣ карда мешавад, ки дар навбати худ ба ҳамлагар имкон медиҳад, ки амалҳои зарароварро бо компютери сироятшуда анҷом диҳад: дуздии маълумот ё идоракунии дурдаст . Агар кӯшиши пайвастшавӣ ба Интернет ноком шавад, он гоҳ системаи оператсионӣ ба таври муқаррарӣ бор мешавад. Бартарии бешубҳа барои ҳамлакунанда дар он аст, ки худи нармафзори таҳриршуда ягон рамзи зарароварро дар бар намегирад ва ошкор кардани bootkits душвор аст.

== Инчунин нигаред ==

* [[Истисмор кардан]]
* [[Мард дар миёна|Ҳамла "Одам-дар-миёна"]]
* [[DoublePulsar]]
* [[Кабуди абадӣ]]
* [[WannaCry]]
* [[Петя|Петя (Рansomware кирми)]]
* EternalRocks
* [[Оҷонси Амнияти Миллии Иёлоти Муттаҳидаи Амрико|Агентии амнияти миллии ИМА]]

== Эзоҳ ==
{{Эзоҳ}}
<references group="" responsive="1"></references>

== Пайвандҳо ==
* Dan Shumow, Niels Ferguson. On the Possibility of a Back Door in the NIST SP800-90 Dual Ec Prng. — 2007.
* Евгений Сидоров. Криптографические баги и бэкдоры. — 2015.
* John Bryson, Patrick Gallagher. Recommendation for Random Number Generation Using Deterministic Random Bit Generators. — U.S. Department of Commerce, 2012.

[[Гурӯҳ:Бехатарии иттилоотӣ]]
[[Гурӯҳ:Саҳифаҳое, ки бо тарҷумаҳои ношинос оварда шудаанд]]