NAME

MN-3-2-1-2-014 - Invalid Sequence Number (BA != BU)


TARGET

Host


TOPOLOGY

                    
                                  |
                                  R       CN0
                                  |        |
                     -----+-------+--------+---------------- LinkZ
                          |
                          R2                      NUTY
                          |                         |
                     -----+-------+-----------------+------- LinkY
                                  |
                                  R1              NUTX
                                  |                 |
                     -----+-------+-----------------+------- LinkX
                          |
                         HA0             Node0    NUT0
                          |               |         |
    ----------------------+---------------+---------+------- 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:a0a0  
Node0(Link0) 3ffe:501:ffff:100:200:ff:fe00:a3a3  
R1(LinkX) 3ffe:501:ffff:102:200:ff:fe00:a4a4  
R2(LinkY) 3ffe:501:ffff:103:200:ff:fe00:a6a6  
CN0(LinkZ) 3ffe:501:ffff:104:200:ff:fe00:a8a8  


INITIALIZATION

 1. Selection Option
    - Route Optimization support: YES
    - CN registration Acknowledge bit : YES
    - Binding Update Retransmissions (correspondent): YES
                    
 2. Position of Mobile Node
                    
       HA0     NUT0     R1      R2      CN0
        |       |       |       |        |
        | ----> |       |       |        |  1.Router Advertisement
        |       |       |       |        |
        |      NUTX     |       |        |
        |       |       |       |        |
        |       | <---- |       |        |  2.Router Advertisement
        |       |       |       |        |
        | <---- |       |       |        |  3.Neighbor Solicitations
        |       |       |       |        |  4.(no reply:3 seconds)
        |       |       |       |        |
        | <---- |       |       |        |  5.Binding Update
        | ----> |       |       |        |  6.Binding Acknowledgement
        |       |       |       |        |
                    
        1. Send Router Advertisement. (HA0 -> HA0_allnode_multi)
        2. Send Router Advertisement. (R1 -> R1_allnode_multi)
        3. Receive Neighbor Solicitations. (NUT0 -> HA0)
        4. (no reply)
            # Wait during a maximum of 3 seconds(RFC2461).
        5. Receive Binding Update to HA0. (NUTX -> HA0)
        6. Send Binding Acknowledgement. (HA0 -> NUTX)


TEST PROCEDURE

                    
       HA0     NUTX     R1      R2      CN0
        |       |       |       |        |
        | ====> | <--------------------- |  1.ICMP Echo Request
        |       |       |       |        |
        | <==== | ---------------------> |  2.Home Test Init
        |       | ---------------------> |  3.Care-of Test Init
        |       | <--------------------- |  4.Care-of Test
        | ====> | <--------------------- |  5.Home Test
        |       |       |       |        |
        | <==== | ---------------------> |  6.ICMP Echo Reply
        |       | ---------------------> |  7.Binding Update
        |       | <--------------------- |  8.Binding Acknowledgement
        |       | ---------------------> |  9.ICMP Echo Reply
        |       |       |       |        |
        |       | <---- |       |        | 10.Router Advertisement
        |       |       |       |        |
        |      NUTY     |       |        |
        |       |       |       |        |
        |       | <------------ |        | 11.Router Advertisement
        |       | ----> |       |        | 12.Neighbor Solicitations
        |       |       |       |        | 13.(no reply)
        |       |       |       |        |
        | <---- |       |       |        | 14.Binding Update
        | ----> |       |       |        | 15.Binding Acknowledgement
        |       |       |       |        |
        | <==== | ---------------------> | 16.Home Test Init
        |       | ---------------------> | 17.Care-of Test Init
        |       | <--------------------- | 18.Care-of Test
        | ====> | <--------------------- | 19.Home Test
        |       |       |       |        |
        |       | ---------------------> | 20.Binding Update
        |       | <--------------------- | 21.Binding Acknowledgement
        |       |       |       |        |
        |       | ---------------------> | 22.Binding Update (*1)
        |       |       |       |        |
                    
        1. Send ICMP Echo Request. (out: HA0 -> NUTX, in: CN0 -> NUT0)
        2. Receive Home Test Init. (out: NUTX -> HA0, in: NUT0 -> CN0)
        3. Receive Care-of Test Init. (NUTX -> CN0)
        4. Send Care-of Test. (CN0 -> NUTX)
        5. Send Home Test. (out: HA0 -> NUTX, in: CN0 -> NUT0)
        6. Receive ICMP Echo Reply or [9]. (out: NUTX -> HA0, in: NUT0 -> CN0)
        7. Receive Binding Update to CN0. (NUTX -> CN0)
        8. Send Binding Acknowledgement. (CN0 -> NUTX)
        9. [6] or Receive ICMP Echo Reply. (NUTX -> CN0)
            # Home Address destination option is included.
       10. Send Router Advertisement. (R1 -> R1_allnode_multi)
       11. Send Router Advertisement. (R2 -> R2_allnode_multi)
       12. Receive Neighbor Solicitations. (NUTX -> R1)
       13. (no reply)
            # Wait during a maximum of 3 seconds(RFC2461).
       14. Receive Binding Update to HA0. (NUTY -> HA0)
       15. Send Binding Acknowledgement. (HA0 -> NUTY)
       16. Receive Home Test Init. (out: NUTY -> HA0, in: NUT0 -> CN0)
       17. Receive Care-of Test Init. (NUTY -> CN0)
       18. Send Care-of Test. (CN0 -> NUTY)
       19. Send Home Test. (out: HA0 -> NUTY, in: CN0 -> NUT0)
       20. Receive Binding Update to CN0. (NUTY -> CN0)
       21. Send Binding Acknowledgement. (CN0 -> NUTY)
            # The Sequence Number field is not set to the Sequence Number in the Binding Update[20].
       22. Receive Binding Update to CN0. (NUTY -> CN0)
                    
        Packet Format is:
          21.Binding Acknowledgement
          22.Binding Update
                    


JUDGEMENT

 (*1) PASS: CN0 receives the Binding Upadate.


REFERENCE

                    
(draft-ietf-mobileip-ipv6-24.txt)
                    
11.7.3 Receiving Binding Acknowledgements
                    
   Upon receiving a packet carrying a Binding Acknowledgement, a mobile
   node MUST validate the packet according to the following tests:
                    
   o  The packet meets the authentication requirements for Binding
      Acknowledgements, defined in Section 6.1.8 and Section 5.  That
      is, if the Binding Update was sent to the home agent, underlying
      IPsec protection is used.  If the Binding Update was sent to the
      correspondent node, the Binding Authorization Data mobility option
      MUST be present and have a valid value.
                    
   o  The Binding Authorization Data mobility option, if present, MUST
      be the last option and MUST not have trailing padding.
                    
   o  The Sequence Number field matches the Sequence Number sent by the
      mobile node to this destination address in an outstanding Binding
      Update.
                    
   Any Binding Acknowledgement not satisfying all of these tests MUST be
   silently ignored.