要約

  • パイロット集合、SectorID、ANIDは無線・アクセス網側の手掛かりである。PARが候補NARを得るには、運用主体の現行トポロジーとの対応付けが必要になる。
  • 予測モードは時間順序によって権限を失う。HIがUNAより後にNARへ届いた場合、RFC 5271は予測を受理せず、リアクティブに処理するよう求めている。

電波は移動を示すが、経路までは決めない

3G CDMA端末は通信を続けながらパイロットを探索し、十分な強度を持つものを集合として管理する。PNコードのオフセットや搬送波対干渉比を測り、別のパイロットが現在のものを上回るといった条件で結果をネットワークへ送れる。

この観測は物理的な近傍の変化を示す。同じ種類の変化でも、IP層で必要な処理は二つに分かれる。移動先のセクターが同じアクセス網に属するなら、アクセス固有の仕組みが処理し、端末とアクセスルーターのリンクを張り直さずに済む。別のPDSNに属するなら、旧接続を閉じ、新しいトラフィックチャネルとリンクを確立する必要がある。

どちらであるかは受信強度からは分からない。セクターがどのアクセス網、PDSN、プレフィックスに属するかという運用トポロジーが判断を与える。

最強のパイロットは次に向かう方向の証拠になり得る。次のルーターの身元そのものではない。

似た形の識別子を同じ意味にしない

SectorIDは128ビットで、IPv6アドレスの形式で表現できる。だがそれはセクターとPNコードオフセットに結び付く識別子であり、NARのIPv6アドレスではない。表示形式が同じでも名前空間は異なる。

ANIDはSID、NID、PZIDからなる5オクテットの運用者管理値で、再登録に関わるアクセス網領域を表す。これも世界共通のPDSN名ではない。

パイロット集合はさらに別物で、時点ごとの観測と候補を含む。RFC 5271はセル情報、RANのサービスノード、利用可能なら位置、サブネット情報もハンドオーバー支援情報になり得るとしている。

これらを一つの target に縮約すると、値が成立した範囲が消える。種別、運用者ドメイン、観測時点、トポロジー世代、対応規則、候補、期限を関係として残す必要がある。

不透明な転送は意味の保証ではない

一般のFMIPv6が期待する新アクセスポイントのリンク層アドレスを3G CDMAで表せない場合、RFC 5271はHandover Assist Information Optionを使う。Mobility Option Type 29において、コード1はANID、コード2はSectorIDを運び、値の長さも明示する。

未対応の受信者はこのオプションを不透明データとして扱い、それだけを理由にメッセージを破棄してはならない。この規則は拡張可能性を守る。受信者が正しい名前空間や最新の対応表を使ったことまでは保証しない。

バイト列が完全に保存されても、別運用者の表や再配置前のキャッシュに照合すれば誤ったNARが得られる。保存すべき成果は単なるNARアドレスではなく、「どの入力を、どのトポロジー世代で評価し、どの候補から、いつまで有効な結論を得たか」である。

変換過程に戻れない結論は、監査時には推測と区別できない。

予測モードは能力と適用判断を分ける

予測モードでは、端末が旧PARのリンク上にいる間にFBUを送りFBAckを受ける。PARはNARと連絡し、転送を準備し、NARにパケットを蓄えさせられる。リアクティブモードでは端末が新リンクへ移ってからFBUを送る。

ネットワーク制御型のセルラー移動は、場所と時刻を十分早く把握できれば予測に向く。次のARを適時に識別できない構成なら、RFCはリアクティブの方が適切だとする。

PrRtAdvのRフラグはネットワークの対応能力を示す。セットされればリアクティブのみ、クリアなら両モードに対応する。クリアであることは、今回のSectorID対応が新鮮であるとか、端末が必ずそのNARへ接続するといった承認ではない。

予測FBUは旧接続が閉じる前に送らなければならない。その境界を越えたら、分類を守るのではなく手順を切り替える。

HIとUNAの順序が権限を決める

設計された順序では、PARがFBUを受け、NARへHIを送り、HAckを受け、先に転送とバッファを準備する。その後で端末が新リンクへ接続し、UNAを送る。NARは準備済みのパケットを配送できる。

しかし輻輳でFBUの到着が遅れると、HIがUNAの後からNARに届くことがある。各メッセージが正しい形式で、保護された経路を通り、識別子が一致していても、予測としての意味は失われている。到着を準備するはずの命令が、到着通知より遅いからだ。

RFC 5271は、この場合にNARがhandover not acceptedのHAckを返し、リアクティブに振る舞うよう定める。古い意図より観測済みの現実を優先する規則である。

監査ログにはHIとUNAの個別妥当性だけでなく、NAR自身が観測した受信・処理順序が要る。送信側の時刻だけでは時計差、再送、待ち行列を説明できない。

NARを見つけることと、NARへ接続すること

端末はRtSolPrに支援情報を載せ、PARが候補NARを識別する。PrRtAdvはNARアドレスとプレフィックスを返す。端末は予定NCoAを作り、FBUによって転送準備を始める。

ここまでの処理は実接続より前にある。その後に旧無線リンクが閉じ、新しいトラフィックチャネルが割り当てられ、3G CDMA固有の接続手順が走る。RFCの例にはPPP LCP、CHAPまたはPAP、AAA、IPv6CPのインターフェースID交渉、リンクローカルアドレス、Router Advertisement、プレフィックス、CoA、場合によってはDHCPv6が並ぶ。ホームエージェントへのBU/BAはさらに後だ。

リンクごとに固有プレフィックスを選ぶ構成では、PARが示したものから作るNCoAは一時的であり、NARが正しいNCoAを割り当てなければならない。事前予測はその結果を証明しない。

バッファが存在しても端末への配送は未確認である。接続、アドレス確定、準備、放出、受信を一つの成功状態にまとめてはならない。

MN IDはプロトコル上の相関キーである

ポイントツーポイント接続では、一般手順が期待する端末のリンク層アドレスがない場合がある。RFC 5271のMobile Node Identifier Option（Type 30）は、所定の箇所でNAIやIMSIを代替として運べる。

それは運用者ネットワーク内でメッセージを同じ端末へ関連付けるための仕組みである。PPPが完了した証明でも、NCoAの正しさの証明でも、人間の恒久的な身元証明でもない。新リンクでのCHAP/PAPやAAA結果は、予測より後の接続事実である。

IMSIは強い追跡可能性も持つ。生値を多数のログや分析基盤へ複製せず、目的を限定した保護参照を使い、アクセス、保持期限、削除を証明できるようにすべきだ。

一度のハンドオーバー相関に必要な値を、別目的の人物キーへ昇格させてはならない。

2008年の技術写像を現在の依存関係で読む

RFC 5271は2008年発行のInformational文書で、FMIPv6基盤としてRFC 5268、Mobile IPv6としてRFC 3775を参照した。その後、RFC 5568がRFC 5268を、RFC 6275がRFC 3775を置き換えている。現在の実装は技術固有の写像だけを抜き出さず、現行基盤仕様とIANA登録を併読しなければならない。

RFC 4907は、リンク指示を固有の意味、信頼度、フィルタリング条件を持つヒントとして扱うよう促す。早く届く下位層情報が、上位層の結論を自動的に獲得するわけではない。

Type 29を正しく符号化しても、古いトポロジーや逆転したHI/UNA順序を使えばシステムは誤る。パケット形式の適合と、実行された判断の正しさは別の検証対象である。

実行事実は一列の証拠鎖になる

Lu HengのRunning-Code Primacyに従えば、「高速ハンドオーバー成功」という表示では足りない。無線観測、名前空間付き識別子、トポロジー世代、NAR候補、モード選択、HI/UNAの局所順序、実接続、アドレス、配送までを見る。

現実層を分けると権限の借用を防げる。信号強度は物理観測、SectorIDは無線トポロジー名、ANIDはアクセス領域名、NARは対応付けの結果、IMSIは相関値、AAAは接続認証、NCoAはアドレス状態、パケット受信は結果である。

「次のルーター」が入力、世代、候補、期限へ戻れないなら、その抽象は速いだけで検証不能だ。現実が予測を撤回できる設計こそ、予測を安全に使える設計である。

情報源