Judgement #1. NUT MUST transmit DAD NS for its autoconfigured Link-local address.
name: DADNS_from_NUT
src: ::0
dst: solnode[NUT's tentative Link-local]
TargetAddress: NUT's tentative Link-local
Judgement #2. NUT SHOULD transmit RS.
name: RS_from_NUT
src: NUT's Link-local
dst: allrouter
Action #1. TN transmits RA which contains Global Prefix.
name: RA_GA0_PXLEN120
src: TN's Link-local
dst: allnode
PXOPT: Global0
PXLEN:120
Judgement #3. NUT MUST NOT transmit DAD NS for its autoconfigured Global address.
(* If the address is consisits of EUI64, as same as Link-local
address, This DAD MAY be omitted.)
name: DADNS_from_NUT_GA0Tgt
src: ::0
dst: solnode[NUT's tentative Global0]
TargetAddress: NUT's tentative Global0
Action #2. TN transmits SOL NS to check if NUT's address is configured.
name: SOLNS_from_TN_GA0Tgt
src: TN's Link-local
dst: solnode[NUT's Global0]
TargetAddress: NUT's Global0
Judgement #4. NUT MUST NOT transmit SOL NA for its autoconfigured Global address.
name:
NA_from_NUT_GA0Tgt,
NA_from_NUT_GA0Tgt_woTLL,
NA_from_GA0NUT_GA0Tgt,
NA_from_GA0NUT_GA0Tgt_woTLL
src: NUT's any Unicast Address
dst: TN's Link-local
TargetAddress: NUT's Global0
RFlag: 0
SFlag: 1
OFlag: 1
TLLOPT: NUT's MAC address
(* TLLOPT may be omitted)
=back 1
=cut
# =head1 REFERENCE
#
# =begin html
#
# RFC2462
#
# 5.5.3. Router Advertisement Processing
# (omit)
#
# d) If the prefix advertised does not match the prefix of an address
# already in the list, and the Valid Lifetime is not 0, form an
# address (and add it to the list) by combining the advertised
# prefix with the link's interface identifier as follows:
#
# | 128 - N bits | N bits |
# +---------------------------------------+------------------------+
# | link prefix | interface identifier |
# +----------------------------------------------------------------+
#
#
#
# If the sum of the prefix length and interface identifier length
# does not equal 128 bits, the Prefix Information option MUST be
# ignored. An implementation MAY wish to log a system management
# error in this case. It is the responsibility of the system
# administrator to insure that the lengths of prefixes contained in
# Router Advertisements are consistent with the length of interface
# identifiers for that link type. Note that interface identifiers
# will typically be 64-bits long and based on EUI-64 identifiers as
# described in [ADDR-ARCH].
#
# If an address is formed successfully, the host adds it to the
# list of addresses assigned to the interface, initializing its
# preferred and valid lifetime values from the Prefix Information
# option.
#
# (omit)
#
#
#
#
# RFC2464
#
# (omit)
#
# 4. Stateless Autoconfiguration
#
# The Interface Identifier [AARCH] for an Ethernet interface is based
# on the EUI-64 identifier [EUI64] derived from the interface's built-
# in 48-bit IEEE 802 address. The EUI-64 is formed as follows.
# (Canonical bit order is assumed throughout.)
#
# (omit)
#
#
#
# =end html
#
#
=pod
=head1 REFERENCE
=begin html
RFC 2462 - IPv6 Stateless Address Autoconfiguration
=end html
=head1 SEE ALSO
=begin html
detail of v6eval tool option: see perldoc V6evalTool.pm, perldoc V6evalRemote.pm
=end html
=cut