NAME

HA_8_1_5 - Receiving MPS w/o HaO


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

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

1. MN0X sends Echo Request
2. MN0X receives Echo Reply
Check 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 (SPI=0x105)
   | ----> | Echo Reply w/ RH (SPI=0x106)
   |       |

1. MN0X sends Echo Request w/ HaO
2. MN0X receives Echo Reply w/ RH
RS/RA exchange
  NUT
(Link0)   CN0
   |       |
   | <---- | RS
   | ----> | RA
   |       |

1. CN0 sends RS
2. CN0 receives RA


TEST PROCEDURE

Check MPD
  NUT
(Link0)   MN0
   |       |
   | <---- | MPS w/o HaO
   | --X   | no response
   |       |

1. MN0X sends MPS
    packet format is:
        IPv6 header (source = home address, destination = home agent)
        ICMPv6 header
            Mobile Prefix Solicitation
2. no response


JUDGEMENT

PASS: no response


REFERENCE

V6PC consideration
When a home agent receives a Mobile Prefix Solicitation form a mobile node on
home link, the home agent discards the message.