NAME

HA_3_2_1 - Invalid De-Registration A=1 (Lifetime=0 & CoA!=HoA)


TARGET

Router


TOPOLOGY

       NUT
        |
--------+-------+-------+------- Link0
                |       |
                R0     MN0
                |
        --------+-------+------- Link0X
                        |
                       MN0X
Link0 global 3ffe:501:ffff:100::/64 home link
Link0X global 3ffe:501:ffff:1100::/64 foreign link
R0 (Link0) global 3ffe:501:ffff:100::a0a0  
ether 00:00:00:00:a0:a0
MN0 global 3ffe:501:ffff:100:200:ff:fe00:a2a2 home address
MN0X global 3ffe:501:ffff:1100:200:ff:fe00:a2a2 care-of address


INITIALIZATION

Check Link0 routing table
  NUT
(Link0)   MN0X
   |       |
   | <---- | Echo Request
   | ----> | Echo Reply
   |       |

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


TEST PROCEDURE

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

1. MN0X sends BU
    packet format is:
        Binding_Update_message_format_from_MN_to_HA_ESP.gif
2. MN0X receives BA (*1)
    packet format is:
        Binding_Acknowledgement_message_format_from_HA_toMN_ESP.gif
3. MN0X sends Echo Request w/ HaO
4. MN0X receives BE (*2)
    packet format is:
        Binding_Error_message_from_HA_to_MN.gif


JUDGEMENT

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


REFERENCE

10.3.2 Primary Care-of Address De-Registration
   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).