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_HL254
src: TN's Link-local
dst: allnode
Hop Limit: 254
PXOPT: Global0
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)
# For each Prefix-Information option in the Router Advertisement:
#
# a) If the Autonomous flag is not set, silently ignore the
# Prefix Information
# option.
#
# b) If the prefix is the link-local prefix, silently ignore the
# Prefix Information option.
#
# c) If the preferred lifetime is greater than the valid lifetime,
# silently ignore the Prefix Information option. A node MAY wish to
# log a system management error in this case.
#
#
# 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:
#
# (omit)
#
#
#
#
# RFC2461
#
# (omit)
#
# 6.1.2. Validation of Router Advertisement Messages
#
# A node MUST silently discard any received Router Advertisement
# messages that do not satisfy all of the following validity checks:
#
# - IP Source Address is a link-local address. Routers must use
# their link-local address as the source for Router Advertisement
# and Redirect messages so that hosts can uniquely identify
# routers.
#
# - The IP Hop Limit field has a value of 255, i.e., the packet
# could not possibly have been forwarded by a router.
#
# - If the message includes an IP Authentication Header, the message
# authenticates correctly.
#
# - ICMP Checksum is valid.
#
# - ICMP Code is 0.
#
# - ICMP length (derived from the IP length) is 16 or more octets.
#
# - All included options have a length that is greater than zero.
#
# The contents of the Reserved field, and of any unrecognized options,
# MUST be ignored. Future, backward-compatible changes to the protocol
# may specify the contents of the Reserved field or add new options;
# backward-incompatible changes may use different Code values.
#
# The contents of any defined options that are not specified to be used
# with Router Advertisement messages MUST be ignored and the packet
# processed as normal. The only defined options that may appear are
# the Source Link-Layer Address, Prefix Information and MTU options.
#
# An advertisement that passes the validity checks is called a "valid
# advertisement".
#
# (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