Кратко

  • RFC 5269 разделяет ключ CGA/SEND для притязания на исходный адрес, независимую пару только для защищённой доставки секрета и общий handover key, которым вычисляют аутентификатор FBU.
  • Успешная проверка MAC разрешает previous access router изменить forwarding для одной previous care-of CGA. Она не подтверждает attachment, NCoA, получение пакетов, личность пользователя, приложение или последующую привязку Mobile IPv6.

Защищается не абстрактная мобильность, а опасная команда

Fast Binding Update может приказать прежнему маршрутизатору перенаправить трафик, который всё ещё приходит на старый адрес мобильного узла. Если такую команду способен послать посторонний, он может увести пакеты жертвы, не взламывая шифрование пользовательских данных.

RFC 5269 заранее создаёт shared handover key. Мобильный узел вычисляет с ним authorization MAC для FBU, а PAR находит связь по старому care-of CGA и меняет пересылку только после успешной проверки. Если подходящего ключа нет, изменение запрещено.

Сила контроля основана на точной границе. MAC не наблюдает радиосоединение, не проводит DAD для NCoA, не видит освобождения буфера новым маршрутизатором и не фиксирует приём приложением. Формулировка «хэндовер аутентифицирован» приписала бы вычислению то, чего в нём не было.

Три ключа удерживают три разных утверждения

Первая пара относится к CGA и SEND. RtSolPr отправляется с care-of CGA мобильного узла и содержит параметры CGA и подпись SEND. Успешная валидация показывает маршрутизатору, что отправитель вправе заявить этот исходный CGA в данном обмене.

Вторая пара создаётся только для шифрования handover key. Алгоритм и публичные параметры совпадают с SEND, но сами ключи обязаны быть независимыми. RFC 5269 запрещает применять их для другого шифрования или подписей. Публичная часть помещается в Handover Key Request Option, а приватная остаётся на устройстве и расшифровывает ответ.

Третий объект — общий секрет, который создаёт или извлекает access router. Он шифрует секрет на выделенный открытый ключ, возвращает его в Handover Key Reply Option, а затем использует для MAC сообщения FBU.

Поле вроде mobilityKey стирает различия. SEND-ключ подписывает заявление об адресе, транспортный ключ раскрывает секрет, общий ключ разрешает класс сообщений. У них разные создатели, допустимые операции, причины ротации и последствия компрометации.

Состояние выделяется только после SEND

Запрос RtSolPr несёт выделенный открытый ключ, предпочитаемый FBU Algorithm Type, опции CGA и Signature, а также nonce SEND. Access router сначала проверяет SEND. При ошибке он не добавляет Handover Key Reply, не создаёт ключ и не изменяет уже существующую законную запись для этого адреса.

Порядок ограничивает истощение ресурсов. Генерация случайного секрета, его шифрование и место в кэше имеют стоимость. Если платить её до проверки инициатора, поддельные запросы создадут неограниченное состояние. Даже аутентифицированный поток требует rate limit и предела незавершённых записей.

Поэтому журнал должен различать результат SEND и решение admission. Верная подпись ещё не означает, что ёмкость позволила принять запрос. Выданный ключ сам по себе не доказывает, что проверка предшествовала выделению.

Возможность расшифровать ответ ещё не удостоверяет маршрутизатор

После валидного запроса маршрутизатор возвращает уже связанный с CGA секрет или создаёт новый. PrRtAdv содержит зашифрованный ключ, HK-LIFETIME, выбранный Algorithm Type и исходный nonce.

Маршрутизатор обязан подтвердить себя в модели SEND. Ему нужен подходящий сертификат; он подписывает ответ сертифицированным ключом и поддерживает обнаружение сертификатов. Если цепочка не закэширована, её получают сообщениями CPS/CPA. Мобильный узел проверяет подпись, путь и trust anchor, а ответ без сертифицированного router key отбрасывает.

Nonce связывает ответ с конкретным запросом и выбирает нужную приватную транспортную пару при нескольких параллельных операциях. Нет совпадения — сообщение следует отвергнуть, а не перебирать все локальные ключи.

Полная квитанция включает поколение запроса, CGA, подпись SEND, решение маршрутизатора, цепочку сертификатов, подпись PrRtAdv, возвращённый nonce, выбор алгоритма, соответствующий приватный ключ и срок. Событие «расшифровано» не заменяет эту последовательность.

Индекс кэша — это отношение, а не имя устройства

На маршрутизаторе общий ключ связан с CGA мобильного узла, алгоритмом и временем окончания. На устройстве последующий выбор зависит от идентичности previous access router и previous care-of CGA на той линии. Home Address Option в FBU приносит старую CGA обратно к PAR.

Устройство может хранить ответы нескольких маршрутизаторов и быстро вернуться в прежнюю сеть. Маршрутизатор обслуживает много узлов. Поэтому ни идентификатор устройства, ни «текущий router» не задают полномочие. Нужны обе стороны связи, адрес, поколение, алгоритм, срок и назначение.

Ошибочный join способен выбрать вполне рабочий ключ из другого контекста и получить математически верный MAC. Криптография проверяет вычисление с выбранным материалом, но не исправляет модель данных.

Выбор алгоритма является частью доказательства

Узел указывает предпочитаемый FBU authentication Algorithm Type. Если он поддерживается, маршрутизатор возвращает его. В противном случае допустим вариант эквивалентной или большей стойкости. Для MAC применяется значение ответа.

Несколько ответивших маршрутизаторов могут дать несколько ключей. Если совместимого алгоритма нет, запрос можно повторить. Однако нельзя поддаваться bidding-down со стороны скомпрометированного router и снижать исходную предпочтительную стойкость.

Строка MAC valid не сохраняет эту политику. В доказательстве нужны запрошенный тип, выбранный тип, поколение политики и фактически выполненная реализация. Будущая смена правил не должна молча менять смысл исторической проверки.

Наличие непросроченной копии не означает продление

Для выделенной транспортной пары RFC 5269 рекомендует максимум двенадцать часов или десять handover — что наступит раньше. Для shared handover key срок по умолчанию также равен двенадцати часам, то есть 43 200 секундам.

Маршрутизатор создаёт случайный секрет достаточной стойкости и уникальное значение на каждый открытый CGA-ключ. Разные handover keys и ключи CGA не должны иметь корреляции.

PAR может сохранить ещё действующий ключ: мобильный узел способен снова переместиться до завершения обычной Mobile IPv6 binding. Если узел вернётся с тем же care-of CGA, маршрутизатор вправе снова выдать тот же секрет. Но локальная копия узла не становится новым разрешением автоматически; ключ требуется действительно получить повторно.

Локальное владение, неистёкший таймер, хранение на удалённой стороне и повторная выдача — четыре состояния. После нормальной привязки узел должен удалить секрет. PAR закрывает запись по таймауту forwarding или HK-LIFETIME.

Purpose-built key нельзя превращать в универсальное удостоверение

Общий секрет не шифрует пользовательский трафик. Это не сессионный ключ приложения, не удостоверение абонента и не право на биллинг. Он не проверяет предлагаемую NCoA, не заменяет Binding Update или Return Routability и не доказывает принятие binding домашним либо correspondent node.

Нынешняя база FMIPv6 — RFC 5568, заменивший RFC 5268. Он по-прежнему ссылается на RFC 5269 как на механизм установления ключа для FBU authenticator. Расширение следует сочетать с действующим форматом, не наследуя устаревшие детали пакетов.

Более поздние работы SEND могут укреплять сертификаты и распространение trust anchor. Это увеличивает уверенность в подписавшем ответ маршрутизаторе, но не расширяет семантику MAC. Более сильное подтверждение узкого факта остаётся подтверждением узкого факта.

Исполняемый код раскрывает цепочку вместо общего ярлыка

Running-Code Primacy Лу Хэна требует перечислить операции: заявление CGA, проверка SEND, выделенный открытый ключ, ответ сертифицированного router, корреляция nonce, связь в кэше, алгоритм, FBU MAC и решение о forwarding.

Разделение reality layers не смешивает владение, разрешение и исход. Контроль приватного ключа показывает способность выполнить криптооперацию. SEND подтверждает ограниченное заявление адреса. Сертификат помещает маршрутизатор в модель доверия. Nonce связывает сообщения. MAC разрешает смену маршрута. Ни одно звено не измеряет подключение или непрерывность услуги.

Абстракция обратима, пока зелёный статус ведёт назад к назначению ключа, участникам, поколению, алгоритму, сроку и сообщению. Слово «аутентифицировано» без этих связей уничтожает самую полезную границу доказательства.

Источники