NAME

HA_4_2_16 - Proxy ND L=0 Receiving Unicast NS w/o SLL (link-local)

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
   | ------------X | not receive NA
   |       |       |

1. CN0 sends NS
2. CN0 doesn't receive NA

JUDGEMENT

PASS: CN0 doesn't receive NA

REFERENCE

   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].