NAME

HA_3_2_3 - Invalid De-Registration A=1 (Lifetime!=0 & CoA=HoA) w/ HaO

TARGET

Router

TOPOLOGY

       NUT
        |
--------+-------+------- Link0
                |
               MN0

Link0	global	3ffe:501:ffff:100::/64	home link
MN0	global	3ffe:501:ffff:100:200:ff:fe00:a2a2	home address
	ether	00:00:00:00:a2:a2

INITIALIZATION

• Reboot NUT (reboot.rmt)
• Enable HA function (mip6EnableHA.rmt)
• Configure routing table of NUT (route.rmt)

Check Link0 address configuration

  NUT
(Link0)   MN0
   |       |
   | <---- | Echo Request
   | ----> | Echo Reply
   |       |

1. MN0 sends Echo Request
2. MN0 receives Echo Reply

• Initialize IPsec configuration (ipsecEnable.rmt, ipsecClearAll.rmt)
• Set IPsec configuration (ipsecSetSAD.rmt, ipsecSetSPD.rmt)
  • ESP transport mode (BU/BA)

TEST PROCEDURE

Check home de-registration

  NUT
(Link0)   MN0
   |       |
   | <---- | BU (SN=1, A=1, lifetime=0x0010) (SPI=0x101)
   | ----> | BA (status=133, SN=1) (SPI=0x102) (*1)
   |       |
   | <---- | Echo Request w/ HaO
   | ----> | BE (status=1) (SPI=0x102) (*2)
   |       |

1. MN0 sends BU
    packet format is:
        Binding_Update_message_format_from_MN_to_HA_ESP.gif
2. MN0 receives BA (*1)
    packet format is:
        Binding_Acknowledgement_message_format_from_HA_toMN_ESP.gif
3. MN0 sends Echo Request w/ HaO
4. MN0 receives BE (*2)
    packet format is:
        IPv6 header (source = home agent, destination = home address)
        ESP header
        Mobility header
            Binding Error

JUDGEMENT

(*1) PASS: MN0 receives BA
(*2) PASS: MN0 receives BE

REFERENCE

   A binding may need to be de-registered when the mobile node returns
   home, or when the mobile node knows that it will soon not have any
   care-of addresses in the visited network.

   A Binding Update is validated and authorized in the manner described
   in the previous section.  This section describes the processing of a
   valid Binding Update that requests the receiving node to no longer
   serve as its home agent, de-registering its primary care-of address.

   To begin processing the Binding Update, the home agent MUST perform
   the following test:

   o  If the receiving node has no entry marked as a home registration
      in its Binding Cache for this mobile node, then this node MUST
      reject the Binding Update and SHOULD return a Binding
      Acknowledgement to the mobile node, in which the Status field is
      set to 133 (not home agent for this mobile node).