Mozilla имплементира CRLite за да провери дали има проблематични TLS сертификати

Компанијата Мозила објави за почетокот на тестирањето во ноќните изданија на Firefox, нов механизам за откривање отповикани сертификати - CRLite. CRLite ви овозможува да организирате ефикасна проверка на отповикување на сертификати според базата на податоци хостирана на системот на корисникот. Имплементација CRLite на Mozilla објавено под бесплатната лиценца MPL 2.0. Кодот за генерирање на базата на податоци и компонентите на серверот се напишани во Пајтон и оди. Делови од клиентот додадени во Firefox за читање податоци од базата на податоци подготвени во јазикот Руст.

Потврда на сертификатот со помош на надворешни услуги врз основа на протоколот што сè уште се користи OCSP (Онлајн протокол за статус на сертификатот) бара гарантиран пристап до мрежата, доведува до значително доцнење во обработката на барањата (во просек 350 ms) и има проблеми со обезбедување на доверливост (OCSP серверите кои одговараат на барања добиваат информации за одредени сертификати, кои може да се користат за да се процени дали сајтови кои корисникот ги отвора). Исто така, постои можност за локална проверка на списоци Ц.Р.Л. (Certificate Revocation List), но недостаток на овој метод е многу големата големина на преземените податоци - моментално базата на податоци за отповикани сертификати зафаќа околу 300 MB и нејзиниот раст продолжува.

За да ги блокира сертификатите што се компромитирани и отповикани од властите за сертификација, Firefox користи централизирана црна листа од 2015 година OneCRL во комбинација со повик до сервис Безбедно прелистување на Google да се идентификуваат можните злонамерни активности. OneCRL, како CRLПоставува во Chrome, делува како средна врска што ги собира списоците на CRL од органите за сертификација и обезбедува единствена централизирана услуга OCSP за проверка на отповиканите сертификати, што овозможува да не се испраќаат барања директно до органите за сертификација. И покрај многуте работи за подобрување на доверливоста на услугата за проверка на сертификати преку Интернет, податоците за телеметрија покажуваат дека повеќе од 7% од OCSP бараат истек на време (пред неколку години оваа бројка беше 15%).

Стандардно, ако е невозможно да се потврди преку OCSP, прелистувачот смета дека сертификатот е валиден. Услугата може да биде недостапна поради проблеми со мрежата и ограничувања на внатрешните мрежи или блокирана од напаѓачите - за да се заобиколи проверката на OCSP за време на напад на MITM, едноставно блокирајте го пристапот до услугата за проверка. Делумно за да се спречат ваквите напади, имплементирана е техника Мора да биде главен, што ви овозможува да ја третирате грешката за пристап до OCSP или недостапноста на OCSP како проблем со сертификатот, но оваа функција е изборна и бара посебна регистрација на сертификатот.

CRLite ви овозможува да ги консолидирате целосните информации за сите отповикани сертификати во структура која лесно се ажурира, со големина од само 1 MB, што овозможува зачувување на целосна CRL база на податоци на страната на клиентот.
Прелистувачот ќе може секојдневно да ја синхронизира својата копија од податоците за отповиканите сертификати, а оваа база на податоци ќе биде достапна под какви било услови.

CRLite комбинира информации од Транспарентност на сертификат, јавен дневник на сите издадени и отповикани сертификати и резултатите од скенирањето на сертификатите на Интернет (се собираат различни CRL листи на органи за сертификација и се собираат информации за сите познати сертификати). Податоците се пакуваат со помош на каскадно Блум филтри, веројатна структура која овозможува лажно откривање на елемент што недостасува, но исклучува изоставување на постоечки елемент (т.е., со одредена веројатност, можно е лажно позитивно за точен сертификат, но отповиканите сертификати се гарантира дека ќе бидат идентификувани).

За да се елиминираат лажните позитиви, CRLite воведе дополнителни корективни нивоа на филтер. По генерирањето на структурата, сите изворни записи се пребаруваат и се идентификуваат сите лажни позитиви. Врз основа на резултатите од оваа проверка, се создава дополнителна структура, која се каскадира на првата и ги коригира добиените лажни позитиви. Операцијата се повторува додека целосно не се отстранат лажните позитиви за време на контролната проверка. Вообичаено, создавањето 7-10 слоеви е доволно за целосно покривање на сите податоци. Бидејќи состојбата на базата на податоци, поради периодична синхронизација, малку заостанува зад моменталната состојба на CRL, проверката на новите сертификати издадени по последното ажурирање на базата на податоци CRLite се врши со помош на протоколот OCSP, вклучително и користење на Спојување на OCSP (Одговор на OCSP потврден од орган за сертификација се пренесува од серверот што ја опслужува локацијата кога преговара за TLS конекција).

Користејќи ги филтрите на Bloom, декемврискиот дел од информации од WebPKI, кој опфаќа 100 милиони активни сертификати и 750 илјади отповикани сертификати, можеше да се спакува во структура од 1.3 MB во големина. Процесот на генерирање структура е доста интензивен за ресурси, но се изведува на серверот Mozilla и на корисникот му се дава готово ажурирање. На пример, во бинарна форма, изворните податоци што се користат за време на генерирањето бараат околу 16 GB меморија кога се складирани во Redis DBMS, а во хексадецимална форма, депонијата на сите сериски броеви на сертификати трае околу 6.7 GB. Процесот на собирање на сите поништени и активни сертификати трае околу 40 минути, а процесот на генерирање спакувана структура базирана на филтерот Bloom трае уште 20 минути.

Mozilla моментално гарантира дека базата на податоци CRLite се ажурира четири пати на ден (не сите ажурирања се доставуваат до клиентите). Генерирањето на делта ажурирања сè уште не е имплементирано - употребата на bsdiff4, што се користи за креирање на делта ажурирања за изданија, не обезбедува соодветна ефикасност за CRLite и ажурирањата се неразумно големи. За да се елиминира овој недостаток, се планира да се преработи форматот на структурата за складирање за да се елиминира непотребното обновување и бришење на слоевите.

CRLite моментално работи во Firefox во пасивен режим и се користи паралелно со OCSP за да се акумулира статистика за правилната работа. CRLite може да се префрли во главниот режим на скенирање; за да го направите ова, треба да го поставите параметарот security.pki.crlite_mode = 2 во about:config.

Извор: opennet.ru