NAME

HA_4_2_1 - Proxy ND L=0 Receiving Multicast NS (global)

TARGET

Router

TOPOLOGY

       NUT
        |
--------+-------+-------+-------+------- Link0
                |       |       |
                R0     MN0     CN0
                |
        --------+-------+--------------- 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
CN0	global	3ffe:501:ffff:100:<TnDef.Link0_addr>
	link-local	fe80::<TnDef.Link0_addr>
	ether	<TnDef.Link0_addr>
MN0X	global	3ffe:501:ffff:1100:200:ff:fe00:a2a2	care-of address

INITIALIZATION

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

Check Link0 routing table

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

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

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

home registration

  NUT
(Link0)   MN0X
   |       |
   | <---- | BU (A=1, lifetime=0x0010) (SPI=0x101)
   | ----> | BA (SPI=0x102)
   |       |

1. MN0X sends BU
2. MN0X receives BA

Check BCE

  NUT
(Link0)   MN0X
   |       |
   | <---- | Echo Request w/ HaO
   | ----> | Echo Reply w/ RH
   |       |

1. MN0X sends Echo Request w/ HaO
2. MN0X receives Echo Reply w/ RH

TEST PROCEDURE

Check proxy ND

  NUT
(Link0)   MN0     CN0
   |       |       |
   |       | <---- | NS
   | ------------> | NA
   |       |       |

1. CN0 sends NS
2. CN0 receives NA

JUDGEMENT

PASS: CN0 receives NA

REFERENCE

   Under limited circumstances, a router MAY proxy for one or more other
   nodes, that is, through Neighbor Advertisements indicate that it is
   willing to accept packets not explicitly addressed to itself.  For
   example, a router might accept packets on behalf of a mobile node
   that has moved off-link.  The mechanisms used by proxy are identical
   to the mechanisms used with anycast addresses.

   A proxy MUST join the solicited-node multicast address(es) that
   correspond to the IP address(es) assigned to the node for which it is
   proxying.

   All solicited proxy Neighbor Advertisement messages MUST have the
   Override flag set to zero.  This ensures that if the node itself is
   present on the link its Neighbor Advertisement (with the Override
   flag set to one) will take precedence of any advertisement received
   from a proxy.  A proxy MAY send unsolicited advertisements with the
   Override flag set to one as specified in Section 7.2.6, but doing so
   may cause the proxy advertisement to override a valid entry created
   by the node itself.
   Finally, when sending a proxy advertisement in response to a Neighbor
   Solicitation, the sender should delay its response by a random time
   between 0 and MAX_ANYCAST_DELAY_TIME seconds.

   While a node is serving as a home agent for some mobile node, the
   home agent uses IPv6 Neighbor Discovery [12] to intercept unicast
   packets on the home link addressed to the mobile node.  In order to
   intercept packets in this way, the home agent MUST act as a proxy for
   this mobile node, and reply to any received Neighbor Solicitations
   for it.  When a home agent receives a Neighbor Solicitation, it MUST
   check if the Target Address specified in the message matches the
   address of any mobile node for which it has a Binding Cache entry
   marked as a home registration.

   If such an entry exists in the home agent's Binding Cache, the home
   agent MUST reply to the Neighbor Solicitation with a Neighbor
   Advertisement, giving the home agent's own link-layer address as the
   link-layer address for the specified Target Address.  In addition,
   the Router (R) bit in the Advertisement MUST be set to zero.  Acting
   as a proxy in this way allows other nodes on the mobile node's home
   link to resolve the mobile node's address, and allows the home agent
   to defend these addresses on the home link for Duplicate Address
   Detection [12].