NAME

CN-4-6-3 - Home Keygen Token error - De-Registration from the home link

TARGET

Host

TOPOLOGY

       HA----------R2----------R1----------R0
       |           |           |           |
       |           |           |           |
       |----MN'    |----       |----MN     |----CN(NUT)
       |           |           |           |
       |           |           |           |
   Home Link     Link2       Link1       Link0
               (Foreign)   (Foreign)

Link0	3ffe:501:ffff:100::/64
Link1	3ffe:501:ffff:101::/64	Foreign Link
Link2	3ffe:501:ffff:102::/64	Foreign Link 2
Home Link	3ffe:501:ffff:104::/64	Home Link
CN(NUT)	3ffe:501:ffff:100::X Auto Configuration (InterfaceID)
MN(in Link1)	3ffe:501:ffff:101::Y Increased in each test (InterfaceID)	MN care-of address
MN'(MN in Home Link)	3ffe:501:ffff:104::Y Increased in each test (InterfaceID)	MN home address
R0(Link0)	3ffe:501:ffff:100::1
R1(Link1)	3ffe:501:ffff:101::1
R2(Link2)	3ffe:501:ffff:102::1
HA(Home Link)	3ffe:501:ffff:104::1

INITIALIZATION

Reboot NUT (reboot.rmt)

TEST PROCEDURE

       MN'     MN      R1      HA      R0     CN(NUT) 
        |       |       |       |       |       |
        |       |       |       |       |------>| 1.RA
        |       |       |       |       |       |
        |       |       |       |       |------>| 2.NS
        |       |       |       |       |       |
        |       |       |       |       |<------| 3.NA
        |       |       |       |       |       |
        |       |-------------->|-------------->| 4.Echo Request
        |       |       |       |       |       |
        |       |<--------------|<--------------| 5.Echo Reply
        |       |       |       |       |       |
        |       |------------------------------>| 6.Echo Request(Home Address option)
        |       |       |       |       |       |
        |       |<------------------------------| 7.BE(Status=1)
        |       |       |       |       |       |
        |       |------------------------------>| 8.CoTI
        |       |       |       |       |       |
        |       |-------------->|-------------->| 9.HoTI
        |       |       |       |       |       |
        |       |<------------------------------| 10.CoT
        |       |       |       |       |       |
        |       |<--------------|<--------------| 11.HoT
        |       |       |       |       |       |
        |       |------------------------------>| 12.BU
        |       |       |       |       |       |
        |       |<------------------------------| 13.BA
        |       |       |       |       |       |
        |       |------------------------------>| 14.Echo Request(Home Address option)
        |       |       |       |       |       |
        |       |<------------------------------| 15.Echo Reply(Type2 Routing Header)
        |       |       |       |       |       |
        |-------------------------------------->| 16.HoTI
        |       |       |       |       |       |
        |<--------------------------------------| 17.HoT
        |       |       |       |       |       |
        |-------------------------------------->| 18.BU(Authenticator=Calculated as if Home Keygen Token=0xffffffff)
        |       |       |       |       |       |
        |       |       |       |       |       | (*1)
        |       |       |       |       |       |
        |-------------------------------------->| 19.Echo Request
        |       |       |       |       |       |
        |       |<------------------------------| 20.Echo Reply(Type2 Routing Header) (*2)
        |       |       |       |       |       |

1. Send Router Advertisement.
2. Send Neighbor Solicitation.
3. Receive Neighbor Advertisement.
4. Send ICMP Echo Request.
5. Receive ICMP Echo Reply.
6. Send ICMP Echo Request(Home Address option).
7. Receive Binding Error(Status=1).
8. Send Care-of Test Init.
9. Send Home Test Init.
10. Receive Care-of Test.
11. Receive Home Test.
12. Send Binding Update.
13. Receive Binding Acknowledgement.
14. Send ICMP Echo Request(Home Address option).
15. Receive ICMP Echo Reply(Type2 Routing Header).
16. Send Home Test Init.
17. Receive Home Test.
18. Send Binding Update(Authenticator=Calculated as if Home Keygen Token=0xffffffff).
   *Expire BA timer.
19. Send ICMP Echo Request.
20. Receive ICMP Echo Reply(Type2 Routing Header).

Packet Format
18. Binding Update(No Home Address option)
19. ICMP Echo Request
20. ICMP Echo Reply(Type2 Routing Header)

JUDGEMENT

(*1) MN and MN' receives neither Binding Acknowledgement nor Binding Error.

(*2) MN receives ICMP Echo Reply. (Binding Cache entry is not deleted.)
  - The Destination Address is set to MN care-of address.
  - Type 2 Routing Header is included.

REFERENCE

(draft-ietf-mobileip-ipv6-24.txt)

9.5.1 Receiving Binding Updates

   o  The Binding Authorization Data mobility option MUST be present,
      and its contents MUST satisfy rules presented in Section 5.2.6.
      Note that a care-of address different from the Source Address MAY
      have been specified by including an Alternate Care-of Address
      mobility option in the Binding Update.  When such a message is
      received and the return routability procedure is used as an
      authorization method, the correspondent node MUST verify the
      authenticator by using the address within the Alternate Care-of
      Address in the calculations.

      (snip)

   For packets carrying Binding Updates that fail to satisfy all of
   these tests for any reason other than insufficiency of the Sequence
   Number, registration type change, or expired nonce index values, they
   MUST be silently discarded.

   Number or expired nonce index values MUST be silently discarded.