# NAME

DeReg_LT0_HOME - Valid De-Registration (Lifetime=0 & CoA=HoA)

# TARGET

    Router

# SYNOPSIS

    DeReg_LT0_HOME.seq [-tooloption ...] -pkt DeReg_LT0_HOME.def

>     -tooloption: v6eval tool option

# TOPOLOGY

>                             MN'     CN
>                             |       |
>             --------+-------+-------+------- LinkX
>                     |
>            NUT      R0      MN
>             |       |       |
>     --------+-------+-------+--------------- Link0

> `Link0` | `global` | `3ffe:501:ffff:100::/64` | `home link`
> `LinkX` | `global` | `3ffe:501:ffff:102::/64` | `foreign link`
> `R0(Link0)` | `global` | `3ffe:501:ffff:100::a0a0` | ``
> `ether` | `00:00:00:00:a0:a0`
> `MN` | `global` | `3ffe:501:ffff:100:200:ff:fe00:14` | `home address`
> `MN'` | `global` | `3ffe:501:ffff:102:200:ff:fe00:14` | `care-of address`
> `CN` | `global` | `3ffe:501:ffff:102:<TN>` | ``

# INITIALIZATION

>     NUT      MN      MN'     CN
>      |       |       |       |
>      | <-------------------- | Echo Request
>      | --------------------> | Echo Reply
>      |       |       |       |
>      | <------------ |       | BU
>      | ------------> |       | BA
>      |       |       |       |
>      |       | <------------ | Echo Request
>      | ============> |       | Echo Request (encapsulated)
>      |       |       |       |

    1. Send Echo Request
    2. Wait Echo Reply
    3. Receive Echo Reply
    4. Send BU
    5. Wait BA
    6. Receive BA
    7. Send Echo Request
    8. Wait Echo Request (encapsulated)
    9. Receive Echo Request (encapsulated)

# TEST PROCEDURE

>     NUT      MN      MN'     CN
>      |       |       |       |
>      | <---- |       |       | BU
>      | ----> |       |       | BA (*1)
>      |       |       |       |
>      |       | <------------ | Echo Request
>      | ----> |       |       | Echo Request (forwarded) (*2)
>      |       |       |       |

    1. Send BU
    2. Wait BA
    3. Receive BA (*1)
    4. Send Echo Request
    5. Wait Echo Request (forwarded)
    6. Receive Echo Request (forwarded) (*2)

# JUDGEMENT

    (*1) PASS: MN receives BA
    (*2) PASS: MN receives Echo Request (forwarded)

# SEE ALSO

    MIP6.pm
    MIP6.def