# NAME

SendingMobilePrefixSol - MN sends Mobile Node Prefix Solicitation when Home Address expires

# TARGET

    Host

# SYNOPSIS

    SendingMobilePrefixSol.seq [-tooloption ...] -pkt MN_Common.def

>     -tooloption: v6eval tool option

# TOPOLOGY

                                          |
                                          R       TN
                                          |       |
                                  --------+-------+--------------- LinkZ

                                          |
                                          R2             NUT2
                                          |               |
                                  --------+---------------+------- LinkY

                                          |       |
                                          HA2     R1     NUT1
                                          |       |       |
                                  --------+-------+-------+------- LinkX

                              |           |
                 NUT0        HA1          HA0
                  |           |           |
    Link0 --------+-----------+-----------+-----------------------

> `Link0` | `3ffe:501:ffff:100::/64` | `home link`
> `LinkX` | `3ffe:501:ffff:102::/64` | ``
> `LinkY` | `3ffe:501:ffff:103::/64` | ``
> `LinkZ` | `3ffe:501:ffff:104::/64` | ``
> `HA0(Link0)` | `3ffe:501:ffff:100:200:ff:fe00:a1a1/64` | ``
> `HA1(Link0)` | `3ffe:501:ffff:100:200:ff:fe00:a2a2/64` | ``
> `HA2(LinkX)` | `3ffe:501:ffff:102:200:ff:fe00:a3a3` | ``
> `R1(LinkX)` | `3ffe:501:ffff:102:200:ff:fe00:a4a4` | ``
> `R2(LinkY)` | `3ffe:501:ffff:103:200:ff:fe00:a5a5` | ``
> `TN(LinkZ)` | `3ffe:501:ffff:104:200:ff:fe00:a6a6` | ``

# TEST PROCEDURE

    MN sends Mobile Node Prefix Solicitation when Home Address expires

           HA0     NUT0     R1
            |       |       |
            | ----> |       | RA
            |       |       |
            |      NUT1     |
            |       |       |
            |       | <---- | RA
            |       |       |
            | <---- |       | Binding Update (*1)
            | ----> |       | Binding Acknowledgement
            |       |       |
            |       |       | wait for home address expiration
            |       |       |
            | <---- |       | Mobile Node Prefix Solicitation (*2)
            | ----> |       | Solicited Mobile Prefix Advertisement
            |       |       |

# JUDGEMENT

    (*1) PASS: HA0 receives Binding Update from NUT1

    (*2) PASS: HA0 receives Mobile Node Prefix Solicitation from NUT1

# REFERENCE

    draft-ietf-mobileip-ipv6-20.txt

11.4.2 Sending Mobile Prefix Solicitations

       When a mobile node has a home address that is about to become
       invalid, it sends a Mobile Prefix Solicitation to its home agent in
       an attempt to acquire fresh routing prefix information.  The new
       information also enables the mobile node to participate in
       renumbering operations affecting the home network, as described in
       Section 10.6.

       The mobile node MUST use the Home Address destination option to carry
       its home address and SHOULD use IPsec to protect the solicitation.
       The mobile node MUST set the Identifier field in the ICMP header to a
       random value.