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

   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.