RFC8754

From RFC-Wiki
Revision as of 21:36, 22 September 2020 by Admin (talk | contribs) (Created page with " Internet Engineering Task Force (IETF) C. Filsfils, Ed. Request for Comments: 8754 D. Dukes, Ed. Category: Standards Tr...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)




Internet Engineering Task Force (IETF) C. Filsfils, Ed. Request for Comments: 8754 D. Dukes, Ed. Category: Standards Track Cisco Systems, Inc. ISSN: 2070-1721 S. Previdi

                                                                 Huawei
                                                               J. Leddy
                                                             Individual
                                                          S. Matsushima
                                                               SoftBank
                                                               D. Voyer
                                                            Bell Canada
                                                             March 2020


                  IPv6 Segment Routing Header (SRH)

Abstract

  Segment Routing can be applied to the IPv6 data plane using a new
  type of Routing Extension Header called the Segment Routing Header
  (SRH).  This document describes the SRH and how it is used by nodes
  that are Segment Routing (SR) capable.

Status of This Memo

  This is an Internet Standards Track document.
  This document is a product of the Internet Engineering Task Force
  (IETF).  It represents the consensus of the IETF community.  It has
  received public review and has been approved for publication by the
  Internet Engineering Steering Group (IESG).  Further information on
  Internet Standards is available in Section 2 of RFC 7841.
  Information about the current status of this document, any errata,
  and how to provide feedback on it may be obtained at
  https://www.rfc-editor.org/info/rfc8754.

Copyright Notice

  Copyright (c) 2020 IETF Trust and the persons identified as the
  document authors.  All rights reserved.
  This document is subject to BCP 78 and the IETF Trust's Legal
  Provisions Relating to IETF Documents
  (https://trustee.ietf.org/license-info) in effect on the date of
  publication of this document.  Please review these documents
  carefully, as they describe your rights and restrictions with respect
  to this document.  Code Components extracted from this document must
  include Simplified BSD License text as described in Section 4.e of
  the Trust Legal Provisions and are provided without warranty as
  described in the Simplified BSD License.

Table of Contents

  1.  Introduction
    1.1.  Terminology
    1.2.  Requirements Language
  2.  Segment Routing Header
    2.1.  SRH TLVs
      2.1.1.  Padding TLVs
      2.1.2.  HMAC TLV
  3.  SR Nodes
    3.1.  SR Source Node
    3.2.  Transit Node
    3.3.  SR Segment Endpoint Node
  4.  Packet Processing
    4.1.  SR Source Node
      4.1.1.  Reduced SRH
    4.2.  Transit Node
    4.3.  SR Segment Endpoint Node
      4.3.1.  FIB Entry Is a Locally Instantiated SRv6 SID
      4.3.2.  FIB Entry Is a Local Interface
      4.3.3.  FIB Entry Is a Nonlocal Route
      4.3.4.  FIB Entry Is a No Match
  5.  Intra-SR-Domain Deployment Model
    5.1.  Securing the SR Domain
    5.2.  SR Domain as a Single System with Delegation among
          Components
    5.3.  MTU Considerations
    5.4.  ICMP Error Processing
    5.5.  Load Balancing and ECMP
    5.6.  Other Deployments
  6.  Illustrations
    6.1.  Abstract Representation of an SRH
    6.2.  Example Topology
    6.3.  SR Source Node
      6.3.1.  Intra-SR-Domain Packet
      6.3.2.  Inter-SR-Domain Packet -- Transit
      6.3.3.  Inter-SR-Domain Packet -- Internal to External
    6.4.  Transit Node
    6.5.  SR Segment Endpoint Node
    6.6.  Delegation of Function with HMAC Verification
      6.6.1.  SID List Verification
  7.  Security Considerations
    7.1.  SR Attacks
    7.2.  Service Theft
    7.3.  Topology Disclosure
    7.4.  ICMP Generation
    7.5.  Applicability of AH
  8.  IANA Considerations
    8.1.  Segment Routing Header Flags Registry
    8.2.  Segment Routing Header TLVs Registry
  9.  References
    9.1.  Normative References
    9.2.  Informative References
  Acknowledgements
  Contributors
  Authors' Addresses

1. Introduction

  Segment Routing (SR) can be applied to the IPv6 data plane using a
  new type of routing header called the Segment Routing Header (SRH).
  This document describes the SRH and how it is used by nodes that are
  SR capable.
  "Segment Routing Architecture" [RFC8402] describes Segment Routing
  and its instantiation in two data planes: MPLS and IPv6.
  The encoding of IPv6 segments in the SRH is defined in this document.

1.1. Terminology

  This document uses the terms Segment Routing (SR), SR domain, SR over
  IPv6 (SRv6), Segment Identifier (SID), SRv6 SID, Active Segment, and
  SR Policy as defined in [RFC8402].

1.2. Requirements Language

  The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT",
  "SHOULD", "SHOULD NOT", "RECOMMENDED", "NOT RECOMMENDED", "MAY", and
  "OPTIONAL" in this document are to be interpreted as described in
  BCP 14 [RFC2119] [RFC8174] when, and only when, they appear in all
  capitals, as shown here.

2. Segment Routing Header

  Routing headers are defined in [RFC8200].  The Segment Routing Header
  (SRH) has a new Routing Type (4).
  The SRH is defined as follows:
    0                   1                   2                   3
    0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
   | Next Header   |  Hdr Ext Len  | Routing Type  | Segments Left |
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
   |  Last Entry   |     Flags     |              Tag              |
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
   |                                                               |
   |            Segment List[0] (128-bit IPv6 address)             |
   |                                                               |
   |                                                               |
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
   |                                                               |
   |                                                               |
                                 ...
   |                                                               |
   |                                                               |
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
   |                                                               |
   |            Segment List[n] (128-bit IPv6 address)             |
   |                                                               |
   |                                                               |
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
   //                                                             //
   //         Optional Type Length Value objects (variable)       //
   //                                                             //
   +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  where:
  Next Header:  Defined in [RFC8200], Section 4.4.
  Hdr Ext Len:  Defined in [RFC8200], Section 4.4.
  Routing Type:  4.
  Segments Left:  Defined in [RFC8200], Section 4.4.
  Last Entry:  contains the index (zero based), in the Segment List, of
     the last element of the Segment List.
  Flags:  8 bits of flags.  Section 8.1 creates an IANA registry for
     new flags to be defined.  The following flags are defined:
         0 1 2 3 4 5 6 7
        +-+-+-+-+-+-+-+-+
        |U U U U U U U U|
        +-+-+-+-+-+-+-+-+
     U: Unused and for future use.  MUST be 0 on transmission and
     ignored on receipt.
  Tag:  Tag a packet as part of a class or group of packets -- e.g.,
     packets sharing the same set of properties.  When Tag is not used
     at the source, it MUST be set to zero on transmission.  When Tag
     is not used during SRH processing, it SHOULD be ignored.  Tag is
     not used when processing the SID defined in Section 4.3.1.  It may
     be used when processing other SIDs that are not defined in this
     document.  The allocation and use of tag is outside the scope of
     this document.
  Segment List[0..n]:  128-bit IPv6 addresses representing the nth
     segment in the Segment List.  The Segment List is encoded starting
     from the last segment of the SR Policy.  That is, the first
     element of the Segment List (Segment List[0]) contains the last
     segment of the SR Policy, the second element contains the
     penultimate segment of the SR Policy, and so on.
  TLV:  Type Length Value (TLV) is described in Section 2.1.
  In the SRH, the Next Header, Hdr Ext Len, Routing Type, and Segments
  Left fields are defined in Section 4.4 of [RFC8200].  Based on the
  constraints in that section, Next Header, Header Ext Len, and Routing
  Type are not mutable while Segments Left is mutable.
  The mutability of the TLV value is defined by the most significant
  bit in the type, as specified in Section 2.1.
  Section 4.3 defines the mutability of the remaining fields in the SRH
  (Flags, Tag, Segment List) in the context of the SID defined in this
  document.
  New SIDs defined in the future MUST specify the mutability properties
  of the Flags, Tag, and Segment List and indicate how the Hashed
  Message Authentication Code (HMAC) TLV (Section 2.1.2) verification
  works.  Note that, in effect, these fields are mutable.
  Consistent with the SR model, the source of the SRH always knows how
  to set the Segment List, Flags, Tag, and TLVs of the SRH for use
  within the SR domain.  How it achieves this is outside the scope of
  this document but may be based on topology, available SIDs and their
  mutability properties, the SRH mutability requirements of the
  destination, or any other information.

2.1. SRH TLVs

  This section defines TLVs of the Segment Routing Header.
  A TLV provides metadata for segment processing.  The only TLVs
  defined in this document are the HMAC (Section 2.1.2) and padding
  TLVs (Section 2.1.1).  While processing the SID defined in
  Section 4.3.1, all TLVs are ignored unless local configuration
  indicates otherwise (Section 4.3.1.1.1).  Thus, TLV and HMAC support
  is optional for any implementation; however, an implementation adding
  or parsing TLVs MUST support PAD TLVs.  Other documents may define
  additional TLVs and processing rules for them.
  TLVs are present when the Hdr Ext Len is greater than (Last
  Entry+1)*2.
  While processing TLVs at a segment endpoint, TLVs MUST be fully
  contained within the SRH as determined by the Hdr Ext Len.  Detection
  of TLVs exceeding the boundary of the SRH Hdr Ext Len results in an
  ICMP Parameter Problem, Code 0, message to the Source Address,
  pointing to the Hdr Ext Len field of the SRH, and the packet being
  discarded.
  An implementation MAY limit the number and/or length of TLVs it
  processes based on local configuration.  It MAY limit:
  *  the number of consecutive Pad1 (Section 2.1.1.1) options to 1.  If
     padding of more than one byte is required, then PadN
     (Section 2.1.1.2) should be used.
  *  The length in PadN to 5.
  *  The maximum number of non-Pad TLVs to be processed.
  *  The maximum length of all TLVs to be processed.
  The implementation MAY stop processing additional TLVs in the SRH
  when these configured limits are exceeded.
   0                   1
   0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-----------------------
  |     Type      |    Length     | Variable-length data
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-----------------------
  Type:  An 8-bit codepoint from the "Segment Routing Header TLVs"
     [IANA-SRHTLV].  Unrecognized Types MUST be ignored on receipt.
  Length:  The length of the variable-length data field in bytes.
  Variable-length data:  data that is specific to the Type.
  Type Length Value (TLV) entries contain OPTIONAL information that may
  be used by the node identified in the Destination Address (DA) of the
  packet.
  Each TLV has its own length, format, and semantic.  The codepoint
  allocated (by IANA) to each TLV Type defines both the format and the
  semantic of the information carried in the TLV.  Multiple TLVs may be
  encoded in the same SRH.
  The highest-order bit of the TLV type (bit 0) specifies whether or
  not the TLV data of that type can change en route to the packet's
  final destination:
     0: TLV data does not change en route
     1: TLV data does change en route
  All TLVs specify their alignment requirements using an xn+y format.
  The xn+y format is defined as per [RFC8200].  The SR source nodes use
  the xn+y alignment requirements of TLVs and Padding TLVs when
  constructing an SRH.
  The Length field of the TLV is used to skip the TLV while inspecting
  the SRH in case the node doesn't support or recognize the Type.  The
  Length defines the TLV length in octets, not including the Type and
  Length fields.
  The following TLVs are defined in this document:
     Padding TLVs
     HMAC TLV
  Additional TLVs may be defined in the future.

2.1.1. Padding TLVs

  There are two types of Padding TLVs, Pad1 and PadN, and the following
  applies to both:
     Padding TLVs are used for meeting the alignment requirement of the
     subsequent TLVs.
     Padding TLVs are used to pad the SRH to a multiple of 8 octets.
     Padding TLVs are ignored by a node processing the SRH TLV.
     Multiple Padding TLVs MAY be used in one SRH.

2.1.1.1. Pad1

  Alignment requirement: none
     0 1 2 3 4 5 6 7
    +-+-+-+-+-+-+-+-+
    |     Type      |
    +-+-+-+-+-+-+-+-+
  Type:  0
  A single Pad1 TLV MUST be used when a single byte of padding is
  required.  A Pad1 TLV MUST NOT be used if more than one consecutive
  byte of padding is required.

2.1.1.2. PadN

  Alignment requirement: none
   0                   1                   2                   3
   0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  |     Type      |    Length     |      Padding (variable)       |
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  //                    Padding (variable)                       //
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  Type:  4
  Length:  0 to 5.  The length of the Padding field in bytes.
  Padding:  Padding bits have no semantic.  They MUST be set to 0 on
     transmission and ignored on receipt.
  The PadN TLV MUST be used when more than one byte of padding is
  required.

2.1.2. HMAC TLV

  Alignment requirement: 8n
  The keyed Hashed Message Authentication Code (HMAC) TLV is OPTIONAL
  and has the following format:
   0                   1                   2                   3
   0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  |      Type     |     Length    |D|        RESERVED             |
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  |                      HMAC Key ID (4 octets)                   |
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  |                                                              //
  |                      HMAC (variable)                         //
  |                                                              //
  +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
  where:
  Type:  5.
  Length:  The length of the variable-length data in bytes.
  D:  1 bit. 1 indicates that the Destination Address verification is
     disabled due to use of a reduced Segment List (see Section 4.1.1).
  RESERVED:  15 bits.  MUST be 0 on transmission.
  HMAC Key ID:  A 4-octet opaque number that uniquely identifies the
     pre-shared key and algorithm used to generate the HMAC.
  HMAC:  Keyed HMAC, in multiples of 8 octets, at most 32 octets.
  The HMAC TLV is used to verify that the SRH applied to a packet was
  selected by an authorized party and to ensure that the segment list
  is not modified after generation.  This also allows for verification
  that the current segment (by virtue of being in the authorized
  Segment List) is authorized for use.  The SR domain ensures that the
  source node is permitted to use the source address in the packet via
  ingress filtering mechanisms as defined in BCP 84 [RFC3704] or other
  strategies as appropriate.

2.1.2.1. HMAC Generation and Verification

  Local configuration determines when to check for an HMAC.  This local
  configuration is outside the scope of this document.  It may be based
  on the active segment at an SR Segment endpoint node, the result of
  an Access Control List (ACL) that considers incoming interface, HMAC
  Key ID, or other packet fields.
  An implementation that supports the generation and verification of
  the HMAC supports the following default behavior, as defined in the
  remainder of this section.
  The HMAC verification begins by checking that the current segment is
  equal to the destination address of the IPv6 header.  The check is
  successful when either:
  *  HMAC D bit is 1 and Segments Left is greater than Last Entry, or
  *  HMAC Segments Left is less than or equal to Last Entry, and the
     destination address is equal to Segment List[Segments Left].
  The HMAC field is the output of the HMAC computation as defined in
  [RFC2104], using:
  *  key: The pre-shared key identified by HMAC Key ID
  *  HMAC algorithm: Identified by the HMAC Key ID
  *  Text: A concatenation of the following fields from the IPv6 header
     and the SRH, as it would be received at the node verifying the
     HMAC:
     -  IPv6 header: Source address (16 octets)
     -  SRH: Last Entry (1 octet)
     -  SRH: Flags (1 octet)
     -  SRH: HMAC 16 bits following Length
     -  SRH: HMAC Key ID (4 octets)
     -  SRH: All addresses in the Segment List (variable octets)
  The HMAC digest is truncated to 32 octets and placed in the HMAC
  field of the HMAC TLV.
  For HMAC algorithms producing digests less than 32 octets long, the
  digest is placed in the lowest-order octets of the HMAC field.
  Subsequent octets MUST be set to zero such that the HMAC length is a
  multiple of 8 octets.
  If HMAC verification is successful, processing proceeds as normal.
  If HMAC verification fails, an ICMP error message (parameter problem,
  error code 0, pointing to the HMAC TLV) SHOULD be generated (but rate
  limited) and logged, and the packet SHOULD be discarded.

2.1.2.2. HMAC Pre-shared Key Algorithm

  The HMAC Key ID field allows for the simultaneous existence of
  several hash algorithms (SHA-256, SHA3-256 ... or future ones) as
  well as pre-shared keys.
  The HMAC Key ID field is opaque -- i.e., it has neither syntax nor
  semantic except as an identifier of the right combination of pre-
  shared key and hash algorithm.
  At the HMAC TLV generating and verification nodes, the Key ID
  uniquely identifies the pre-shared key and HMAC algorithm.
  At the HMAC TLV generating node, the Text for the HMAC computation is
  set to the IPv6 header fields and SRH fields as they would appear at
  the verification node(s), not necessarily the same as the source node
  sending a packet with the HMAC TLV.
  Pre-Shared key rollover is supported by having two key IDs in use
  while the HMAC TLV generating node and verifying node converge to a
  new key.
  The HMAC TLV generating node may need to revoke an SRH for which it
  previously generated an HMAC.  Revocation is achieved by allocating a
  new key and key ID, then rolling over the key ID associated with the
  SRH to be revoked.  The HMAC TLV verifying node drops packets with
  the revoked SRH.
  An implementation supporting HMAC can support multiple hash
  functions.  An implementation supporting HMAC MUST implement SHA-2
  [FIPS180-4] in its SHA-256 variant.
  The selection of pre-shared key and algorithm and their distribution
  is outside the scope of this document.  Some options may include:
  *  setting these items in the configuration of the HMAC generating or
     verifying nodes, either by static configuration or any SDN-
     oriented approach
  *  dynamically using a trusted key distribution protocol such as
     [RFC6407]
  While key management is outside the scope of this document, the
  recommendations of BCP 107 [RFC4107] should be considered when
  choosing the key management system.

3. SR Nodes

  There are different types of nodes that may be involved in segment
  routing networks: SR source nodes that originate packets with a
  segment in the destination address of the IPv6 header, transit nodes
  that forward packets destined to a remote segment, and SR segment
  endpoint nodes that process a local segment in the destination
  address of an IPv6 header.

3.1. SR Source Node

  A SR source node is any node that originates an IPv6 packet with a
  segment (i.e., SRv6 SID) in the destination address of the IPv6
  header.  The packet leaving the SR source node may or may not contain
  an SRH.  This includes either:
  *  A host originating an IPv6 packet, or
  *  An SR domain ingress router encapsulating a received packet in an
     outer IPv6 header, followed by an optional SRH.
  It is out of the scope of this document to describe the mechanism
  through which a segment in the destination address of the IPv6 header
  and the Segment List in the SRH are derived.

3.2. Transit Node

  A transit node is any node forwarding an IPv6 packet where the
  destination address of that packet is not locally configured as a
  segment or a local interface.  A transit node is not required to be
  capable of processing a segment or SRH.

3.3. SR Segment Endpoint Node

  An SR segment endpoint node is any node receiving an IPv6 packet
  where the destination address of that packet is locally configured as
  a segment or local interface.

4. Packet Processing

  This section describes SRv6 packet processing at the SR source,
  Transit, and SR segment endpoint nodes.

4.1. SR Source Node

  A source node steers a packet into an SR Policy.  If the SR Policy
  results in a Segment List containing a single segment, and there is
  no need to add information to the SRH flag or add TLV; the DA is set
  to the single Segment List entry, and the SRH MAY be omitted.
  When needed, the SRH is created as follows:
     The Next Header and Hdr Ext Len fields are set as specified in
     [RFC8200].
     The Routing Type field is set to 4.
     The DA of the packet is set with the value of the first segment.
     The first element of the SRH Segment List is the ultimate segment.
     The second element is the penultimate segment, and so on.
     The Segments Left field is set to n-1, where n is the number of
     elements in the SR Policy.
     The Last Entry field is set to n-1, where n is the number of
     elements in the SR Policy.
     TLVs (including HMAC) may be set according to their specification.
     The packet is forwarded toward the packet's Destination Address
     (the first segment).

4.1.1. Reduced SRH

  When a source does not require the entire SID list to be preserved in
  the SRH, a reduced SRH may be used.
  A reduced SRH does not contain the first segment of the related SR
  Policy (the first segment is the one already in the DA of the IPv6
  header), and the Last Entry field is set to n-2, where n is the
  number of elements in the SR Policy.

4.2. Transit Node

  As specified in [RFC8200], the only node allowed to inspect the
  Routing Extension Header (and therefore the SRH) is the node
  corresponding to the DA of the packet.  Any other transit node MUST
  NOT inspect the underneath routing header and MUST forward the packet
  toward the DA according to its IPv6 routing table.
  When a SID is in the destination address of an IPv6 header of a
  packet, it's routed through an IPv6 network as an IPv6 address.
  SIDs, or the prefix(es) covering SIDs, and their reachability may be
  distributed by means outside the scope of this document.  For
  example, [RFC5308] or [RFC5340] may be used to advertise a prefix
  covering the SIDs on a node.

4.3. SR Segment Endpoint Node

  Without constraining the details of an implementation, the SR segment
  endpoint node creates Forwarding Information Base (FIB) entries for
  its local SIDs.
  When an SRv6-capable node receives an IPv6 packet, it performs a
  longest-prefix-match lookup on the packet's destination address.
  This lookup can return any of the following:
  *  A FIB entry that represents a locally instantiated SRv6 SID
  *  A FIB entry that represents a local interface, not locally
     instantiated as an SRv6 SID
  *  A FIB entry that represents a nonlocal route
  *  No Match

4.3.1. FIB Entry Is a Locally Instantiated SRv6 SID

  This document and section define a single SRv6 SID.  Future documents
  may define additional SRv6 SIDs.  In such a case, the entire content
  of this section will be defined in that document.
  If the FIB entry represents a locally instantiated SRv6 SID, process
  the next header chain of the IPv6 header as defined in Section 4 of
  [RFC8200].  Section 4.3.1.1 describes how to process an SRH;
  Section 4.3.1.2 describes how to process an upper-layer header or the
  absence of a Next Header.
  Processing this SID modifies the Segments Left and, if configured to
  process TLVs, it may modify the "variable-length data" of TLV types
  that change en route.  Therefore, Segments Left is mutable, and TLVs
  that change en route are mutable.  The remainder of the SRH (Flags,
  Tag, Segment List, and TLVs that do not change en route) are
  immutable while processing this SID.

4.3.1.1. SRH Processing

  S01. When an SRH is processed {
  S02.   If Segments Left is equal to zero {
  S03.     Proceed to process the next header in the packet,
           whose type is identified by the Next Header field in
           the routing header.
  S04.   }
  S05.   Else {
  S06.     If local configuration requires TLV processing {
  S07.       Perform TLV processing (see TLV Processing)
  S08.     }
  S09.     max_last_entry  =  ( Hdr Ext Len /  2 ) - 1
  S10.     If  ((Last Entry > max_last_entry) or
  S11.          (Segments Left is greater than (Last Entry+1)) {
  S12.       Send an ICMP Parameter Problem, Code 0, message to
             the Source Address, pointing to the Segments Left
             field, and discard the packet.
  S13.     }
  S14.     Else {
  S15.       Decrement Segments Left by 1.
  S16.       Copy Segment List[Segments Left] from the SRH to the
             destination address of the IPv6 header.
  S17.       If the IPv6 Hop Limit is less than or equal to 1 {
  S18.         Send an ICMP Time Exceeded -- Hop Limit Exceeded in
               Transit message to the Source Address and discard
               the packet.
  S19.       }
  S20.       Else {
  S21.         Decrement the Hop Limit by 1
  S22.         Resubmit the packet to the IPv6 module for transmission
               to the new destination.
  S23.       }
  S24.     }
  S25.   }
  S26. }

4.3.1.1.1. TLV Processing

  Local configuration determines how TLVs are to be processed when the
  Active Segment is a local SID defined in this document.  The
  definition of local configuration is outside the scope of this
  document.
  For illustration purposes only, two example local configurations that
  may be associated with a SID are provided below.
  Example 1:
  For any packet received from interface I2
    Skip TLV processing
  Example 2:
  For any packet received from interface I1
    If first TLV is HMAC {
      Process the HMAC TLV
    }
    Else {
      Discard the packet
    }

4.3.1.2. Upper-Layer Header or No Next Header

  When processing the upper-layer header of a packet matching a FIB
  entry locally instantiated as an SRv6 SID defined in this document:
  IF (Upper-layer Header is IPv4 or IPv6) and
      local configuration permits {
    Perform IPv6 decapsulation
    Resubmit the decapsulated packet to the IPv4 or IPv6 module
  }
  ELSE {
    Send an ICMP parameter problem message to the Source Address and
    discard the packet.  Error code (4) "SR Upper-layer
    Header Error", pointer set to the offset of the upper-layer
    header.
  }
  A unique error code allows an SR source node to recognize an error in
  SID processing at an endpoint.

4.3.2. FIB Entry Is a Local Interface

  If the FIB entry represents a local interface and is not locally
  instantiated as an SRv6 SID, the SRH is processed as follows:
     If Segments Left is zero, the node must ignore the routing header
     and proceed to process the next header in the packet, whose type
     is identified by the Next Header field in the routing header.
     If Segments Left is non-zero, the node must discard the packet and
     send an ICMP Parameter Problem, Code 0, message to the packet's
     Source Address, pointing to the unrecognized Routing Type.

4.3.3. FIB Entry Is a Nonlocal Route

  Processing is not changed by this document.

4.3.4. FIB Entry Is a No Match

  Processing is not changed by this document.

5. Intra-SR-Domain Deployment Model

  The use of the SIDs exclusively within the SR domain and solely for
  packets of the SR domain is an important deployment model.
  This enables the SR domain to act as a single routing system.
  This section covers:
  *  securing the SR domain from external attempts to use its SIDs
  *  using the SR domain as a single system with delegation between
     components
  *  handling packets of the SR domain

5.1. Securing the SR Domain

  Nodes outside the SR domain are not trusted: they cannot directly use
  the SIDs of the domain.  This is enforced by two levels of access
  control lists:
  1.  Any packet entering the SR domain and destined to a SID within
      the SR domain is dropped.  This may be realized with the
      following logic.  Other methods with equivalent outcome are
      considered compliant:
      *  Allocate all the SIDs from a block S/s
      *  Configure each external interface of each edge node of the
         domain with an inbound infrastructure access list (IACL) that
         drops any incoming packet with a destination address in S/s
      *  Failure to implement this method of ingress filtering exposes
         the SR domain to source-routing attacks, as described and
         referenced in [RFC5095]
  2.  The distributed protection in #1 is complemented with per-node
      protection, dropping packets to SIDs from source addresses
      outside the SR domain.  This may be realized with the following
      logic.  Other methods with equivalent outcome are considered
      compliant:
      *  Assign all interface addresses from prefix A/a
      *  At node k, all SIDs local to k are assigned from prefix Sk/sk
      *  Configure each internal interface of each SR node k in the SR
         domain with an inbound IACL that drops any incoming packet
         with a destination address in Sk/sk if the source address is
         not in A/a.

5.2. SR Domain as a Single System with Delegation among Components

  All intra-SR-domain packets are of the SR domain.  The IPv6 header is
  originated by a node of the SR domain and is destined to a node of
  the SR domain.
  All interdomain packets are encapsulated for the part of the packet
  journey that is within the SR domain.  The outer IPv6 header is
  originated by a node of the SR domain and is destined to a node of
  the SR domain.
  As a consequence, any packet within the SR domain is of the SR
  domain.
  The SR domain is a system in which the operator may want to
  distribute or delegate different operations of the outermost header
  to different nodes within the system.
  An operator of an SR domain may choose to delegate SRH addition to a
  host node within the SR domain and delegate validation of the
  contents of any SRH to a more trusted router or switch attached to
  the host.  Consider a top-of-rack switch T connected to host H via
  interface I.  H receives an SRH (SRH1) with a computed HMAC via some
  SDN method outside the scope of this document.  H classifies traffic
  it sources and adds SRH1 to traffic requiring a specific Service
  Level Agreement (SLA).  T is configured with an IACL on I requiring
  verification of the SRH for any packet destined to the SID block of
  the SR domain (S/s).  T checks and verifies that SRH1 is valid and
  contains an HMAC TLV; T then verifies the HMAC.
  An operator of the SR domain may choose to have all segments in the
  SR domain verify the HMAC.  This mechanism would verify that the SRH
  Segment List is not modified while traversing the SR domain.

5.3. MTU Considerations

  An SR domain ingress edge node encapsulates packets traversing the SR
  domain and needs to consider the MTU of the SR domain.  Within the SR
  domain, well-known mitigation techniques are RECOMMENDED, such as
  deploying a greater MTU value within the SR domain than at the
  ingress edges.
  Encapsulation with an outer IPv6 header and SRH shares the same MTU
  and fragmentation considerations as IPv6 tunnels described in
  [RFC2473].  Further investigation on the limitation of various
  tunneling methods (including IPv6 tunnels) is discussed in
  [INTAREA-TUNNELS] and SHOULD be considered by operators when
  considering MTU within the SR domain.

5.4. ICMP Error Processing

  ICMP error packets generated within the SR domain are sent to source
  nodes within the SR domain.  The invoking packet in the ICMP error
  message may contain an SRH.  Since the destination address of a
  packet with an SRH changes as each segment is processed, it may not
  be the destination used by the socket or application that generated
  the invoking packet.
  For the source of an invoking packet to process the ICMP error
  message, the ultimate destination address of the IPv6 header may be
  required.  The following logic is used to determine the destination
  address for use by protocol-error handlers.
  *  Walk all extension headers of the invoking IPv6 packet to the
     routing extension header preceding the upper-layer header.
     -  If routing header is type 4 Segment Routing Header (SRH)
        o  The SID at Segment List[0] may be used as the destination
           address of the invoking packet.
  ICMP errors are then processed by upper-layer transports as defined
  in [RFC4443].
  For IP packets encapsulated in an outer IPv6 header, ICMP error
  handling is as defined in [RFC2473].

5.5. Load Balancing and ECMP

  For any interdomain packet, the SR source node MUST impose a flow
  label computed based on the inner packet.  The computation of the
  flow label is as recommended in [RFC6438] for the sending Tunnel End
  Point.
  For any intradomain packet, the SR source node SHOULD impose a flow
  label computed as described in [RFC6437] to assist ECMP load
  balancing at transit nodes incapable of computing a 5-tuple beyond
  the SRH.
  At any transit node within an SR domain, the flow label MUST be used
  as defined in [RFC6438] to calculate the ECMP hash toward the
  destination address.  If a flow label is not used, the transit node
  would likely hash all packets between a pair of SR Edge nodes to the
  same link.
  At an SR segment endpoint node, the flow label MUST be used as
  defined in [RFC6438] to calculate any ECMP hash used to forward the
  processed packet to the next segment.

5.6. Other Deployments

  Other deployment models and their implications on security, MTU,
  HMAC, ICMP error processing, and interaction with other extension
  headers are outside the scope of this document.

6. Illustrations

  This section provides illustrations of SRv6 packet processing at SR
  source, transit, and SR segment endpoint nodes.

6.1. Abstract Representation of an SRH

  For a node k, its IPv6 address is represented as Ak, and its SRv6 SID
  is represented as Sk.
  IPv6 headers are represented as the tuple of (source,destination).
  For example, a packet with source address A1 and destination address
  A2 is represented as (A1,A2).  The payload of the packet is omitted.
  An SR Policy is a list of segments.  A list of segments is
  represented as <S1,S2,S3> where S1 is the first SID to visit, S2 is
  the second SID to visit, and S3 is the last SID to visit.
  (SA,DA) (S3,S2,S1; SL) represents an IPv6 packet with:
  *  Source Address SA, Destination Addresses DA, and next header SRH.
  *  SRH with SID list <S1,S2,S3> with SegmentsLeft = SL.
  *  Note the difference between the <> and () symbols.  <S1,S2,S3>
     represents a SID list where the leftmost segment is the first
     segment.  In contrast, (S3,S2,S1; SL) represents the same SID list
     but encoded in the SRH Segment List format where the leftmost
     segment is the last segment.  When referring to an SR Policy in a
     high-level use case, it is simpler to use the <S1,S2,S3> notation.
     When referring to an illustration of detailed behavior, the
     (S3,S2,S1; SL) notation is more convenient.
  At its SR Policy headend, the Segment List <S1,S2,S3> results in SRH
  (S3,S2,S1; SL=2) represented fully as:
      Segments Left=2
      Last Entry=2
      Flags=0
      Tag=0
      Segment List[0]=S3
      Segment List[1]=S2
      Segment List[2]=S1

6.2. Example Topology

  The following topology is used in examples below:
          + * * * * * * * * * * * * * * * * * * * * +
          *         [8]                [9]          *
                     |                  |
          *          |                  |           *
  [1]----[3]--------[5]----------------[6]---------[4]---[2]
          *          |                  |           *
                     |                  |
          *          |                  |           *
                     +--------[7]-------+
          *                                         *
          + * * * * * * *  SR domain  * * * * * * * +
                                 Figure 1
  *  3 and 4 are SR domain edge routers
  *  5, 6, and 7 are all SR domain routers
  *  8 and 9 are hosts within the SR domain
  *  1 and 2 are hosts outside the SR domain
  *  The SR domain implements ingress filtering as per Section 5.1 and
     no external packet can enter the domain with a destination address
     equal to a segment of the domain.

6.3. SR Source Node

6.3.1. Intra-SR-Domain Packet

  When host 8 sends a packet to host 9 via an SR Policy <S7,A9> the
  packet is
  P1: (A8,S7)(A9,S7; SL=1)

6.3.1.1. Reduced Variant

  When host 8 sends a packet to host 9 via an SR Policy <S7,A9> and it
  wants to use a reduced SRH, the packet is
  P2: (A8,S7)(A9; SL=1)

6.3.2. Inter-SR-Domain Packet -- Transit

  When host 1 sends a packet to host 2, the packet is
  P3: (A1,A2)
  The SR domain ingress router 3 receives P3 and steers it to SR domain
  egress router 4 via an SR Policy <S7,S4>.  Router 3 encapsulates the
  received packet P3 in an outer header with an SRH.  The packet is
  P4: (A3,S7)(S4,S7; SL=1)(A1,A2)
  If the SR Policy contains only one segment (the egress router 4), the
  ingress router 3 encapsulates P3 into an outer header (A3,S4) without
  SRH.  The packet is
  P5: (A3,S4)(A1,A2)

6.3.2.1. Reduced Variant

  The SR domain ingress router 3 receives P3 and steers it to SR domain
  egress router 4 via an SR Policy <S7,S4>.  If router 3 wants to use a
  reduced SRH, it encapsulates the received packet P3 in an outer
  header with a reduced SRH.  The packet is
  P6: (A3,S7)(S4; SL=1)(A1,A2)

6.3.3. Inter-SR-Domain Packet -- Internal to External

  When host 8 sends a packet to host 1, the packet is encapsulated for
  the portion of its journey within the SR domain.  From 8 to 3 the
  packet is
  P7: (A8,S3)(A8,A1)
  In the opposite direction, the packet generated from 1 to 8 is
  P8: (A1,A8)
  At node 3, P8 is encapsulated for the portion of its journey within
  the SR domain, with the outer header destined to segment S8.  This
  results in
  P9: (A3,S8)(A1,A8)
  At node 8, the outer IPv6 header is removed by S8 processing, then
  processed again when received by A8.

6.4. Transit Node

  Node 5 acts as transit node for packet P1 and sends packet
  P1: (A8,S7)(A9,S7;SL=1)
  on the interface toward node 7.

6.5. SR Segment Endpoint Node

  Node 7 receives packet P1 and, using the logic in Section 4.3.1,
  sends packet
  P7: (A8,A9)(A9,S7; SL=0)
  on the interface toward router 6.

6.6. Delegation of Function with HMAC Verification

  This section describes how a function may be delegated within the SR
  domain.  In the following sections, consider a host 8 connected to a
  top of rack 5.

6.6.1. SID List Verification

  An operator may prefer to apply the SRH at source 8, while 5 verifies
  that the SID list is valid.
  For illustration purposes, an SDN controller provides 8 an SRH
  terminating at node 9, with Segment List <S5,S7,S6,A9>, and HMAC TLV
  computed for the SRH.  The HMAC key ID and key associated with the
  HMAC TLV is shared with 5.  Node 8 does not know the key.  Node 5 is
  configured with an IACL applied to the interface connected to 8,
  requiring HMAC verification for any packet destined to S/s.
  Node 8 originates packets with the received SRH, including HMAC TLV.
  P15: (A8,S5)(A9,S6,S7,S5;SL=3;HMAC)
  Node 5 receives and verifies the HMAC for the SRH, then forwards the
  packet to the next segment
  P16: (A8,S7)(A9,S6,S7,S5;SL=2;HMAC)
  Node 6 receives
  P17: (A8,S6)(A9,S6,S7,S5;SL=1;HMAC)
  Node 9 receives
  P18: (A8,A9)(A9,S6,S7,S5;SL=0;HMAC)
  This use of an HMAC is particularly valuable within an enterprise-
  based SR domain [SRN].

7. Security Considerations

  This section reviews security considerations related to the SRH,
  given the SRH processing and deployment models discussed in this
  document.
  As described in Section 5, it is necessary to filter packets' ingress
  to the SR domain, destined to SIDs within the SR domain (i.e.,
  bearing a SID in the destination address).  This ingress filtering is
  via an IACL at SR domain ingress border nodes.  Additional protection
  is applied via an IACL at each SR Segment Endpoint node, filtering
  packets not from within the SR domain, destined to SIDs in the SR
  domain.  ACLs are easily supported for small numbers of seldom
  changing prefixes, making summarization important.
  Additionally, ingress filtering of IPv6 source addresses as
  recommended in BCP 38 [RFC2827] SHOULD be used.

7.1. SR Attacks

  An SR domain implements distributed and per-node protection as
  described in Section 5.1.  Additionally, domains deny traffic with
  spoofed addresses by implementing the recommendations in BCP 84
  [RFC3704].
  Full implementation of the recommended protection blocks the attacks
  documented in [RFC5095] from outside the SR domain, including
  bypassing filtering devices, reaching otherwise-unreachable Internet
  systems, network topology discovery, bandwidth exhaustion, and
  defeating anycast.
  Failure to implement distributed and per-node protection allows
  attackers to bypass filtering devices and exposes the SR domain to
  these attacks.
  Compromised nodes within the SR domain may mount the attacks listed
  above along with other known attacks on IP networks (e.g., DoS/DDoS,
  topology discovery, man-in-the-middle, traffic interception/
  siphoning).

7.2. Service Theft

  Service theft is defined as the use of a service offered by the SR
  domain by a node not authorized to use the service.
  Service theft is not a concern within the SR domain, as all SR source
  nodes and SR segment endpoint nodes within the domain are able to
  utilize the services of the domain.  If a node outside the SR domain
  learns of segments or a topological service within the SR domain,
  IACL filtering denies access to those segments.

7.3. Topology Disclosure

  The SRH is unencrypted and may contain SIDs of some intermediate SR
  nodes in the path towards the destination within the SR domain.  If
  packets can be snooped within the SR domain, the SRH may reveal
  topology, traffic flows, and service usage.
  This is applicable within an SR domain, but the disclosure is less
  relevant as an attacker has other means of learning topology, flows,
  and service usage.

7.4. ICMP Generation

  The generation of ICMPv6 error messages may be used to attempt
  denial-of-service attacks by sending an error-causing destination
  address or SRH in back-to-back packets.  An implementation that
  correctly follows Section 2.4 of [RFC4443] would be protected by the
  ICMPv6 rate-limiting mechanism.

7.5. Applicability of AH

  The SR domain is a trusted domain, as defined in [RFC8402], Sections
  2 and 8.2.  The SR source is trusted to add an SRH (optionally
  verified as having been generated by a trusted source via the HMAC
  TLV in this document), and segments advertised within the domain are
  trusted to be accurate and advertised by trusted sources via a secure
  control plane.  As such, the SR domain does not rely on the
  Authentication Header (AH) as defined in [RFC4302] to secure the SRH.
  The use of SRH with AH by an SR source node and its processing at an
  SR segment endpoint node are not defined in this document.  Future
  documents may define use of SRH with AH and its processing.

8. IANA Considerations

  This document makes the following registrations in the "Internet
  Protocol Version 6 (IPv6) Parameters" "Routing Types" subregistry
  maintained by IANA:
        +-------+------------------------------+---------------+
        | Value | Description                  | Reference     |
        +=======+==============================+===============+
        | 4     | Segment Routing Header (SRH) | This document |
        +-------+------------------------------+---------------+
                       Table 1: SRH Registration
  This document makes the following registrations in the "Type 4 -
  Parameter Problem" message of the "Internet Control Message Protocol
  version 6 (ICMPv6) Parameters" registry maintained by IANA:
                 +------+-----------------------------+
                 | Code | Name                        |
                 +======+=============================+
                 | 4    | SR Upper-layer Header Error |
                 +------+-----------------------------+
                     Table 2: SR Upper-layer Header
                           Error Registration

8.1. Segment Routing Header Flags Registry

  This document describes a new IANA-managed registry to identify SRH
  Flags Bits.  The registration procedure is "IETF Review" [RFC8126].
  The registry name is "Segment Routing Header Flags".  Flags are 8
  bits.

8.2. Segment Routing Header TLVs Registry

  This document describes a new IANA-managed registry to identify SRH
  TLVs.  The registration procedure is "IETF Review".  The registry
  name is "Segment Routing Header TLVs".  A TLV is identified through
  an unsigned 8-bit codepoint value, with assigned values 0-127 for
  TLVs that do not change en route and 128-255 for TLVs that may change
  en route.  The following codepoints are defined in this document:
         +---------+--------------------------+---------------+
         | Value   | Description              | Reference     |
         +=========+==========================+===============+
         | 0       | Pad1 TLV                 | This document |
         +---------+--------------------------+---------------+
         | 1       | Reserved                 | This document |
         +---------+--------------------------+---------------+
         | 2       | Reserved                 | This document |
         +---------+--------------------------+---------------+
         | 3       | Reserved                 | This document |
         +---------+--------------------------+---------------+
         | 4       | PadN TLV                 | This document |
         +---------+--------------------------+---------------+
         | 5       | HMAC TLV                 | This document |
         +---------+--------------------------+---------------+
         | 6       | Reserved                 | This document |
         +---------+--------------------------+---------------+
         | 124-126 | Experimentation and Test | This document |
         +---------+--------------------------+---------------+
         | 127     | Reserved                 | This document |
         +---------+--------------------------+---------------+
         | 252-254 | Experimentation and Test | This document |
         +---------+--------------------------+---------------+
         | 255     | Reserved                 | This document |
         +---------+--------------------------+---------------+
             Table 3: Segment Routing Header TLVs Registry
  Values 1, 2, 3, and 6 were defined in draft versions of this
  specification and are Reserved for backwards compatibility with early
  implementations and should not be reassigned.  Values 127 and 255 are
  Reserved to allow for expansion of the Type field in future
  specifications, if needed.

9. References

9.1. Normative References

  [FIPS180-4]
             National Institute of Standards and Technology (NIST),
             "Secure Hash Standard (SHS)", FIPS PUB 180-4, DOI 10.6028/
             NIST.FIPS.180-4, August 2015,
             <http://csrc.nist.gov/publications/fips/fips180-4/fips-
             180-4.pdf>.
  [IANA-SRHTLV]
             IANA, "Segment Routing Header TLVs",
             <https://www.iana.org/assignments/ipv6-parameters/>.
  [RFC2104]  Krawczyk, H., Bellare, M., and R. Canetti, "HMAC: Keyed-
             Hashing for Message Authentication", RFC 2104,
             DOI 10.17487/RFC2104, February 1997,
             <https://www.rfc-editor.org/info/rfc2104>.
  [RFC2119]  Bradner, S., "Key words for use in RFCs to Indicate
             Requirement Levels", BCP 14, RFC 2119,
             DOI 10.17487/RFC2119, March 1997,
             <https://www.rfc-editor.org/info/rfc2119>.
  [RFC2473]  Conta, A. and S. Deering, "Generic Packet Tunneling in
             IPv6 Specification", RFC 2473, DOI 10.17487/RFC2473,
             December 1998, <https://www.rfc-editor.org/info/rfc2473>.
  [RFC2827]  Ferguson, P. and D. Senie, "Network Ingress Filtering:
             Defeating Denial of Service Attacks which employ IP Source
             Address Spoofing", BCP 38, RFC 2827, DOI 10.17487/RFC2827,
             May 2000, <https://www.rfc-editor.org/info/rfc2827>.
  [RFC3704]  Baker, F. and P. Savola, "Ingress Filtering for Multihomed
             Networks", BCP 84, RFC 3704, DOI 10.17487/RFC3704, March
             2004, <https://www.rfc-editor.org/info/rfc3704>.
  [RFC4107]  Bellovin, S. and R. Housley, "Guidelines for Cryptographic
             Key Management", BCP 107, RFC 4107, DOI 10.17487/RFC4107,
             June 2005, <https://www.rfc-editor.org/info/rfc4107>.
  [RFC4302]  Kent, S., "IP Authentication Header", RFC 4302,
             DOI 10.17487/RFC4302, December 2005,
             <https://www.rfc-editor.org/info/rfc4302>.
  [RFC5095]  Abley, J., Savola, P., and G. Neville-Neil, "Deprecation
             of Type 0 Routing Headers in IPv6", RFC 5095,
             DOI 10.17487/RFC5095, December 2007,
             <https://www.rfc-editor.org/info/rfc5095>.
  [RFC6407]  Weis, B., Rowles, S., and T. Hardjono, "The Group Domain
             of Interpretation", RFC 6407, DOI 10.17487/RFC6407,
             October 2011, <https://www.rfc-editor.org/info/rfc6407>.
  [RFC6437]  Amante, S., Carpenter, B., Jiang, S., and J. Rajahalme,
             "IPv6 Flow Label Specification", RFC 6437,
             DOI 10.17487/RFC6437, November 2011,
             <https://www.rfc-editor.org/info/rfc6437>.
  [RFC6438]  Carpenter, B. and S. Amante, "Using the IPv6 Flow Label
             for Equal Cost Multipath Routing and Link Aggregation in
             Tunnels", RFC 6438, DOI 10.17487/RFC6438, November 2011,
             <https://www.rfc-editor.org/info/rfc6438>.
  [RFC8174]  Leiba, B., "Ambiguity of Uppercase vs Lowercase in RFC
             2119 Key Words", BCP 14, RFC 8174, DOI 10.17487/RFC8174,
             May 2017, <https://www.rfc-editor.org/info/rfc8174>.
  [RFC8200]  Deering, S. and R. Hinden, "Internet Protocol, Version 6
             (IPv6) Specification", STD 86, RFC 8200,
             DOI 10.17487/RFC8200, July 2017,
             <https://www.rfc-editor.org/info/rfc8200>.
  [RFC8402]  Filsfils, C., Ed., Previdi, S., Ed., Ginsberg, L.,
             Decraene, B., Litkowski, S., and R. Shakir, "Segment
             Routing Architecture", RFC 8402, DOI 10.17487/RFC8402,
             July 2018, <https://www.rfc-editor.org/info/rfc8402>.

9.2. Informative References

  [INTAREA-TUNNELS]
             Touch, J. and M. Townsley, "IP Tunnels in the Internet
             Architecture", Work in Progress, Internet-Draft, draft-
             ietf-intarea-tunnels-10, 12 September 2019,
             <https://tools.ietf.org/html/draft-ietf-intarea-tunnels-
             10>.
  [RFC4443]  Conta, A., Deering, S., and M. Gupta, Ed., "Internet
             Control Message Protocol (ICMPv6) for the Internet
             Protocol Version 6 (IPv6) Specification", STD 89,
             RFC 4443, DOI 10.17487/RFC4443, March 2006,
             <https://www.rfc-editor.org/info/rfc4443>.
  [RFC5308]  Hopps, C., "Routing IPv6 with IS-IS", RFC 5308,
             DOI 10.17487/RFC5308, October 2008,
             <https://www.rfc-editor.org/info/rfc5308>.
  [RFC5340]  Coltun, R., Ferguson, D., Moy, J., and A. Lindem, "OSPF
             for IPv6", RFC 5340, DOI 10.17487/RFC5340, July 2008,
             <https://www.rfc-editor.org/info/rfc5340>.
  [RFC8126]  Cotton, M., Leiba, B., and T. Narten, "Guidelines for
             Writing an IANA Considerations Section in RFCs", BCP 26,
             RFC 8126, DOI 10.17487/RFC8126, June 2017,
             <https://www.rfc-editor.org/info/rfc8126>.
  [SRN]      Lebrun, D., Jadin, M., Clad, F., Filsfils, C., and O.
             Bonaventure, "Software Resolved Networks: Rethinking
             Enterprise Networks with IPv6 Segment Routing", 2018,
             <https://inl.info.ucl.ac.be/system/files/
             sosr18-final15-embedfonts.pdf>.

Acknowledgements

  The authors would like to thank Ole Troan, Bob Hinden, Ron Bonica,
  Fred Baker, Brian Carpenter, Alexandru Petrescu, Punit Kumar Jaiswal,
  David Lebrun, Benjamin Kaduk, Frank Xialiang, Mirja Kühlewind, Roman
  Danyliw, Joe Touch, and Magnus Westerlund for their comments to this
  document.

Contributors

  Kamran Raza, Zafar Ali, Brian Field, Daniel Bernier, Ida Leung, Jen
  Linkova, Ebben Aries, Tomoya Kosugi, Éric Vyncke, David Lebrun, Dirk
  Steinberg, Robert Raszuk, Dave Barach, John Brzozowski, Pierre
  Francois, Nagendra Kumar, Mark Townsley, Christian Martin, Roberta
  Maglione, James Connolly, and Aloys Augustin contributed to the
  content of this document.

Authors' Addresses

  Clarence Filsfils (editor)
  Cisco Systems, Inc.
  Brussels
  Belgium
  Email: [email protected]


  Darren Dukes (editor)
  Cisco Systems, Inc.
  Ottawa
  Canada
  Email: [email protected]


  Stefano Previdi
  Huawei
  Italy
  Email: [email protected]


  John Leddy
  Individual
  United States of America
  Email: [email protected]


  Satoru Matsushima
  SoftBank
  Email: [email protected]


  Daniel Voyer
  Bell Canada
  Email: [email protected]