Описаны основные принципы защиты в протоколе WiMAX. Много терминов и аббревиатур
Описаны основные принципы защиты в протоколе WiMAX. Много терминов и аббревиатур
Предусмотрено два алгоритма аутентификации – открытая (Open System) и с разделяемым ключом (Shared Key).
В случае Open System никаких защитный методов для аутентификации не предусмотрено. Любое клиентское устройство может аутентифицироваться и подключиться к точке доступа. Для дальнейшего обмена данными потребуется ключ WEP.
В случае Shared Key для аутентификации используются данные WEP. Применяется процедура рукопожатия («handshake») в четыре этапа:

Существует два варианта WEP – с длиной ключа 64 и 128 бита. На самом деле, в связи с ограничениями на экспорт из США технологий шифрования, действительные длины ключей составляют 40 и 104 бита, а конечные цифры получаются путем прибавления к ключам 24 бит вектора инициализации.
Получившийся «ключ» (64 или 128 бит) поступает на вход алгоритма RC4, выходом которого является псевдослучайная последовательность. Передаваемые данные объединяются с этой последовательностью методом XOR («Исключающее ИЛИ») и передаются в канал. В приемнике аналогично генерируется и снимается так же самая псевдослучайная последовательность.
В дополнение к Open System и Shared Key, пришедшим из WEP, появился новый режим – 802.11x, предназначенный для работы с выделенным сервером авторизации. Важно понимать, что 802.11x – это не протокол, это скорее архитектура аутентификации и обмена ключами, основывающаяся на протоколе EAP (Extensible Authentication Protocol – расширенный протокол аутентификации). Основной протокол в 802.11x – EAPOL (EAP over LAN ) поддерживает различные механизмы аутентификации - EAP-TLS (Transport Layer Security) и EAP-TTLS (Tunneled Transport Layer Security). Конкретный механизм аутентификации определяется пользователем и указывается при настройке беспроводного клиента и базовой станции.

Порядок обмен данными 802.11x

Форматы пакетов 802.11x
Впрочем, все тонкости с настройкой 802.11x имеют место только в сетях крупных организаций, которые могут себе позволить выделенный сервер аутентификации. Для домашних пользователей и небольших организаций остается режим WPA-PSK, аутентификация в котором ничем не отличается от режимов WEP.
TKIP (Temporal Key Integrity Protocol) – набор расширений WEP, предназначенных для устранения основных его недостатков. Сделанные дополнения:
Передатчик вычисляет криптографический код целостности сообщения (MIC – Message Integrity Code) на данных MAC-уровня (MSDU). Это обеспечивает защиту от подмены пакетов данных.
В дополнении к MIC реализованы счетчики (countermeasures). Задача счетчиков – дополнительная защита от подмены.
Для каждого пакета физического уровня TKIP использует порядковый номер (TSC - TKIP sequence counter). Назначение TSC – защита от перехвата и повторной отправки пакетов.
TKIP использует криптографическую функцию “перемешивания” для формирования рабочего ключа WEP из временного ключа (TK - temporal key ), адреса передатчика (TA – transmitter address) и TSC. Это делается для того, чтобы избежать использования криптографически уязвимых WEP-ключей
Логика работы TKIP достаточно очевидна из рисунка.
Отдельные функции и элементы, приведенные на рисунке, подробно описаны (а для некоторых функций приведены и реализации на языке С) вдокументе IEEE “Part 11: Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications. Amendment 6: Medium Access Control (MAC) Security Enhancements ”
Параметры “Temporal encryption key” и “MIC key” формируются из парного временного ключа (PTK – pairwise temporary key) согласно п. 8.6.1, параметры “Transmit Address” и “TSC” берутся из пакета MAC-уровня. Функция “key mixing” подробно разобрана в п. 8.3.2.5, а в приложении “H.1” этого же документа приведена реализация функции на языке С.
Реализация функции формирования MIC (она называется Michael) описана в приложении H.2.
На сегодняшний день технологии безопасности Wi-Fi (семейства протоколов 802.11) практически сложились. В этом разделе приведены все известные алгоритмы защиты, теоретические уязвимости и практические методы их использования.
Описание:
Первый стандарт беспроводной связи Wi-Fi появился в 1991 году и в нем уже был заложен алгоритм безопасности под названием WEP (Wired Equivalent Privacy). Практически незамедлительно был найден теоретический способ снятия такой защиты, а вскоре появился вполне конкретный алгоритм.
Следующим шагом разработчиков Wi-Fi стал стандарт WPA (Wi-Fi Protected Access). В качестве алгоритма шифрования использовали TKIP, а для контроля целостности данных - MIC. Предусмотрено два режима работы: с предварительно заданным ключом (PSK - PreShared Key) - для частного пользования и небольших офисов и с использованием сервера авторизации - для крупных предприятий. На практике в 99% случаях используется PSK. Вскоре после появления появилось практическое решение организации атаки "по словарю". В 2008 году была представлена практическая атака на WPA, использующая QoS, а в 2009 году появился её продвинутый и облегченный вариант. Обе последние атаки дают возможность подменить пакеты в WPA сети, но не позволяют узнать ключ шифрования.
Начиная с 2003 года практически все выпускаемые устройства Wi-Fi опционально, а с марта 2006 - в обязательном порядке поддерживаютWPA2 - стандарт защиты Wi-Fi следующего поколения. В нем в качестве алгоритма шифрования используется AES, а контроль целостности обеспечивается CCMP. На сегодняшний день действенного метода взлома WPA2 не существует.
Хронология алгоритмов защиты Wi-Fi:
Атаки (теория):
Атаки (практика):
Инструменты:
1. aircrack-ng - инструмент для провередения атак на WEP и WPA
2. fi.sh - инструмент для проверки Wi-Fi сетей на уязвимости