Кратко

  • RFC 5213 переносит сигнализацию мобильности с устройства в сеть. MAG обнаруживает подключение и от имени узла отправляет PBU; успешный PBA означает, что LMA принял аутентифицированное и разрешённое заявление сетевого представителя.
  • Такой ответ не доказывает свежесть наблюдения, завершение туннеля и пересылки на MAG, получение Router Advertisement, готовность адреса или сохранение прикладной сессии. Для каждого результата нужен собственный источник свидетельства.

Главный участник протокола молчит

Proxy Mobile IPv6 задуман так, чтобы терминалу не требовался специальный клиент мобильности. В пределах управляемого домена сеть распознаёт узел, получает его профиль и сохраняет домашний сетевой префикс при смене точки подключения. Само устройство выполняет обычные процедуры IPv6.

Local Mobility Anchor (LMA) служит топологическим якорем префикса и хранит binding cache. Mobile Access Gateway (MAG) находится на краю доступа. Обнаружив новый узел, MAG получает идентификатор и политику, затем отправляет Proxy Binding Update. При принятии запроса LMA создаёт или обновляет привязку, связывает префикс с MAG, поднимает свою сторону двунаправленного туннеля, меняет маршрут и возвращает Proxy Binding Acknowledgement.

Успешный ответ имеет точный и полезный смысл. LMA обработал защищённое сообщение от партнёра, которому разрешено действовать для указанного узла, и выполнил свою часть изменения состояния. Ошибка начинается не с доверия этому факту, а с присвоения ему чужих результатов.

Устройство не подписывало PBU. Система доступа предоставила наблюдение, система идентичности назвала субъект, политика дала MAG право выступать от его имени. PMIPv6 работает как цепочка делегирования. Цепочка не исчезает только потому, что её сообщения показаны одной зелёной строкой.

Подлинный представитель не является датчиком присутствия

RFC 5213 требует доверия между MAG и LMA. Сообщения привязки должны быть защищены, а поддержка IPsec обязательна. LMA также обязан определить, имеет ли этот MAG право обновлять состояние именно этого мобильного узла. Так проверяются отправитель, целостность и объём полномочий.

Физический доступ при этом повторно не наблюдается.

Событие подключения может возникнуть из беспроводной ассоциации, сетевой аутентификации, состояния порта или другого технологического механизма. Спецификация PMIPv6 его не задаёт. MAG переносит внешний вывод в PBU. Если событие задержалось, идентификатор сопоставлен неверно или устройство уже ушло, криптография честно защищает устаревшую предпосылку.

Раздел безопасности прямо показывает границу. Скомпрометированный MAG способен заявить о подключении узла, которого на канале нет. Возможная мера — подтверждение фактического присутствия доверенной сущностью до принятия обновления LMA; конкретный механизм оставлен за пределами RFC. Аутентификация говорящего и проверка описанной им сцены — разные контроли.

Это соответствует принципу из заметок Heng Lu: видимость не создаёт всеобщих полномочий, а полномочия не заменяют исполнение. Мандат MAG реален, но ограничен. Его учётные данные не превращают шлюз в радиодатчик или в наблюдателя приложения.

Успех LMA открывает работу на MAG

Последовательность имеет значение. LMA принимает PBU, обновляет кэш, выбирает или сохраняет префикс, создаёт свой конец туннеля и маршрут, после чего посылает PBA. Затем MAG должен получить и аутентифицировать ответ, обновить локальное состояние, создать второй конец туннеля, установить пересылку и отправить Router Advertisements на канал узла.

Панель, завершающая handover в момент появления статуса success на LMA, знает только половину истории. Ответ может не дойти до MAG, локальная маршрутизация может не установиться, а объявление — не попасть на доступ.

После этого действует устройство. Neighbor Discovery определяет обработку объявлений, а автоконфигурация и Duplicate Address Detection имеют собственные условия. PMIPv6 стремится сохранить домашний префикс и сделать мобильность незаметной. Намерение протокола не подтверждает, что RA принят, адрес пригоден, маршрут по умолчанию выбран и пакеты идут в обе стороны.

GRE Key, динамический выбор LMA и параметры качества обслуживания добавляют точность управлению. Они не меняют класс доказательства. Хорошо идентифицированный туннель может существовать при неверной пересылке или уже разорванной сессии.

Binding cache управляет маршрутом, а не местоположением

Запись LMA обладает исполнительной силой: по ней пакеты направляются к выбранному MAG. Поэтому lifetime, sequence number и поколение состояния важны для эксплуатации, а не только для протокольной аккуратности.

Но кэш не ведёт непрерывное наблюдение за устройством. При переходе старый MAG может сообщить отключение, а новый — подключение; сообщения пересекаются, задерживаются или теряются. Неистёкший lifetime означает, что принятое заявление остаётся действующим по правилам. Он не означает нового замера присутствия.

При расследовании нужно искать первое оборванное ребро доказательств. Кто и когда увидел подключение? Как получен идентификатор? Относились ли доступ и профиль к одному субъекту? Был ли MAG уполномочен именно для него? Получил ли новый MAG PBA? Установил ли туннель, маршрут и объявление? Когда убран старый путь? Где первым исчез трафик — вперёд, назад или на уровне приложения?

Единая отметка «переход завершён» стирает владельцев и часы этих событий. Она может упростить интерфейс, но не объясняет инцидент.

Квитанция для делегированного перехода

Защитимая квитанция связывает технологию доступа, наблюдателя, время и уверенность; происхождение идентификатора; аутентификацию и профиль; личность MAG и право действовать для конкретного узла; последовательность и lifetime PBU; независимое подтверждение при необходимости; поколение привязки, префикс, маршрут и туннель на LMA; статус PBA и его подтверждённое получение на MAG; туннель и пересылку на краю; отправку и приём RA; адрес и DAD на устройстве; двунаправленные пробы; результат приложения; удаление старого состояния.

Это редакционная рекомендация BTW, а не дополнительное требование RFC 5213. Она сохраняет разделение ролей спецификации, когда события попадают в автоматику, assurance и управленческую отчётность.

Кэш LMA вправе определять поведение работающего маршрутизатора. Он не вправе задним числом сделать истинным старое наблюдение доступа. MAG вправе представлять узел в сигнализации, но не может за узел подтвердить получение объявления или опыт приложения. Следующее доказательство должен дать компонент, который исполняет следующий шаг.

Зрелая система ценит PBA именно за то, что он действительно доказывает, и не заставляет его свидетельствовать за молчащее устройство.

Источники

  1. RFC 5213 в HTML
  2. IETF Datatracker: RFC 5213
  3. Информация о RFC 5213
  4. История документа RFC 5213
  5. RFC 6543 — несколько интерфейсов MAG
  6. RFC 7864 — обновление базовой спецификации PMIPv6
  7. RFC 3775 — мобильность IPv6
  8. RFC 4283 — опция идентификатора мобильного узла
  9. RFC 4832 — терминология мобильности
  10. RFC 4861 — IPv6 Neighbor Discovery
  11. RFC 4862 — автоконфигурация адресов IPv6
  12. RFC 4301 — архитектура IPsec
  13. RFC 4303 — Encapsulating Security Payload
  14. RFC 4306 — Internet Key Exchange
  15. RFC 2473 — общее туннелирование IPv6
  16. RFC 5845 — GRE Key для PMIPv6
  17. RFC 6463 — назначение LMA во время работы
  18. RFC 8127 — параметры качества обслуживания PMIPv6
  19. Heng Lu — приоритет работающего кода