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. MatsushimaSoftbankSoftBank 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.SourceSR Source Node 3.2. Transit Node 3.3. SR Segment Endpoint Node 4. Packet Processing 4.1.SourceSR 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.SourceSR 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. SegmentList[n]: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) andPADpadding TLVs (Section2.1.1) TLVs.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"registry TBD IANA Reference.[IANA-SRHTLV]. Unrecognized Types MUST be ignored on receipt. Length: The length of the variable-length data field in bytes. Variable-length data:Length bytes ofdata 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.PAD1Pad1 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 to5 Padding: Length octets5. The length ofpadding.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 anySDN-orientedSDN- 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:sourceSR 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.SourceSR Source Node AsourceSR 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 thesourceSRNodesource 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.SourceSR 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 setasto 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 localinterface,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).(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;(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><S1,S2,S3> with SegmentsLeft = SL. * Note the difference between the <> and () symbols.<S1, S2, S3><S1,S2,S3> represents a SID list where the leftmost segment is the first segment. In contrast,(S3, S2, S1;(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><S1,S2,S3> notation. When referring to an illustration of detailed behavior, the(S3, S2, S1;(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.SourceSR 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>.<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)(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)(A3,S4) without SRH. The packet is P5:(A3, S4)(A1, A2)(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>.<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)(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 summarizationimportant, and when the prefixes requiring filtering is kept to a seldom changing set.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 andTechnology, "FIPS 180-4 SecureTechnology (NIST), "Secure Hash Standard (SHS)",March 2012,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, Eric 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: cfilsfil@cisco.com Darren Dukes (editor) Cisco Systems, Inc. Ottawa Canada Email: ddukes@cisco.com Stefano Previdi Huawei Italy Email: stefano@previdi.net John Leddy Individual United States of America Email: john@leddy.net Satoru MatsushimaSoftbankSoftBank Email: satoru.matsushima@g.softbank.co.jp Daniel Voyer Bell Canada Email: daniel.voyer@bell.ca