- 13.11.18
- 1,473
- 3,000,000 ₽
- 23
Почему Tor уязвим к корреляции
Tor шифрует трафик и прогоняет его через три ноды — guard, middle, exit. Никакая нода не знает одновременно кто отправитель и кто получатель. Это защищает от компрометации отдельных нод.
Но есть фундаментальная проблема: Tor не скрывает факт передачи трафика и не добавляет значимых задержек. Если противник видит трафик на входе в сеть и на выходе одновременно — он может сопоставить их по таймингу и объёму без взлома шифрования. Это и есть корреляционная атака или end-to-end correlation attack.
Математически это выглядит так: трафик на входе имеет определённый паттерн — размеры пакетов, интервалы между ними. Тот же паттерн с небольшими искажениями появляется на выходе. Статистическое сопоставление двух потоков даёт высокую вероятность что это один и тот же пользователь.
Кто может проводить такую атаку
Для корреляционной атаки нужно видеть одновременно входящий и исходящий трафик. Это возможно для:
Глобального наблюдателя — структуры которая контролирует значительную часть интернет инфраструктуры. АНБ, GCHQ и аналоги имеют доступ к магистральным каналам через программы типа PRISM и Upstream Collection. Это даёт видимость большой части Tor трафика одновременно.
Противника контролирующего достаточно нод. Если одна организация контролирует и guard ноду через которую входит пользователь и exit ноду через которую выходит трафик — корреляция возможна без доступа к магистралям. Это называется Sybil атака в контексте Tor.
Провайдера пользователя совместно с провайдером целевого сервиса. Если оба провайдера сотрудничают или скомпрометированы — видны оба конца соединения.
Реальные случаи
Carnegie Mellon и Operation Onymous 2014
В ноябре 2014 года ФБР и Европол провели операцию Onymous — одновременно были закрыты десятки onion сервисов включая Silk Road 2.0. Было арестовано 17 человек в нескольких странах.
Официальная причина деанона не раскрывалась. В 2015 году выяснилось что Университет Карнеги-Меллон получил от ФБР минимум 1 миллион долларов за исследование которое помогло деанонить пользователей Tor. Исследователи CMU запустили большое количество нод в сети Tor и проводили трафик анализ на протяжении нескольких месяцев. Tor Project официально обвинил CMU в проведении атаки на пользователей без их согласия. Исследование было отозвано с конференции USENIX Security за несколько недель до презентации — предположительно по требованию властей.
Атака через контролируемые ноды — академические исследования
Исследование 2013 года опубликованное в IEEE показало что противник контролирующий 10% нод Tor может деанонить около 35% пользователей в течение шести месяцев. При контроле 30% нод — более 70% пользователей.
Другое исследование того же периода показало что при достаточном количестве контролируемых нод вероятность того что guard и exit нода будут принадлежать одному противнику для конкретного пользователя достигает значимых величин за несколько месяцев использования.
Harvard bomb threat 2013
Студент Гарварда отправил анонимное письмо с угрозой взрыва через Tor чтобы избежать экзамена. ФБР не взламывало Tor — они просто запросили у университета логи WiFi соединений в момент когда было отправлено письмо. Единственный пользователь подключённый к Tor в то время в сети университета был идентифицирован. Tor работал технически корректно — но метаданные за пределами Tor раскрыли пользователя.
Это не корреляционная атака в техническом смысле но показывает как трафик анализ на другом уровне обходит защиту Tor.
Website fingerprinting как смежный вектор
Если противник видит только зашифрованный трафик между пользователем и guard нодой — он не знает содержимого. Но паттерн трафика при загрузке конкретного сайта уникален — количество объектов, их размеры, последовательность запросов.
Исследования показывают точность определения посещаемого сайта по зашифрованному Tor трафику на уровне 80-90% для топовых сайтов. Это означает что провайдер пользователя или любой кто видит трафик между пользователем и первой нодой может с высокой вероятностью определить какие сайты посещаются — даже не видя содержимого и не контролируя другие ноды.
Атаки на guard ноды
Выбор guard ноды в Tor фиксирован на несколько месяцев — это сделано намеренно для защиты от некоторых атак. Но это означает что если противник компрометирует или контролирует guard ноду пользователя — он видит весь его входящий трафик на протяжении месяцев.
Атака на guard: противник запускает большое количество быстрых нод с хорошей пропускной способностью. Tor выбирает guard ноды пропорционально пропускной способности. Чем больше нод запустил противник — тем выше вероятность что именно его нода станет guard для конкретного пользователя.
Как защититься
Полной защиты от глобального наблюдателя с доступом к магистралям не существует в рамках текущей архитектуры Tor. Но можно значительно усложнить атаку.
Мосты и pluggable transports
Использование мостов скрывает от провайдера сам факт использования Tor — провайдер не знает IP первой ноды. OBFS4 делает трафик статистически похожим на случайный шум что затрудняет трафик анализ. Это не защищает от глобального наблюдателя но убирает один слой видимости.
Минимизация времени использования
Корреляционные атаки становятся точнее при длительном наблюдении. Короткие сессии с паузами между ними снижают точность статистического сопоставления. Это неудобно но снижает риск.
Разделение активности
Не использовать один и тот же Tor сеанс для разных контекстов. Разные активности — разные цепочки, разные сессии. Tor Browser создаёт новые цепочки для разных доменов — не обходить эту логику.
I2P для внутренней коммуникации
Для общения внутри сети I2P использует однонаправленные туннели — входящий и исходящий трафик идут по разным путям. Это усложняет корреляцию по сравнению с Tor где один путь используется в обе стороны. Против глобального наблюдателя тоже не панацея но архитектурно сложнее для корреляции.
Nym mixnet
Наиболее сильная защита от трафик анализа из доступных. Добавляет случайные задержки и перемешивает трафик разных пользователей — это ломает временную корреляцию которая является основой большинства атак. Цена — заметно более низкая скорость. Проект в активной разработке.
Физическое разделение
Не использовать Tor из домашней сети или из сети которая регулярно ассоциируется с твоей личностью. Публичная сеть через которую ты не ходишь регулярно разрывает связь между трафиком и конкретным человеком на уровне провайдера.
Вывод
Корреляционные атаки это не теоретическая угроза — они применяются в реальных операциях и задокументированы академически. Tor защищает от локального наблюдателя и от компрометации отдельных нод но не от противника с доступом к обоим концам соединения.
Правильная модель угроз: Tor хорошо защищает от провайдера, от владельца сайта, от большинства корпоративных наблюдателей. Против государственного противника с доступом к магистральной инфраструктуре — существенно слабее. Понимание этой границы важнее чем слепое доверие к инструменту.
Tor шифрует трафик и прогоняет его через три ноды — guard, middle, exit. Никакая нода не знает одновременно кто отправитель и кто получатель. Это защищает от компрометации отдельных нод.
Но есть фундаментальная проблема: Tor не скрывает факт передачи трафика и не добавляет значимых задержек. Если противник видит трафик на входе в сеть и на выходе одновременно — он может сопоставить их по таймингу и объёму без взлома шифрования. Это и есть корреляционная атака или end-to-end correlation attack.
Математически это выглядит так: трафик на входе имеет определённый паттерн — размеры пакетов, интервалы между ними. Тот же паттерн с небольшими искажениями появляется на выходе. Статистическое сопоставление двух потоков даёт высокую вероятность что это один и тот же пользователь.
Кто может проводить такую атаку
Для корреляционной атаки нужно видеть одновременно входящий и исходящий трафик. Это возможно для:
Глобального наблюдателя — структуры которая контролирует значительную часть интернет инфраструктуры. АНБ, GCHQ и аналоги имеют доступ к магистральным каналам через программы типа PRISM и Upstream Collection. Это даёт видимость большой части Tor трафика одновременно.
Противника контролирующего достаточно нод. Если одна организация контролирует и guard ноду через которую входит пользователь и exit ноду через которую выходит трафик — корреляция возможна без доступа к магистралям. Это называется Sybil атака в контексте Tor.
Провайдера пользователя совместно с провайдером целевого сервиса. Если оба провайдера сотрудничают или скомпрометированы — видны оба конца соединения.
Реальные случаи
Carnegie Mellon и Operation Onymous 2014
В ноябре 2014 года ФБР и Европол провели операцию Onymous — одновременно были закрыты десятки onion сервисов включая Silk Road 2.0. Было арестовано 17 человек в нескольких странах.
Официальная причина деанона не раскрывалась. В 2015 году выяснилось что Университет Карнеги-Меллон получил от ФБР минимум 1 миллион долларов за исследование которое помогло деанонить пользователей Tor. Исследователи CMU запустили большое количество нод в сети Tor и проводили трафик анализ на протяжении нескольких месяцев. Tor Project официально обвинил CMU в проведении атаки на пользователей без их согласия. Исследование было отозвано с конференции USENIX Security за несколько недель до презентации — предположительно по требованию властей.
Атака через контролируемые ноды — академические исследования
Исследование 2013 года опубликованное в IEEE показало что противник контролирующий 10% нод Tor может деанонить около 35% пользователей в течение шести месяцев. При контроле 30% нод — более 70% пользователей.
Другое исследование того же периода показало что при достаточном количестве контролируемых нод вероятность того что guard и exit нода будут принадлежать одному противнику для конкретного пользователя достигает значимых величин за несколько месяцев использования.
Harvard bomb threat 2013
Студент Гарварда отправил анонимное письмо с угрозой взрыва через Tor чтобы избежать экзамена. ФБР не взламывало Tor — они просто запросили у университета логи WiFi соединений в момент когда было отправлено письмо. Единственный пользователь подключённый к Tor в то время в сети университета был идентифицирован. Tor работал технически корректно — но метаданные за пределами Tor раскрыли пользователя.
Это не корреляционная атака в техническом смысле но показывает как трафик анализ на другом уровне обходит защиту Tor.
Website fingerprinting как смежный вектор
Если противник видит только зашифрованный трафик между пользователем и guard нодой — он не знает содержимого. Но паттерн трафика при загрузке конкретного сайта уникален — количество объектов, их размеры, последовательность запросов.
Исследования показывают точность определения посещаемого сайта по зашифрованному Tor трафику на уровне 80-90% для топовых сайтов. Это означает что провайдер пользователя или любой кто видит трафик между пользователем и первой нодой может с высокой вероятностью определить какие сайты посещаются — даже не видя содержимого и не контролируя другие ноды.
Атаки на guard ноды
Выбор guard ноды в Tor фиксирован на несколько месяцев — это сделано намеренно для защиты от некоторых атак. Но это означает что если противник компрометирует или контролирует guard ноду пользователя — он видит весь его входящий трафик на протяжении месяцев.
Атака на guard: противник запускает большое количество быстрых нод с хорошей пропускной способностью. Tor выбирает guard ноды пропорционально пропускной способности. Чем больше нод запустил противник — тем выше вероятность что именно его нода станет guard для конкретного пользователя.
Как защититься
Полной защиты от глобального наблюдателя с доступом к магистралям не существует в рамках текущей архитектуры Tor. Но можно значительно усложнить атаку.
Мосты и pluggable transports
Использование мостов скрывает от провайдера сам факт использования Tor — провайдер не знает IP первой ноды. OBFS4 делает трафик статистически похожим на случайный шум что затрудняет трафик анализ. Это не защищает от глобального наблюдателя но убирает один слой видимости.
Минимизация времени использования
Корреляционные атаки становятся точнее при длительном наблюдении. Короткие сессии с паузами между ними снижают точность статистического сопоставления. Это неудобно но снижает риск.
Разделение активности
Не использовать один и тот же Tor сеанс для разных контекстов. Разные активности — разные цепочки, разные сессии. Tor Browser создаёт новые цепочки для разных доменов — не обходить эту логику.
I2P для внутренней коммуникации
Для общения внутри сети I2P использует однонаправленные туннели — входящий и исходящий трафик идут по разным путям. Это усложняет корреляцию по сравнению с Tor где один путь используется в обе стороны. Против глобального наблюдателя тоже не панацея но архитектурно сложнее для корреляции.
Nym mixnet
Наиболее сильная защита от трафик анализа из доступных. Добавляет случайные задержки и перемешивает трафик разных пользователей — это ломает временную корреляцию которая является основой большинства атак. Цена — заметно более низкая скорость. Проект в активной разработке.
Физическое разделение
Не использовать Tor из домашней сети или из сети которая регулярно ассоциируется с твоей личностью. Публичная сеть через которую ты не ходишь регулярно разрывает связь между трафиком и конкретным человеком на уровне провайдера.
Вывод
Корреляционные атаки это не теоретическая угроза — они применяются в реальных операциях и задокументированы академически. Tor защищает от локального наблюдателя и от компрометации отдельных нод но не от противника с доступом к обоим концам соединения.
Правильная модель угроз: Tor хорошо защищает от провайдера, от владельца сайта, от большинства корпоративных наблюдателей. Против государственного противника с доступом к магистральной инфраструктуре — существенно слабее. Понимание этой границы важнее чем слепое доверие к инструменту.
