NAME

hostRecvRedirect4OnlinkDC - Verifying Redirect (to a better router) vs. Destination Cache

TARGET

Host only

SYNOPSIS

  hostRecvRedirect4OnlinkDC.seq [-tooloption ...]
                                 -p hostRecvRedirect4OnlinkDC.def

INITIALIZATION

1. Clear IPv6 routes.
2. Send RA with RouterLifetime=0 to clear the Default Router List.
3. Set R1 as the default router by sending RA and NA.

  TN                 NUT
  ----------------------


  State: NONCE (for R1)


  ==== unsolicited RA ===>
       src=R1's link-local
       dst=all-node
       M=0, O=0
       RouterLifetime=0
       ReachableTime=0
       RetransTimer=0


  ==== unsolicited RA ===>
       src=R1's link-local
       dst=all-node
       M=0, O=0
       RouterLifetime=600
       ReachableTime=0
       RetransTimer=0
       w/ SLLA
       Prefix Option:
           L=1, A=1
           ValidLifetime=2592000
           PreferredLifetime=604800
           Prefix=3ffe:501:ffff:100::/64


  State: STALE (for R1)


  ==== solicited NA ===>
        src=R1's link-local
        dst=NUT's link-local
        R=1, S=1, O=1
        target=R1's link-local
        TLLA=R1's LLA


  State: REACHABLE (for R1)


  Wait (3 sec) for DAD NS

TEST PROCEDURE

hostRecvRedirect4OnlinkDC verifies that a redirect message (ICMP Destination == ICMP Target) updates a Destination Cache entry.

1. Send echo-request (src:H1, dst:NUT)
2. Verify that NUT send echo-reply to the default router, R1
3. Send redirect message to NUT.
4. Send echo-request (src:H1, dst:NUT) again.
5. Verify echo-reply that NUT throw:
   1. If the redirect message is ether valid or suspicious:
      1. If the redirect message has TLLA option:
         NUT must send echo-reply to the better router TN.
      2. If the redirect message has no TLLA option:
         NUT must send multicast NS for LLA resolution.
   2. If the redirect message is invalid:
      NUT must send echo-reply to the default router R1

  TN               NUT
  ----------------------


  State: REACHABLE (for R1), NONCE (for H1)


  ==== echo-request ===>
       src=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one
       dst=NUT's global, prefix=3ffe:501:ffff:100::/64


  <=== Judgment #1: echo-reply ====
       src=NUT's global, prefix=3ffe:501:ffff:100::/64
       dst=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one


  ==== redirect ===>
       valid redirect
              OR
       suspicious redirect
              OR
       invalid redirect


  State: REACHABLE (for R1), NONCE/STALE (for H1)


  ==== echo-request ===>
       src=H1(off-link global), prefix=3ffe:501:ffff:109::/64,
           but LLA is R1's one
       dst=NUT's global, prefix=3ffe:501:ffff:100::/64


  Judgment: Expected packet that NUT should throw is depend on
             the redirect message that NUT has received:
             Valid redirect message
                    OR
             Suspicious redirect message
                    OR
             Invalid redirect message

JUDGMENT

  1. NUT must throw echo-reply whose destination is off-link global
    to the default router, ie R1.

  2. Valid redirect messages vs. Destination Cache
  ========================================================+=============+=======================
  Valid redirect message that NUT receives                |Destination  |Expected packet
  ---------------------+-----------------+----------------+Cache        |
  IP                   |ICMP             |Options         |for H1       |
  ----------+----------+----------+------+-----+----------+-------+-----+
  Src       |Dst       |Target    |Dst   |TLLA |Redirected|Before |After|
  ==========+==========+==========+======+=====+==========+=======+=====+=======================
  link-local|link-local|link-local|global|none |none      |R1     |H1   |NS
  (R1)      |(NUT)     |(H1)      |(H1)  |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=solicited[H1]
            |          |          |      |     |          |       |     |  target=H1's global
            |          |          |      |     |          |       |     |  w/ or w/o SLLA
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |-         |-         |-     |none |exist     |R1     |H1   |NS
            |          |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=solicited[H1]
            |          |          |      |     |          |       |     |  target=H1's global
            |          |          |      |     |          |       |     |  w/ or w/o SLLA
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |-         |-         |-     |exist|none      |R1     |H1   |echo-reply
            |          |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=H1's global
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |-         |-         |-     |exist|exist     |R1     |H1   |echo-reply
            |          |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=H1's global
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |global    |-         |-     |none |none      |R1     |H1   |NS
            |(NUT)     |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=solicited[H1]
            |          |          |      |     |          |       |     |  target=H1's global
            |          |          |      |     |          |       |     |  w/ or w/o SLLA
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |-         |-         |-     |none |exist     |R1     |H1   |NS
            |          |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=solicited[H1]
            |          |          |      |     |          |       |     |  target=H1's global
            |          |          |      |     |          |       |     |  w/ or w/o SLLA
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |-         |-         |-     |exist|none      |R1     |H1   |echo-reply
            |          |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=H1's global
  ----------+----------+----------+------+-----+----------+-------+-----+-----------------------
  -         |-         |-         |-     |exist|exist     |R1     |H1   |echo-reply
            |          |          |      |     |          |       |     |  src=NUT's global
            |          |          |      |     |          |       |     |  dst=H1's global
  ==========+==========+==========+======+=====+==========+=======+=====+=======================
  -: same as above

  3. Suspicious redirect messages vs. Destination Cache
  ========================================================+============+===================
  Suspicious redirect message that NUT receives           |Destination |Expected packet
  ---------------------+-----------------+----------------+Cache       |
  IP                   |ICMP             |Options         |for H1      |
  ----------+----------+----------+------+-----+----------+------+-----+
  Src       |Dst       |Target    |Dst   |TLLA |Redirected|Before|After|
  ==========+==========+==========+======+=====+==========+======+=====+===================
  link-local|link-local|link-local|global|exist|exist     |R1    |H1   |echo-reply
  (R1)      |(NUT)     |(H1)      |(H1)  |     |> 1280 and|      |     |  src=NUT's global
            |          |          |      |     |bogus     |      |     |  dst=H1's global
            |          |          |      |     |*susp.    |      |     |
  ----------+----------+----------+------+-----+----------+------+-----+-------------------
  -         |all-node  |-         |-     |exist|exist     |R1    |H1   |echo-reply
            |*susp.    |          |      |     |          |      |     |  src=NUT's global
            |          |          |      |     |          |      |     |  dst=H1's global
  ==========+==========+==========+======+=====+==========+======+=====+===================
  -: same as above

  4. Invalid redirect messages vs. Destination Cache
  ==============================================================+============+=======================
  Invalid redirect message that NUT receive                     |Destination |
  ---------------------+----------------------------------------+Cache       |
  IP                   |ICMP                                    |for H1      |
  ----------+----------+--------+----+--------+----------+------+------------+
  Src       |Dst       |Hoplimit|Code|Checksum|Target    |Dst   |Before|After|
  ==========+==========+========+====+========+==========+======+======+=====+=======================
  global    |link-local|255     |0   |valid   |link-local|global|R1    |R1   |echo-reply
  *invalid  |(NUT)     |        |    |        |(H1)      |(H1)  |      |     |  src=NUT's global
            |          |        |    |        |          |      |      |     |  dst=H1's global
            |          |        |    |        |          |      |      |     |      but LLA is R1's
  ----------+----------+--------+----+--------+----------+------+------+-----+-----------------------
  bogus     |-         |-       |-   |-       |-         |-     |R1    |R1   |echo-reply
  router's  |          |        |    |        |          |      |      |     |  src=NUT's global
  link-local|          |        |    |        |          |      |      |     |  dst=H1's global
  *invalid  |          |        |    |        |          |      |      |     |      but LLA is R1's
  ----------+----------+--------+----+--------+----------+------+------+-----+-----------------------
  link-local|-         |!=255   |-   |-       |-         |-     |R1    |R1   |echo-reply
  (R1)      |          |*invalid|    |        |          |      |      |     |  src=NUT's global
            |          |        |    |        |          |      |      |     |  dst=H1's global
            |          |        |    |        |          |      |      |     |      but LLA is R1's
  ----------+----------+--------+----+--------+----------+------+------+-----+-----------------------
  -         |-         |255     |!=0 |-       |-         |-     |R1    |R1   |echo-reply
            |          |        |*inv|        |          |      |      |     |  src=NUT's global
            |          |        |    |        |          |      |      |     |  dst=H1's global
            |          |        |    |        |          |      |      |     |      but LLA is R1's
  ----------+----------+--------+----+--------+----------+------+------+-----+-----------------------
  -         |-         |-       |0   |*invalid|-         |-     |R1    |R1   |echo-reply
            |          |        |    |        |          |      |      |     |  src=NUT's global
            |          |        |    |        |          |      |      |     |  dst=H1's global
            |          |        |    |        |          |      |      |     |      but LLA is R1's
  ==========+==========+========+====+========+==========+======+======+=====+=======================
  -: same as above

TERMINATION

  Send RA with RouterLifetime=0 to clear the Default Router List.

  Clear IPv6 routes by remote command. XXX

NOTE

  The test invokes the following command:
  - Clear the IPv6 routes

SEE ALSO

  perldoc V6evalTool
  perldoc V6evalRemote