<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.39 (Ruby 3.0.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-savnet-inter-domain-problem-statement-02" category="info" submissionType="IETF" xml:lang="en" version="3">
  <!-- xml2rfc v2v3 conversion 3.18.0 -->
  <front>
    <title abbrev="Inter-domain SAVNET Problem Statement">Source Address Validation in Inter-domain Networks Gap Analysis, Problem Statement, and Requirements</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-savnet-inter-domain-problem-statement-02"/>
    <author initials="J." surname="Wu" fullname="Jianping Wu">
      <organization>Tsinghua University</organization>
      <address>
        <postal>
          <city>Beijing</city>
          <country>China</country>
        </postal>
        <email>jianping@cernet.edu.cn</email>
      </address>
    </author>
    <author initials="D." surname="Li" fullname="Dan Li">
      <organization>Tsinghua University</organization>
      <address>
        <postal>
          <city>Beijing</city>
          <country>China</country>
        </postal>
        <email>tolidan@tsinghua.edu.cn</email>
      </address>
    </author>
    <author initials="L." surname="Liu" fullname="Libin Liu">
      <organization>Zhongguancun Laboratory</organization>
      <address>
        <postal>
          <city>Beijing</city>
          <country>China</country>
        </postal>
        <email>liulb@zgclab.edu.cn</email>
      </address>
    </author>
    <author initials="M." surname="Huang" fullname="Mingqing Huang">
      <organization>Huawei</organization>
      <address>
        <postal>
          <city>Beijing</city>
          <country>China</country>
        </postal>
        <email>huangmingqing@huawei.com</email>
      </address>
    </author>
    <author initials="K." surname="Sriram" fullname="Kotikalapudi Sriram">
      <organization abbrev="USA NIST">USA National Institute of Standards and Technology</organization>
      <address>
        <postal>
          <city>Gaithersburg</city>
          <region>MD</region>
          <country>United States of America</country>
        </postal>
        <email>ksriram@nist.gov</email>
      </address>
    </author>
    <date year="2023" month="August" day="22"/>
    <area>General [REPLACE]</area>
    <workgroup>Internet Engineering Task Force</workgroup>
    <abstract>
      <?line 98?>

<t>This document provides the gap analysis of existing inter-domain source address validation mechanisms, describes the fundamental problems, and defines the requirements for technical improvements.</t>
    </abstract>
  </front>
  <middle>
    <?line 102?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>Source address validation (SAV) is crucial for protecting networks from source address spoofing attacks. The MANRS initiative advocates deploying SAV as close to the source as possible <xref target="manrs"/>, and access networks are the first line of defense against source address spoofing. However, access networks face various challenges in deploying SAV mechanisms due to different network environments, router vendors, and operational preferences. Hence, it is not feasible to deploy SAV at every network edge. Additional SAV mechanisms are needed at other levels of the network to prevent source address spoofing along the forwarding paths of the spoofed packets. The Source Address Validation Architecture (SAVA) <xref target="RFC5210"/> proposes a multi-fence approach that implements SAV at three levels of the network: access, intra-domain, and inter-domain.</t>
      <t>If a spoofing packet is not blocked at the originating access network, intra-domain and inter-domain SAV mechanisms can help block the packet along the forwarding path of the packet. As analyzed in <xref target="intra-domain-ps"/>, intra-domain SAV for an AS can prevent a subnet of the AS from spoofing the addresses of other subnets as well as prevent incoming traffic to the AS from spoofing the addresses of the AS, without relying on the collaboration of other ASes. As complementary, in scenarios where intra-domain SAV cannot work, inter-domain SAV leverages the collaboration among ASes to help block incoming spoofing packets in an AS which spoof the source addresses of other ASes. It is noteworthy that scenarios where intra-domain SAV cannot work may consist of three cases: (1) the AS whose prefixes are being spoofed does not have intra-domain SAV deployed, (2) an AS requires the ASes near the spoofing attack source to filter the spoofed traffic, and (3) an AS whose source prefixes are spoofed may not be in the path of the spoofing traffic.</t>
      <t>This document provides an analysis of inter-domain SAV. <xref target="exp-inter-sav"/> illustrates an example for inter-domain SAV. P1 is the source prefix of AS 1, and AS 4 sends spoofing packets with P1 as source addresses to AS 3 through AS 2. Assume AS 4 does not deploy intra-domain SAV, these spoofing packets cannot be blocked by AS 4. Although AS 1 can deploy intra-domain SAV to block incoming packets which spoof the addresses of AS 1, these spoofing traffic from AS 4 to AS 3 do not go through AS 1, so they cannot be blocked by AS 1. Inter-domain SAV can help in this scenario. If AS 1 and AS 2 deploy inter-domain SAV, AS 2 knows the correct incoming interface of packets with P1 as source addresses, and the spoofing packets can thus be blocked by AS 2 since they come from the incorrect interface.</t>
      <figure anchor="exp-inter-sav">
        <name>An example for illustrating inter-domain SAV.</name>
        <artwork><![CDATA[
+------------+
|  AS 1(P1)  #
+------------+ \
                \            Spoofed Packets
              +-+#+--------+ with Source Addresses in P1 +------------+
              |    AS 2    #-----------------------------#    AS 4    |
              +-+#+--------+                             +------------+
                / 
+------------+ /
|    AS 3    #
+------------+
AS 4 sends spoofed packets with source addresses in P1 to AS 3 
through AS 2.
If AS 1 and AS 2 deploy inter-domain SAV, the spoofed packets 
can be blocked at AS 2.
]]></artwork>
      </figure>
      <t>There are many existing mechanisms for inter-domain SAV. This document analyzes them and attempts to answer: i) what are the technical gaps (<xref target="gap"/>), ii) what are the fundamental problems (<xref target="problem"/>), and iii) what are the practical requirements for the solution of these problems (<xref target="req"/>).</t>
      <section anchor="requirements-language">
        <name>Requirements Language</name>
        <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
        <?line -18?>

</section>
    </section>
    <section anchor="terminology">
      <name>Terminology</name>
      <dl newline="true">
        <dt>SAV Rule:</dt>
        <dd>
          <t>The rule that indicates the validity of a specific source IP address or source IP prefix.</t>
        </dd>
        <dt>Improper Block:</dt>
        <dd>
          <t>The validation results that the packets with legitimate source addresses are blocked improperly due to inaccurate SAV rules.</t>
        </dd>
        <dt>Improper Permit:</dt>
        <dd>
          <t>The validation results that the packets with spoofed source addresses  are permitted improperly due to inaccurate SAV rules.</t>
        </dd>
        <dt>Real forwading paths:</dt>
        <dd>
          <t>The paths that the legitimate traffic goes through in the data plane.</t>
        </dd>
      </dl>
    </section>
    <section anchor="existing-inter-domain-sav-mechanisms">
      <name>Existing Inter-domain SAV Mechanisms</name>
      <t>Inter-domain SAV is typically performed at the AS level and can be deployed at AS border routers (ASBRs) to prevent source address spoofing. There are various mechanisms available to implement inter-domain SAV for anti-spoofing ingress filtering <xref target="manrs"/> <xref target="isoc"/>, which are reviewed in this section.</t>
      <ul spacing="normal">
        <li>ACL-based ingress filtering <xref target="RFC2827"/> <xref target="RFC3704"/>: ACL-based ingress filtering is a technique that relies on ACL rules to filter packets based on their source addresses. It can be applied at provider interfaces, peer interfaces, or customer interfaces of an AS, and is recommended to deploy at provider interfaces or customer interfaces <xref target="manrs"/> <xref target="nist"/>. At the provider interfaces, ACL-based ingress filtering can block source prefixes that are clearly invalid in the inter-domain routing context, such as suballocated or internal-only prefixes of customer ASes <xref target="nist"/>. At the customer interfaces, ACL-based ingress filtering can prevent customer ASes from spoofing source addresses of other ASes that are not reachable via the provider AS. It can be implemented at border routers or aggregation routers if border ACLs are not feasible <xref target="manrs"/>. However, ACL-based ingress filtering introduces significant operational overhead, as ACL rules need to be updated in a timely manner to reflect prefix or routing changes in the inter-domain routing system, which requires manual configuration to avoid improper block or improper permit.</li>
        <li>
          <t>uRPF-based machanisms: A class of SAV mechanisms are based on Unicast Reverse Path Forwarding (uRPF) <xref target="RFC3704"/>. The core idea of uRPF for SAV is to exploit the symmetry of inter-domain routing: in many cases, the best next hop for a destination is also the best previous hop for the source. In other words, if a packet arrives from a certain interface, the source address of that packet should be reachable via the same interface, according to the FIB. However, symmetry in routing does not always holds in practice, and to address cases where it does not hold, many enhancements and modes of uRPF are proposed. Different modes of uRPF have different levels of strictness and flexibility, and network operators can choose from them to suit particular network scenarios. We describe these modes as follows:
          </t>
          <ul spacing="normal">
            <li>Strict uRPF <xref target="RFC3704"/>: Strict uRPF is the most stringent mode, and it only permits packets that have a source address that is covered by a prefix in the FIB, and that the next hop for that prefix is the same as the incoming interface. This mode is recommended for deployment at customer interfaces that directly connect to an AS with suballocated address space, as it can prevent spoofing attacks from that AS or its downstream ASes <xref target="nist"/>.</li>
            <li>Loose uRPF <xref target="RFC3704"/>: Loose uRPF verifies that the source address of the packet is routable in the Internet by matching it with one or more prefixes in the FIB, regardless of which interface the packet arrives at. If the source address is not routable, Loose uRPF discards the packet. Loose uRPF is typically deployed at the provider interfaces of an AS to block packets with source addresses that are obviously disallowed, such as non-global prefixes (e.g., private addresses, multicast addresses, etc.) or the prefixes that belong to the customer AS itself <xref target="nist"/>.</li>
            <li>FP-uRPF <xref target="RFC3704"/>: FP-uRPF maintains a reverse path forwarding (RPF) list, which contains the prefixes and all their permissible routes including the optimal and alternative ones. It permits an incoming packet only if the packet's source address is encompassed in the prefixes of the RPF list and its incoming interface is included in the permissible routes of the corresponding prefix. FP-uRPF is recommended to be deployed at customer interfaces or peer interfaces, especially those that are connected to multi-homed customer ASes <xref target="nist"/>.</li>
            <li>Virtual routing and forwarding (VRF) uRPF <xref target="RFC4364"/> <xref target="urpf"/>: VRF uRPF uses a separate VRF table for each external BGP peer. A VRF table is a table that contains the prefixes and the routes that are advertised by a specific peer. VRF uRPF checks the source address of an incoming packet from an external BGP peer against the VRF table for that peer. If the source address matches one of the prefixes in the VRF table, VRF uRPF allows the packet to pass. Otherwise, it drops the packet. VRF uRPF can also be used as a way to implement BCP38 <xref target="RFC2827"/>, which is a set of recommendations to prevent IP spoofing. However, the operational feasibility of VRF uRPF as BCP38 has not been proven <xref target="manrs"/>.</li>
            <li>EFP-uRPF <xref target="RFC8704"/>: EFP-uRPF consists of two algorithms, algorithm A and algorithm B. EFP-uRPF is based on the idea that an AS can receive BGP updates for multiple prefixes that have the same origin AS at different interfaces. For example, this can happen when the origin AS is multi-homed and advertises the same prefixes to different providers. In this case, EFP-uRPF allows an incoming packet with a source address in any of those prefixes to pass on any of those interfaces. This way, EFP-uRPF can handle asymmetric routing scenarios where the incoming and outgoing interfaces for a packet are different. EFP-uRPF has not been implemented in practical networks yet, but BCP84 <xref target="RFC3704"/> <xref target="RFC8704"/> suggests using EFP-uRPF with algorithm B at customer interfaces of an AS. EFP-uRPF can also be used at peer interfaces of an AS.</li>
          </ul>
        </li>
        <li>Source-based remote triggered black hole (RTBH) filtering <xref target="RFC5635"/>: Source-based RTBH filtering enables the targeted dropping of traffic by specifying particular source addresses or address ranges. Source-based RTBH filtering uses uRPF, usually Loose uRPF, to check the source address of an incoming packet against the FIB. If the source address of the packet does not match or is not covered by any prefix in the FIB, or if the route for that prefix points to a black hole (i.e., Null0), Loose uRPF discards the packet. This way, source-based RTBH filtering can filter out attack traffic at specific devices (e.g., ASBR) in an AS based on source addresses, and improve the security of the network.</li>
        <li>Carrier Grade NAT (CGN): CGN is a network technology used by service providers to translate between private and public IPv4 addresses within their network. CGN enables service providers to assign private IPv4 addresses to their customer ASes instead of public, globally unique IPv4 addresses. The private side of the CGN faces the customer ASes, and when an incoming packet is received from a customer AS, CGN checks its source address. If the source address is included in the address list of the CGN's private side, CGN performs address translation. Otherwise, it forwards the packet without translation. However, since CGN cannot determine whether the source address of an incoming packet is spoofed or not, additional SAV mechanisms need to be implemented to prevent source address spoofing <xref target="manrs"/>.</li>
        <li>BGP origin validation (BGP-OV) <xref target="RFC6811"/>: Attackers can bypass uRPF-based SAV mechanisms by using prefix hijacking in combination with source address spoofing. By announcing a less-specific prefix that does not have a legitimate announcement, the attacker can deceive existing uRPF-based SAV mechanisms and successfully perform address spoofing. To protect against this type of attack, a combination of BGP-OV and uRPF-based mechanisms like FP-uRPF or EFP-uRPF is recommended <xref target="nist"/>. BGP routers can use ROA information, which is a validated list of {prefix, maximum length, origin AS}, to mitigate the risk of prefix hijacks in advertised routes.</li>
      </ul>
    </section>
    <section anchor="gap">
      <name>Gap Analysis</name>
      <t>Inter-domain SAV is essential in preventing source address spoofing attacks across all AS interfaces, including those of customers, providers, and peers. An ideal inter-domain SAV mechanism <bcp14>SHOULD</bcp14> block all spoofing traffic while permitting legitimate traffic in all scenarios. However, in some cases, existing SAV mechanisms may unintentionally block legitimate traffic or permit spoofing traffic. This section aims to conduct a gap analysis of existing SAV mechanisms used in the corresponding interfaces of these scenarios to identify their technical limitations.</t>
      <section anchor="sav-at-customer-interfaces">
        <name>SAV at Customer Interfaces</name>
        <t>SAV is used at customer interfaces to validate traffic from the customer cone, including both legitimate traffic and spoofing traffic. To prevent the source address spoofing, operators can enable ACL-based ingress filtering, source-based RTBH filtering, and/or uRPF-based mechanisms at customer interfaces, namely Strict uRPF, FP-uRPF, VRF uRPF, or EFP-uRPF. However, uRPF-based mechanisms may cause improper block problems in two inter-domain scenarios: limited propagation of prefixes and hidden prefixes, or may cause improper permit problems in the scenarios of source address spoofing attacks within a customer cone, while ACL-based ingress filtering and source-based RTBH filtering need to update SAV rules in a timely manner and lead to high operational overhead. For brevity, we will analyze ACL-based ingress filtering and source-based RTBH filtering in detail using the concrete cases in <xref target="sav_at_p"/>.</t>
        <figure anchor="customer_gap">
          <name>The gaps of ACL-based ingress filtering, source-based RTBH filtering, Strict uRPF, FP-uRPF, VRF uRPF, and EFP-uRPF in the corrresponding scenarios.</name>
          <artwork><![CDATA[
+-------------------+------------+-----------+-------+--------+--------+
|Traffic & Scenarios|ACL & S/RTBH|Strict uRPF|FP-uRPF|VRF uRPF|EFP-uRPF|
+----------+--------+------------+-----------+-------+--------+--------+
|Legitimate|  LPP   |            |                                     |
|Traffic   +--------+            |            Improper Block           |
|          |   HP   |    High    |                                     |
+----------+--------+Operational +----------------------------+--------+
|Spoofing  |  RAC   |  Overhead  |                            |Improper|
|Traffic   +--------+            |   Functioning as Expected  |Permit  |
|          |  DAC   |            |                            |        |
+----------+--------+------------+----------------------------+--------+
S/RTBH: Source-based RTBH filtering.
"LPP" represents a class of scenario called limited propagation of 
prefixes. 
"HP" represents a calss of scenario called hidden prefixes.
"RAC" represents a class of scenario called reflection attacks by source 
address spoofing within a customer cone.
"DAC" represents a class of scenario called direct attacks by source 
address spoofing within a customer cone. 
"Functioning as Expected" represents the inter-domain SAV mechanism 
does not cause improper block for legitimate traffic or improper 
permit for spoofing traffic in the corresponding scenarios, and has 
low operational overhead.
]]></artwork>
        </figure>
        <t><xref target="customer_gap"/> provides an overview of the gaps associated with ACL-based ingress filtering, source-based RTBH filtering, Strict uRPF, FP-uRPF, VRF uRPF, and EFP-uRPF for SAV at customer interfaces in the corresponding scenarios. Both ACL-based ingress filtering and source-based RTBH filtering have high operational overhead as performing SAV at provider/peer interfaces. Strict uRPF, FP-uRPF, VRF uRPF, and EFP-uRPF, on the other hand, may incorrectly block legitimate traffic in the scenarios of limited propagation of prefixes or hidden prefixes. Furthermore, in scenarios of source address spoofing attacks within a customer cone, EFP-uRPF may inadvertently permit spoofing traffic.</t>
        <t>In the following, we analyze the gaps of Strict uRPF, FP-uRPF, VRF uRPF, and EFP-uRPF for SAV at customer interfaces in scenarios of limited propagation of prefixes and hidden prefixes, respectively.</t>
        <section anchor="limited-propagation-of-prefixes">
          <name>Limited Propagation of Prefixes</name>
          <t>In inter-domain networks, some prefixes may not be propagated to all domains due to various factors, such as NO_EXPORT or NO_ADVERTISE communities or other route filtering policies. This may cause asymmetric routing in the inter-domain context, which may lead to false positives when performing SAV with existing mechanisms. These mechanisms include EFP-uRPF, which we focus on in the following analysis, as well as Strict uRPF, FP-uRPF, and VRF uRPF. All these mechanisms suffer from the same problem of improper block in this scenario.</t>
          <figure anchor="no-export">
            <name>Limited propagation of prefixes caused by NO_EXPORT.</name>
            <artwork><![CDATA[
                          +----------------+
                          |    AS 3(P3)    |
                          +-+/\----+/\+----+
                             /       \
                            /         \ 
                           /           \
                          / (C2P)       \
                 +----------------+      \
                 |    AS 4(P4)    |       \
                 ++/\+--+/\+--+/\++        \
                   /     |      \           \
         P2[AS 2] /      |       \           \
                 /       |        \           \
                / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
+----------------+       |          \           \    
|    AS 2(P2)    |       | P1[AS 1]  \           \
+----------+/\+--+       | P6[AS 1]   \           \
             \           | NO_EXPORT   \           \
     P1[AS 1] \          |              \           \
     NO_EXPORT \         |               \           \
                \ (C2P)  | (C2P/P2P)(C2P) \     (C2P) \
              +----------------+        +----------------+
              |  AS 1(P1, P6)  |        |    AS 5(P5)    |
              +----------------+        +----------------+
]]></artwork>
          </figure>
          <t><xref target="no-export"/> presents a scenario where the limited propagation of prefixes occurs due to the NO_EXPORT community attribute. In this scenario, AS 1 is a customer of AS 2, AS 2 is a customer of AS 4, AS 4 is a customer of AS 3, and AS 5 is a customer of both AS 3 and AS 4. The relationship between AS 1 and AS 4 can be either customer-to-provider (C2P) or peer-to-peer (P2P). AS 1 advertises prefixes P1 to AS 2 and adds the NO_EXPORT community attribute to the BGP advertisement sent to AS 2, preventing AS 2 from further propagating the route for prefix P1 to AS 4. Similarly, AS 1 adds the NO_EXPORT community attribute to the BGP advertisement sent to AS 4, resulting in AS 4 not propagating the route for prefix P6 to AS 3. Consequently, AS 4 only learns the route for prefix P1 from AS 1 in this scenario. Suppose AS 1 and AS 4 have deployed inter-domain SAV while other ASes have not, and AS 4 has deployed EFP-uRPF at its customer interfaces.</t>
          <t>Assuming that AS 1 is the customer of AS 4, if AS 4 deploys EFP-uRPF with algorithm A at customer interfaces, it will require packets with source addresses in P1 to only arrive from AS 1. When AS 1 sends legitimate packets with source addresses in P1 to AS 4 through AS 2, AS 4 improperly blocks these packets. The same problem applies to Strict uRPF, FP-uRPF, and VRF uRPF. Although EFP-uRPF with algorithm B can avoid improper block in this case, network operators need to first determine whether limited prefix propagation exists before choosing the suitable EFP-uRPF algorithms, which adds more complexity and overhead to network operators. Furthermore, EFP-uRPF with algorithm B is not without its problems. For example, if AS 1 is the peer of AS 4, AS 4 will not learn the route of P1 from its customer interfaces. In such case, both EFP-uRPF with algorithm A and algorithm B have improper block problems.</t>
        </section>
        <section anchor="hidden-prefixes">
          <name>Hidden Prefixes</name>
          <t>Some servers' source addresses are not advertised through BGP to other ASes. These addresses are unknown to the inter-domain routing system and are called hidden prefixes. Legitimate traffic with these hidden prefixes may be dropped by existing inter-domain SAV mechanisms, such as Strict uRPF, FP-uRPF, VRF uRPF, or EFP-uRPF, because they do not match any known prefix.</t>
          <t>For example, Content Delivery Networks (CDN) use anycast <xref target="RFC4786"/> <xref target="RFC7094"/> to improve the quality of service by bringing content closer to users. An anycast IP address is assigned to devices in different locations, and incoming requests are routed to the closest location. Usually, only locations with multiple connectivity announce the anycast IP address through BGP. The CDN server receives requests from users and creates tunnels to the edge locations, where content is sent directly to users using direct server return (DSR). DSR requires servers in the edge locations to use the anycast IP address as the source address in response packets. However, these edge locations do not announce the anycast prefixes through BGP, so an intermediate AS with existing inter-domain SAV mechanisms may improperly block these response packets.</t>
          <figure anchor="dsr">
            <name>A Direct Server Return (DSR) scenario.</name>
            <artwork><![CDATA[
                                +----------------+
                Anycast Server+-+    AS 3(P3)    |
                                +-+/\----+/\+----+
                                   /       \
                         P3[AS 3] /         \ P3[AS 3]
                                 /           \
                                / (C2P)       \
                       +----------------+      \
                       |    AS 4(P4)    |       \
                       ++/\+--+/\+--+/\++        \
          P6[AS 1, AS 2] /     |      \           \
               P2[AS 2] /      |       \           \
                       /       |        \           \
                      / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
      +----------------+       |          \           \    
User+-+    AS 2(P2)    |       | P1[AS 1]  \           \
      +----------+/\+--+       | P6[AS 1]   \           \
          P6[AS 1] \           | NO_EXPORT   \           \
           P1[AS 1] \          |              \           \
           NO_EXPORT \         |               \           \
                      \ (C2P)  | (C2P)    (C2P) \     (C2P) \
                    +----------------+        +----------------+
       Edge Server+-+  AS 1(P1, P6)  |        |    AS 5(P5)    |
                    +----------------+        +----------------+
P3 is the anycast prefix and is only advertised by AS 3 through BGP.
]]></artwork>
          </figure>
          <t><xref target="dsr"/> illustrates a DSR scenario where the anycast IP prefix P3 is only advertised by AS 3 through BGP. In this example, AS 3 is the provider of AS 4 and AS 5, AS 4 is the provider of AS 1, AS 2, and AS 5, and AS 2 is the provider of AS 1. AS 1 and AS 4 have deployed inter-domain SAV, while other ASes have not. When users in AS 2 send requests to the anycast destination IP, the forwarding path is AS 2-&gt;AS 4-&gt;AS 3. The anycast servers in AS 3 receive the requests and tunnel them to the edge servers in AS 1. Finally, the edge servers send the content to the users with source addresses in prefix P3. The reverse forwarding path is AS 1-&gt;AS 4-&gt;AS 2. Since AS 4 does not receive routing information for prefix P3 from AS 1, EFP-uRPF with algorithm A/B, and all other existing uRPF-based mechanisms at the customer interface of AS 4 facing AS 1 will improperly block the legitimate response packets from AS 1.</t>
          <t>Moreover, it is worth mentioning that EFP-uRPF with algorithm A/B may also permit spoofing traffic improperly in scenarios where source address spoofing attacks within a customer cone occur. We provide illustrations of these scenarios in the following. The source address spoofing attacks within a customer cone include reflection attacks within a customer cone (<xref target="reflection_attack_customer"/>) and direct attacks within a customer cone (<xref target="direct_attack_customer"/>).</t>
        </section>
        <section anchor="reflection_attack_customer">
          <name>Reflection Attacks</name>
          <t><xref target="customer-reflection-attack"/> depicts the scenario of reflection attacks by source address spoofing within a customer cone and is used to analyze the gaps of uRPF-based mechanisms below.</t>
          <figure anchor="customer-reflection-attack">
            <name>A scenario of reflection attacks by source address spoofing within a customer cone.</name>
            <artwork><![CDATA[
                                        +----------------+
                                        |    AS 3(P3)    |
                                        +-+/\----+/\+----+
                                           /       \
                                          /         \ 
                                         /           \
                                        / (C2P)       \
                               +----------------+      \
                               |    AS 4(P4)    |       \
                               ++/\+--+/\+--+/\++        \
                  P6[AS 1, AS 2] /     |      \           \
                       P2[AS 2] /      |       \           \
                               /       |        \           \
                              / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
              +----------------+       |          \           \    
Attacker(P1')-+    AS 2(P2)    |       | P1[AS 1]  \           \
              +----------+/\+--+       | P6[AS 1]   \           \
                  P6[AS 1] \           | NO_EXPORT   \           \
                   P1[AS 1] \          |              \           \
                   NO_EXPORT \         |               \           \
                              \ (C2P)  | (C2P)    (C2P) \     (C2P) \ 
                          +----------------+          +----------------+
                  Victim+-+  AS 1(P1, P6)  |  Server+-+    AS 5(P5)    |
                          +----------------+          +----------------+
P1' is the spoofed source prefix P1 by the attacker which is inside of 
AS 2 or connected to AS 2 through other ASes.
]]></artwork>
          </figure>
          <t>In <xref target="customer-reflection-attack"/>, the reflection attack by source address spoofing takes place within AS 4's customer cone, where the attacker spoofs the victim's IP address (P1) and sends requests to servers' IP address (P5) that are designed to respond to such requests. As a result, the server sends overwhelming responses back to the victim, thereby exhausting its network resources. The arrows in <xref target="customer-reflection-attack"/> illustrate the commercial relationships between ASes. AS 3 serves as the provider for AS 4 and AS 5, while AS 4 acts as the provider for AS 1, AS 2, and AS 5. Additionally, AS 2 is the provider for AS 1. Suppose AS 1 and AS 4 have deployed inter-domain SAV, while the other ASes have not.</t>
          <t>If AS 4 deploys EFP-uRPF with algorithm A/B at its customer interfaces, it will allow packets with source addresses in P1 to originate from AS 1 and AS 2. Consequently, when AS 2 sends spoofing packets with source addresses in P1 to AS 4, AS 4 will improperly permit these packets, thus enabling the spoofing attacks to propagate.</t>
          <t>In scenarios like these, Strict uRPF, FP-uRPF, and VRF uRPF do not suffer from improper permit problems. This is because these mechanisms enforce strict filtering rules that ensure packets with source addresses in P1 are only allowed to arrive from AS 1.</t>
        </section>
        <section anchor="direct_attack_customer">
          <name>Direct Attacks</name>
          <t><xref target="customer-direct-attack"/> portrays a scenario of direct attacks by source address spoofing within a customer cone and is used to analyze the gaps of uRPF-based mechanisms below.</t>
          <figure anchor="customer-direct-attack">
            <name>A scenario of the direct attacks by source address spoofing within a customer cone.</name>
            <artwork><![CDATA[
                                        +----------------+
                                        |    AS 3(P3)    |
                                        +-+/\----+/\+----+
                                           /       \
                                          /         \ 
                                         /           \
                                        / (C2P)       \
                               +----------------+      \
                               |    AS 4(P4)    |       \
                               ++/\+--+/\+--+/\++        \
                  P6[AS 1, AS 2] /     |      \           \
                       P2[AS 2] /      |       \           \
                               /       |        \           \
                              / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
              +----------------+       |          \           \    
Attacker(P5')-+    AS 2(P2)    |       | P1[AS 1]  \           \
              +----------+/\+--+       | P6[AS 1]   \           \
                  P6[AS 1] \           | NO_EXPORT   \           \
                   P1[AS 1] \          |              \           \
                   NO_EXPORT \         |               \           \
                              \ (C2P)  | (C2P)    (C2P) \     (C2P) \
                            +----------------+        +----------------+
                    Victim+-+  AS 1(P1, P6)  |        |    AS 5(P5)    |
                            +----------------+        +----------------+
P5' is the spoofed source prefix P5 by the attacker which is inside of 
AS 2 or connected to AS 2 through other ASes.
]]></artwork>
          </figure>
          <t>In <xref target="customer-direct-attack"/>, the direct attack by source address spoofing takes place within AS 4's customer cone, where the attacker spoofs a source address (P5) and directly targets the victim's IP address (P1), overwhelming its network resources. The arrows in <xref target="customer-direct-attack"/> illustrate the commercial relationships between ASes. AS 3 serves as the provider for AS 4 and AS 5, while AS 4 acts as the provider for AS 1, AS 2, and AS 5. Additionally, AS 2 is the provider for AS 1. Suppose AS 1 and AS 4 have deployed inter-domain SAV, while the other ASes have not.</t>
          <t>If AS 4 deploys EFP-uRPF with algorithm A/B at its customer interfaces, it will allow packets with source addresses in P5 to originate from AS 1, AS 2, and AS 5. Consequently, when AS 2 sends spoofing packets with source addresses in P5 to AS 4, AS 4 will improperly permit these packets, thus enabling the spoofing attacks to propagate.</t>
          <t>In scenarios like these, Strict uRPF, FP-uRPF, and VRF uRPF do not suffer from improper permit problems. This is because these mechanisms enforce strict filtering rules that ensure packets with source addresses in P5 are only permitted to arrive from AS 5.</t>
        </section>
      </section>
      <section anchor="sav_at_p">
        <name>SAV at Provider/Peer Interfaces</name>
        <t>SAV is used at provider/peer interfaces to validate traffic entering the customer cone, including both legitimate and spoofing traffic. To prevent packets with spoofed source addresses from the provider/peer AS, ACL-based ingress filtering and/or Loose uRPF can be deployed <xref target="nist"/>. In addition, source-based RTBH filtering can be used to remotely configure SAV rules.</t>
        <figure anchor="provider_peer_gap">
          <name>The gaps of ACL-based ingress filtering, source-based RTBH filtering, and Loose uRPF in the corresponding scenarios.</name>
          <artwork><![CDATA[
+--------------------+------------+---------------+
|Traffic & Scenarios |ACL & S/RTBH|   Loose uRPF  |
+----------+---------+------------+---------------+
|Legitimate|   Any   |            |  Functioning  |
|Traffic   |Scenarios|    High    |  as Expected  |
+----------+---------+Operational +---------------+
|Spoofing  |   RAP   |  Overhead  |               |
|Traffic   +---------+            |Improper Permit|
|          |   DAP   |            |               |
+----------+---------+------------+---------------+
S/RTBH: Source-based RTBH filtering.
"RAP" represents a class of scenario called reflection attacks by 
source address spoofing from provider/peer AS. 
"DAP" represents a class of scenario called direct attacks by source 
address spoofing from provider/peer AS.
"Functioning as Expected" represents the inter-domain SAV mechanism 
does not cause improper block for legitimate traffic or improper 
permit for spoofing traffic in the corresponding scenarios, and has 
low operational overhead.
]]></artwork>
        </figure>
        <t><xref target="provider_peer_gap"/> summarizes the gaps of ACL-based ingress filtering, source-based RTBH filtering, and Loose uRPF for SAV at provider/peer interfaces in the corresponding scenarios. ACL-based ingress filtering and source-based RTBH filtering effectively block spoofing traffic from the reflection attacks or direct attacks originating from provider/peer AS, while appropriately allowing legitimate traffic. However, these methods may come with a high operational overhead. On the other hand, Loose uRPF correctly permits legitimate traffic, but it can also mistakenly allow spoofing traffic to pass through.</t>
        <t>In the following, we expose the limitations of ACL-based ingress filtering, source-based RTBH filtering, and Loose uRPF for SAV at provider/peer interfaces in scenarios of source address spoofing attacks from provider/peer AS. The source address spoofing attacks from provider/peer AS include reflection attacks from provider/peer AS (<xref target="reflect_attack_p"/>) and direct attacks from provider/peer AS (<xref target="direct_attack_p"/>).</t>
        <section anchor="reflect_attack_p">
          <name>Reflection Attacks</name>
          <t><xref target="reflection-attack-p"/> depicts the scenario of reflection attacks by source address spoofing from provider/peer AS and is used to analyze the gaps of ACL-based ingress filtering, source-based RTBH filtering, and Loose uRPF below.</t>
          <figure anchor="reflection-attack-p">
            <name>A scenario of reflection attacks by source address spoofing from provider/peer AS.</name>
            <artwork><![CDATA[
                                  +----------------+
                   Attacker(P1')+-+    AS 3(P3)    |
                                  +-+/\----+/\+----+
                                     /       \
                                    /         \ 
                                   /           \
                                  / (C2P/P2P)   \
                         +----------------+      \
                         |    AS 4(P4)    |       \
                         ++/\+--+/\+--+/\++        \
            P6[AS 1, AS 2] /     |      \           \
                 P2[AS 2] /      |       \           \
                         /       |        \           \
                        / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
        +----------------+       |          \           \    
Server+-+    AS 2(P2)    |       | P1[AS 1]  \           \
        +----------+/\+--+       | P6[AS 1]   \           \
            P6[AS 1] \           | NO_EXPORT   \           \
             P1[AS 1] \          |              \           \
             NO_EXPORT \         |               \           \
                        \ (C2P)  | (C2P)    (C2P) \     (C2P) \
                      +----------------+        +----------------+
              Victim+-+  AS 1(P1, P6)  |        |    AS 5(P5)    |
                      +----------------+        +----------------+
P1' is the spoofed source prefix P1 by the attacker which is inside of 
AS 3 or connected to AS 3 through other ASes.
]]></artwork>
          </figure>
          <t>In the case of <xref target="reflection-attack-p"/>, the attacker spoofs the victim's IP address (P1) and sends requests to servers' IP address (P2) that respond to such requests. The servers then send overwhelming responses back to the victim, exhausting its network resources. The arrows in <xref target="reflection-attack-p"/> represent the commercial relationships between ASes. AS 3 acts as the provider or lateral peer of AS 4 and the provider for AS 5, while AS 4 serves as the provider for AS 1, AS 2, and AS 5. Additionally, AS 2 is the provider for AS 1. Suppose AS 1 and AS 4 have deployed inter-domain SAV, while the other ASes have not.</t>
          <t>By applying ACL-based ingress filtering at the provider/peer interface of AS 4, the ACL rules can block any packets with spoofed source addresses from AS 3 in P1, effectively preventing reflection attacks. However, this approach incurs heavy operational overhead, as it requires network operators to update the ACL rules promptly based on changes in prefixes or topology of AS 1 and AS 2. Otherwise, it may cause improper block of legitimate traffic or improper permit of spoofing traffic.</t>
          <t>Source-based RTBH filtering allows for the deployment of SAV rules on AS 1 and AS 4 remotely. However, in order to avoid improper block or improper permit, the specified source addresses need to be updated in a timely manner, which incurs additional operational overhead.</t>
          <t>Loose uRPF can greatly reduce the operational overhead because it uses the local FIB as information source, and can adapt to changes in the network. However, it can improperly permit spoofed packets. In <xref target="reflection-attack-p"/>, Loose uRPF is enabled at AS 4's provider/peer interface, while EFP-uRPF is enabled at AS 4's customer interfaces, following <xref target="RFC3704"/>. An attacker inside AS 3 or connected to it through other ASes may send packets with source addresses spoofing P1 to a server in AS 2 to attack the victim in AS 1. As AS 3 lacks deployment of inter-domain SAV, the attack packets will reach AS 4's provider/peer interface. With Loose uRPF, AS 4 cannot block the reflection attack packets at its provider/peer interface, and thus resulting in improper permit.</t>
        </section>
        <section anchor="direct_attack_p">
          <name>Direct Attacks</name>
          <t>Conversely, <xref target="direct-attack-p"/> showcases a scenario of direct attack by source address spoofing from provider/peer AS and is used to analyze the gaps of ACL-based ingress filtering, source-based RTBH filtering, and Loose uRPF below.</t>
          <figure anchor="direct-attack-p">
            <name>A scenario of direct attacks by source address spoofing from provider/peer AS.</name>
            <artwork><![CDATA[
                          +----------------+
           Attacker(P2')+-+    AS 3(P3)    |
                          +-+/\----+/\+----+
                             /       \
                            /         \ 
                           /           \
                          / (C2P/P2P)   \
                 +----------------+      \
                 |    AS 4(P4)    |       \
                 ++/\+--+/\+--+/\++        \
    P6[AS 1, AS 2] /     |      \           \
         P2[AS 2] /      |       \           \
                 /       |        \           \
                / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
+----------------+       |          \           \    
|    AS 2(P2)    |       | P1[AS 1]  \           \
+----------+/\+--+       | P6[AS 1]   \           \
    P6[AS 1] \           | NO_EXPORT   \           \
     P1[AS 1] \          |              \           \
     NO_EXPORT \         |               \           \
                \ (C2P)  | (C2P)    (C2P) \     (C2P) \
              +----------------+        +----------------+
      Victim+-+  AS 1(P1, P6)  |        |    AS 5(P5)    |
              +----------------+        +----------------+
P2' is the spoofed source prefix P2 by the attacker which is inside of 
AS 3 or connected to AS 3 through other ASes.
]]></artwork>
          </figure>
          <t>In the case of <xref target="direct-attack-p"/>, the attacker spoofs another source address (P2) and directly targets the victim's IP address (P1), overwhelming its network resources. The arrows in <xref target="direct-attack-p"/> represent the commercial relationships between ASes. AS 3 acts as the provider or lateral peer of AS 4 and the provider for AS 5, while AS 4 serves as the provider for AS 1, AS 2, and AS 5. Additionally, AS 2 is the provider for AS 1. Suppose AS 1 and AS 4 have deployed inter-domain SAV, while the other ASes have not.</t>
          <t>Similar to the scenario of reflection attacks by source address spoofing depicted in <xref target="reflection-attack-p"/>, both ACL-based ingress filtering and Source-based RTBH filtering have high operational overhead for the scenario of direct attacks by source address spoofing from provider/peer AS shown in <xref target="direct-attack-p"/>. Otherwise, they may cause improper block of legitimate traffic or improper permit of spoofing traffic.</t>
          <t>Also, Loose uRPF can improperly permit spoofed packets. In <xref target="direct-attack-p"/>, Loose uRPF is enabled at AS 4's provider/peer interface, while EFP-uRPF is enabled at AS 4's customer interfaces, following <xref target="RFC3704"/>. An attacker inside AS 3 or connected to it through other ASes may send packets with source addresses spoofing P2 and destimation addresses in P1 to directly attack the victim in AS 1. As AS 3 lacks deployment of inter-domain SAV, the attack packets will reach AS 4's provider/peer interface. With Loose uRPF, AS 4 cannot block the direct attack packets at its provider/peer interface, and thus resulting in improper permit.</t>
        </section>
      </section>
    </section>
    <section anchor="problem">
      <name>Problem Statement</name>
      <figure anchor="problem_sum">
        <name>The scenarios where existing inter-domain SAV mechanisms may have improper block problem for legitimate traffic, improper permit problem for spoofing traffic, or high operational overhead.</name>
        <artwork><![CDATA[
+--------+----------+---------+----------+-------+--------+----------+
|Problems|    ACL   |  Strict |  Loose   |FP-uRPF|VRF uRPF|EFP-uRPF  |
|        | & S/RTBH |  uRPF   |  uRPF    |       |        |          |
+--------+----------+---------+----------+-------+--------+----------+
|Improper|Not Exist |  Exist  |Not Exist |           Exist           |
|Block   |          |(LPP, HP)|          |         (LPP, HP)         |
+--------+----------+---------+----------+-------+--------+----------+
|Improper|      Not Exist     |  Exist   |    Not Exist   |  Exist   |
|Permit  |                    |(RAP, DAP)|                |(RAC, DAC)|
+--------+----------+---------+----------+-------+--------+----------+
|        |   Exist  |                                                |
|  HOO   |   (Any   |                    Not Exist                   |
|        |Scenarios)|                                                |
+--------+----------+------------------------------------------------+
S/RTBH: Source-based RTBH filtering, HOO: High Operational Overhead.
"LPP" represents a class of scenario called limited propagation of 
prefixes. 
"HP" represents a class of scenario called hidden prefixes.
"RAP" represents a class of scenario called reflection attacks by 
source address spoofing from provider/peer AS. 
"DAP" represents a class of scenario called direct attacks by source 
address spoofing from provider/peer AS.
"RAC" represents a class of scenario called reflection attacks by 
source address spoofing within a customer cone.
"DAC" represents a class of scenario called direct attacks by source 
address spoofing within a customer cone.
]]></artwork>
      </figure>
      <t>Based on the analysis above, we conclude that existing inter-domain SAV mechanisms exhibit limitations in asymmetric routing scenarios, leading to potential issues of improper block or improper permit. Additionally, these mechanisms can result in high operational overhead, especially when network routing undergoes dynamic changes. <xref target="problem_sum"/> provides a comprehensive summary of scenarios where existing inter-domain SAV mechanisms may encounter issues, including instances of improper blocking of legitimate traffic, improper permitting of spoofing traffic, or high operational overhead.</t>
      <t>For ACL-based ingress filtering, network operators need to manually update ACL rules to adapt to network changes. Otherwise, they may cause improper block or improper permit issues. Manual updates induce high operational overhead, especially in networks with frequent policy and route changes. Source-based RTBH filtering has the similar problem as ACL-based ingress filtering.</t>
      <t>Strict uRPF and Loose uRPF are automatic SAV mechanisms, thus they do not need any manual effort to adapt to network changes. However, they have issues in scenarios with asymmetric routing. Strict uRPF may cause improper block problems when an AS is multi-homed and routes are not symmetrically announced to all its providers. This is because the local FIB may not include the asymmetric routes of the legitimate packets, and Strict uRPF only uses the local FIB to check the source addresses and incoming interfaces of packets. Loose uRPF may cause improper permit problems and fail to prevent source address spoofing. This is because it is oblivious to the incoming interfaces of packets.</t>
      <t>FP-uRPF and VRF uRPF improve Strict uRPF in multi-homing scenarios. However, they still have improper block issues in asymmetric routing scenarios. For example, they may not handle the cases of limited propagation of prefixes. These mechanisms use the local RIB to learn the source prefixes and their valid incoming interfaces. But the RIB may not have all the prefixes with limited propagation and their permissible incoming interfaces.</t>
      <t>EFP-uRPF allows the prefixes from the same customer cone at all customer interfaces. This solves the improper block problems of FP-uRPF and VRF uRPF in multi-homing scenarios. However, this approach also compromises partial protection against spoofing from the customer cone. EFP-uRPF may still have improper block problems when it does not learn legitimate source prefixes. For example, hidden prefixes are not learned by EFP-uRPF.</t>
      <t>Finally, existing inter-domain SAV mechanisms cannot work in all directions (i.e. interfaces) of ASes to achieve effective SAV. Network operators need to carefully analyze the network environment and choose approapriate SAV mechansim for each interface. This leads to additional operational and cognitive overhead, which can hinder the rate of adoption of inter-domain SAV.</t>
    </section>
    <section anchor="req">
      <name>Requirements for New Inter-domain SAV Mechanisms</name>
      <t>This section lists the requirements which can help bridge the technical gaps of existing inter-domain SAV mechanisms. These requirements serve as practical guidelines that can be met, in part or in full, by proposing new techniques.</t>
      <section anchor="accurate-validation">
        <name>Accurate Validation</name>
        <t>The new inter-domain SAV mechanism <bcp14>SHOULD</bcp14> improve the validation accuracy in all directions of ASes over existing inter-domain SAV mechanisms, while working in incremental/partial deployment.</t>
        <section anchor="improving-validation-accuracy-over-existing-mechanisms">
          <name>Improving Validation Accuracy over Existing Mechanisms</name>
          <t>It <bcp14>SHOULD</bcp14> avoid improper block and permit less spoofed traffic than existing inter-domain SAV mechanisms. To avoid improper block, ASes that deploy the new inter-domain SAV mechanism <bcp14>SHOULD</bcp14> be able to acquire all the real data-plane forwarding paths, which are the paths that the legitimate traffic goes through in the data plane.</t>
          <t>However, it may be hard to learn the real forwarding paths of prefixes exactly under some scenarios, such as asymmetric routing and DSR. For such scenarios, it is crucial to minimize the set of acceptable paths while ensuring the inclusion of all real forwarding paths, thereby preventing improper block and minimizing improper permit. Note that the acceptable paths are all the possible paths that the legitimate traffic may go through in the data plane, cover all the links at each level of customer-provider hierarchy, and <bcp14>MUST</bcp14> include all the real forwarding paths. Reducing the set of acceptable paths means eliminating the paths that are not the real forwarding paths of the prefixes from the set.</t>
          <figure anchor="accurate_validation">
            <name>An example to illustrate accurate validation in all directions of an AS.</name>
            <artwork><![CDATA[
                          +----------------+
                          |    AS 3(P3)    |
                          +-+/\----+/\+----+
                             /       \
                            /         \ 
                           /           \
                          / (C2P)       \
                 +----------------+      \
                 |    AS 4(P4)    |       \
                 ++/\+--+/\+--+/\++        \
    P6[AS 1, AS 2] /     |      \           \
         P2[AS 2] /      |       \           \
                 /       |        \           \
                / (C2P)  |         \ P5[AS 5]  \ P5[AS 5]
+----------------+       |          \           \    
|    AS 2(P2)    |       | P1[AS 1]  \           \
+----------+/\+--+       | P6[AS 1]   \           \
    P6[AS 1] \           | NO_EXPORT   \           \
     P1[AS 1] \          |              \           \
     NO_EXPORT \         |               \           \
                \ (C2P)  | (C2P)    (C2P) \     (C2P) \
              +----------------+        +----------------+
              |  AS 1(P1, P6)  |        |    AS 5(P5)    |
              +----------------+        +----------------+
]]></artwork>
          </figure>
          <t>Multiple sources of SAV-related information, such as RPKI ROA objects, ASPA objects, and SAV-specific information from other ASes, can assist in reducing the set of acceptable paths. <xref target="accurate_validation"/> is used as an example to illustrate how to avoid improper block and minimize improper permit in all directions of an AS based on different SAV information sources. AS 3 is the provider of AS 4 and AS 5, while AS 4 is the provider of AS 1, AS 2, and AS 5, and AS 2 is the provider of AS 1. Assuming prefixes P1, P2, P3, P4, P5, and P6 are all the prefixes in the network. Inter-domain SAV has been deployed by AS 1 and AS 4, but not by other ASes. Here, the focus is on how to conduct SAV in all directions of AS 4 when different SAV information sources are used.</t>
          <t>Additionally, since the source prefix ranges of the traffic entering the customer cone of AS 4 are not fully learned in the partial deployment scenario, SAV at provider/peer interfaces can use a block list. For example, as shown in <xref target="accurate_validation"/>, the traffic with source addresses in P5 may come from AS 5 or AS 3. In contrast, SAV at customer interfaces for traffic going out of the customer cone can use a permit list to allow the known prefixes of the customer cone at the corresponding customer interfaces and other unknown prefixes at all the customer interfaces.</t>
          <t>The followings show how to generate SAV rules based on the SAV-related information from different SAV information sources to avoid improper block and reduce as much improper permit as possible.</t>
          <ul spacing="normal">
            <li>If only the RIB is available, AS 4 can conduct SAV towards its neighboring ASes as follows like <xref target="RFC8704"/>: SAV towards AS 1 permits the prefixes P1 and P6, SAV towards AS 2 permits the prefixes P1, P2, and P6, SAV towards AS 5 permits the prefix P5, and SAV towards AS 3 does not block any prefix.</li>
            <li>When both RPKI ROA and ASPA are deployed by AS 1 and AS 4, AS 4 can conduct SAV towards its neighboring ASes as follows like <xref target="bar-sav"/>: SAV towards AS 1 permits the prefixes P1 and P6, SAV towards AS 2 permits the prefixes P1, P2, and P6, SAV towards AS 5 permits the prefix P5, and SAV towards AS 3 blocks the prefixes P1, P2, and P6.</li>
            <li>Moreover, if SAV-specific information that exactly contains all the real data-plane forwarding paths of prefixes is accessible, SAV rules can be refined. AS 4 can conduct SAV towards its neighboring ASes as follows: SAV towards AS 1 permits only P1. SAV towards AS 2 permits the prefixes P2 and P6, while SAV towards AS 5 permits the prefix P5 and SAV towards AS 3 blocks the prefixes P1, P2, and P6.</li>
          </ul>
          <t>It is evident that, in a partial deployment scenario, more accurate SAV-related information can effectively achieve 0% improper block and significantly minimize improper permit.</t>
        </section>
        <section anchor="working-in-incrementalpartial-deployment">
          <name>Working in Incremental/Partial Deployment</name>
          <t>The new inter-domain SAV mechanism <bcp14>SHOULD NOT</bcp14> assume pervasive adoption and <bcp14>SHOULD</bcp14> provide effective protection for source addresses when it is partially deployed in the Internet. Not all AS border routers can support the new SAV mechanism at once, due to various constraints such as capabilities, versions, or vendors. The new SAV mechanism should not be less effective in protecting all directions of ASes under partial deployment than existing mechanisms.</t>
        </section>
        <section anchor="achieving-efficient-convergence">
          <name>Achieving Efficient Convergence</name>
          <t>The new inter-domain SAV mechanism <bcp14>SHOULD</bcp14> promptly detect the network changes and launch the convergence process quickly. It is essential that the new SAV mechanism converges towards accurate SAV rules in a proper manner, effectively reducing improper block and improper permit throughout the convergence process.</t>
        </section>
      </section>
      <section anchor="automatic-update">
        <name>Automatic Update</name>
        <t>The new inter-domain SAV mechanism <bcp14>SHOULD</bcp14> update SAV rules and detect the changes of SAV-specific information automatically, while communicating SAV-specific information between ASes promptly.</t>
        <section anchor="reducing-operational-overhead">
          <name>Reducing Operational Overhead</name>
          <t>The new inter-domain SAV mechanism <bcp14>MUST</bcp14> be able to adapt to dynamic networks and asymmetric routing scenarios automatically, instead of relying on manual update. At least, it <bcp14>SHOULD</bcp14> have less operational overhead than ACL-based ingress filtering and Source-based RTBH filtering.</t>
        </section>
        <section anchor="communicating-sav-specific-information-between-ases">
          <name>Communicating SAV-specific Information between ASes</name>
          <t>Effective communication of SAV-specific information, comprising prefixes and their legitimate incoming interfaces, is essential for the new inter-domain SAV mechanism. To achieve this, an approach needs to be developed, enabling active and automatic exchange of this crucial information. This approach will define the specific details to be communicated between ASes, the appropriate data structure or format for communicating the information, and the corresponding communication mechanism.</t>
          <t>Moreover, the communication approach for exchanging SAV-specific information between ASes <bcp14>SHOULD</bcp14> secure the communicated information and prevent malicious ASes from generating incorrect or forged information.</t>
        </section>
      </section>
    </section>
    <section anchor="inter-domain-sav-scope">
      <name>Inter-domain SAV Scope</name>
      <t>The new inter-domain SAV mechanism should work in the same scenarios as existing inter-domain SAV mechanisms. Generally, it includes all IP-encapsulated scenarios:</t>
      <ul spacing="normal">
        <li>Native IP forwarding: This includes both global routing table forwarding and CE site forwarding of VPN.</li>
        <li>IP-encapsulated Tunnel (IPsec, GRE, SRv6, etc.): In this scenario, we focus on the validation of the outer layer IP address.</li>
        <li>Both IPv4 and IPv6 addresses.</li>
      </ul>
      <t>Scope does not include:</t>
      <ul spacing="normal">
        <li>Non-IP packets: This includes MPLS label-based forwarding and other non-IP-based forwarding.</li>
      </ul>
      <t>In addition, the new inter-domain SAV mechanism should not modify data-plane packets. Existing architectures or protocols or mechanisms can be inherited by the new SAV mechanism to achieve better SAV effectiveness.</t>
    </section>
    <section anchor="Security">
      <name>Security Considerations</name>
      <t>SAV rules can be generated based on route information (FIB/RIB) or non-route information. If the information is poisoned by attackers, the SAV rules will be false. Legitimate packets may be dropped improperly or malicious traffic with spoofed source addresses may be permitted improperly. Route security should be considered by routing protocols. Non-route information, such as ASPA, should also be protected by corresponding mechanisms or infrastructure. If SAV mechanisms or protocols require information exchange, there should be some considerations on the avoidance of message alteration or message injection.</t>
      <t>The SAV procedure referred in this document modifies no field of packets. So, security considerations on data-plane are not in the scope of this document.</t>
    </section>
    <section anchor="IANA">
      <name>IANA Considerations</name>
      <t>This document does not request any IANA allocations.</t>
    </section>
    <section anchor="contributors">
      <name>Contributors</name>
      <t>Lancheng Qin<br/>
  Tsinghua University<br/>
  Beijing,
  China <br/>
  Email: qlc19@mails.tsinghua.edu.cn</t>
      <t>Nan Geng<br/>
  Huawei<br/>
  Beijing,
  China <br/>
  Email: gengnan@huawei.com</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="RFC8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
        <reference anchor="RFC2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC3704">
          <front>
            <title>Ingress Filtering for Multihomed Networks</title>
            <author fullname="F. Baker" initials="F." surname="Baker"/>
            <author fullname="P. Savola" initials="P." surname="Savola"/>
            <date month="March" year="2004"/>
            <abstract>
              <t>BCP 38, RFC 2827, is designed to limit the impact of distributed denial of service attacks, by denying traffic with spoofed addresses access to the network, and to help ensure that traffic is traceable to its correct source network. As a side effect of protecting the Internet against such attacks, the network implementing the solution also protects itself from this and other attacks, such as spoofed management access to networking equipment. There are cases when this may create problems, e.g., with multihoming. This document describes the current ingress filtering operational mechanisms, examines generic issues related to ingress filtering, and delves into the effects on multihoming in particular. This memo updates RFC 2827. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="84"/>
          <seriesInfo name="RFC" value="3704"/>
          <seriesInfo name="DOI" value="10.17487/RFC3704"/>
        </reference>
        <reference anchor="RFC8704">
          <front>
            <title>Enhanced Feasible-Path Unicast Reverse Path Forwarding</title>
            <author fullname="K. Sriram" initials="K." surname="Sriram"/>
            <author fullname="D. Montgomery" initials="D." surname="Montgomery"/>
            <author fullname="J. Haas" initials="J." surname="Haas"/>
            <date month="February" year="2020"/>
            <abstract>
              <t>This document identifies a need for and proposes improvement of the unicast Reverse Path Forwarding (uRPF) techniques (see RFC 3704) for detection and mitigation of source address spoofing (see BCP 38). Strict uRPF is inflexible about directionality, the loose uRPF is oblivious to directionality, and the current feasible-path uRPF attempts to strike a balance between the two (see RFC 3704). However, as shown in this document, the existing feasible-path uRPF still has shortcomings. This document describes enhanced feasible-path uRPF (EFP-uRPF) techniques that are more flexible (in a meaningful way) about directionality than the feasible-path uRPF (RFC 3704). The proposed EFP-uRPF methods aim to significantly reduce false positives regarding invalid detection in source address validation (SAV). Hence, they can potentially alleviate ISPs' concerns about the possibility of disrupting service for their customers and encourage greater deployment of uRPF techniques. This document updates RFC 3704.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="84"/>
          <seriesInfo name="RFC" value="8704"/>
          <seriesInfo name="DOI" value="10.17487/RFC8704"/>
        </reference>
        <reference anchor="RFC2827">
          <front>
            <title>Network Ingress Filtering: Defeating Denial of Service Attacks which employ IP Source Address Spoofing</title>
            <author fullname="P. Ferguson" initials="P." surname="Ferguson"/>
            <author fullname="D. Senie" initials="D." surname="Senie"/>
            <date month="May" year="2000"/>
            <abstract>
              <t>This paper discusses a simple, effective, and straightforward method for using ingress traffic filtering to prohibit DoS (Denial of Service) attacks which use forged IP addresses to be propagated from 'behind' an Internet Service Provider's (ISP) aggregation point. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="38"/>
          <seriesInfo name="RFC" value="2827"/>
          <seriesInfo name="DOI" value="10.17487/RFC2827"/>
        </reference>
        <reference anchor="RFC5210">
          <front>
            <title>A Source Address Validation Architecture (SAVA) Testbed and Deployment Experience</title>
            <author fullname="J. Wu" initials="J." surname="Wu"/>
            <author fullname="J. Bi" initials="J." surname="Bi"/>
            <author fullname="X. Li" initials="X." surname="Li"/>
            <author fullname="G. Ren" initials="G." surname="Ren"/>
            <author fullname="K. Xu" initials="K." surname="Xu"/>
            <author fullname="M. Williams" initials="M." surname="Williams"/>
            <date month="June" year="2008"/>
            <abstract>
              <t>Because the Internet forwards packets according to the IP destination address, packet forwarding typically takes place without inspection of the source address and malicious attacks have been launched using spoofed source addresses. In an effort to enhance the Internet with IP source address validation, a prototype implementation of the IP Source Address Validation Architecture (SAVA) was created and an evaluation was conducted on an IPv6 network. This document reports on the prototype implementation and the test results, as well as the lessons and insights gained from experimentation. This memo defines an Experimental Protocol for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5210"/>
          <seriesInfo name="DOI" value="10.17487/RFC5210"/>
        </reference>
        <reference anchor="RFC4364">
          <front>
            <title>BGP/MPLS IP Virtual Private Networks (VPNs)</title>
            <author fullname="E. Rosen" initials="E." surname="Rosen"/>
            <author fullname="Y. Rekhter" initials="Y." surname="Rekhter"/>
            <date month="February" year="2006"/>
            <abstract>
              <t>This document describes a method by which a Service Provider may use an IP backbone to provide IP Virtual Private Networks (VPNs) for its customers. This method uses a "peer model", in which the customers' edge routers (CE routers) send their routes to the Service Provider's edge routers (PE routers); there is no "overlay" visible to the customer's routing algorithm, and CE routers at different sites do not peer with each other. Data packets are tunneled through the backbone, so that the core routers do not need to know the VPN routes. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="4364"/>
          <seriesInfo name="DOI" value="10.17487/RFC4364"/>
        </reference>
        <reference anchor="RFC5635">
          <front>
            <title>Remote Triggered Black Hole Filtering with Unicast Reverse Path Forwarding (uRPF)</title>
            <author fullname="W. Kumari" initials="W." surname="Kumari"/>
            <author fullname="D. McPherson" initials="D." surname="McPherson"/>
            <date month="August" year="2009"/>
            <abstract>
              <t>Remote Triggered Black Hole (RTBH) filtering is a popular and effective technique for the mitigation of denial-of-service attacks. This document expands upon destination-based RTBH filtering by outlining a method to enable filtering by source address as well. This memo provides information for the Internet community.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5635"/>
          <seriesInfo name="DOI" value="10.17487/RFC5635"/>
        </reference>
        <reference anchor="RFC6811">
          <front>
            <title>BGP Prefix Origin Validation</title>
            <author fullname="P. Mohapatra" initials="P." surname="Mohapatra"/>
            <author fullname="J. Scudder" initials="J." surname="Scudder"/>
            <author fullname="D. Ward" initials="D." surname="Ward"/>
            <author fullname="R. Bush" initials="R." surname="Bush"/>
            <author fullname="R. Austein" initials="R." surname="Austein"/>
            <date month="January" year="2013"/>
            <abstract>
              <t>To help reduce well-known threats against BGP including prefix mis- announcing and monkey-in-the-middle attacks, one of the security requirements is the ability to validate the origination Autonomous System (AS) of BGP routes. More specifically, one needs to validate that the AS number claiming to originate an address prefix (as derived from the AS_PATH attribute of the BGP route) is in fact authorized by the prefix holder to do so. This document describes a simple validation mechanism to partially satisfy this requirement. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="6811"/>
          <seriesInfo name="DOI" value="10.17487/RFC6811"/>
        </reference>
        <reference anchor="RFC4786">
          <front>
            <title>Operation of Anycast Services</title>
            <author fullname="J. Abley" initials="J." surname="Abley"/>
            <author fullname="K. Lindqvist" initials="K." surname="Lindqvist"/>
            <date month="December" year="2006"/>
            <abstract>
              <t>As the Internet has grown, and as systems and networked services within enterprises have become more pervasive, many services with high availability requirements have emerged. These requirements have increased the demands on the reliability of the infrastructure on which those services rely.</t>
              <t>Various techniques have been employed to increase the availability of services deployed on the Internet. This document presents commentary and recommendations for distribution of services using anycast. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="126"/>
          <seriesInfo name="RFC" value="4786"/>
          <seriesInfo name="DOI" value="10.17487/RFC4786"/>
        </reference>
        <reference anchor="RFC7094">
          <front>
            <title>Architectural Considerations of IP Anycast</title>
            <author fullname="D. McPherson" initials="D." surname="McPherson"/>
            <author fullname="D. Oran" initials="D." surname="Oran"/>
            <author fullname="D. Thaler" initials="D." surname="Thaler"/>
            <author fullname="E. Osterweil" initials="E." surname="Osterweil"/>
            <date month="January" year="2014"/>
            <abstract>
              <t>This memo discusses architectural implications of IP anycast and provides some historical analysis of anycast use by various IETF protocols.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7094"/>
          <seriesInfo name="DOI" value="10.17487/RFC7094"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="intra-domain-ps" target="https://datatracker.ietf.org/doc/draft-li-savnet-intra-domain-problem-statement/">
          <front>
            <title>Source Address Validation in Intra-domain Networks Gap Analysis, Problem Statement, and Requirements</title>
            <author>
              <organization/>
            </author>
            <date year="2023"/>
          </front>
        </reference>
        <reference anchor="manrs" target="https://www.manrs.org/netops/guide/antispoofing/">
          <front>
            <title>MANRS Implementation Guide</title>
            <author>
              <organization>MANRS</organization>
            </author>
            <date year="2023"/>
          </front>
        </reference>
        <reference anchor="isoc" target="https://www.internetsociety.org/resources/doc/2015/addressing-the-challenge-of-ip-spoofing/">
          <front>
            <title>Addressing the challenge of IP spoofing</title>
            <author>
              <organization>Internet Society</organization>
            </author>
            <date year="2015"/>
          </front>
        </reference>
        <reference anchor="nist" target="https://www.nist.gov/publications/resilient-interdomain-traffic-exchange-bgp-security-and-ddos-mitigation">
          <front>
            <title>Resilient Interdomain Traffic Exchange: BGP Security and DDos Mitigation</title>
            <author>
              <organization>NIST</organization>
            </author>
            <date year="2019"/>
          </front>
        </reference>
        <reference anchor="urpf" target="https://www.cisco.com/c/dam/en_us/about/security/intelligence/urpf.pdf">
          <front>
            <title>Unicast Reverse Path Forwarding Enhancements for the Internet Service Provider-Internet Service Provider Network Edge</title>
            <author>
              <organization>Cisco Systems, Inc.</organization>
            </author>
            <date year="2005"/>
          </front>
        </reference>
        <reference anchor="bar-sav" target="https://datatracker.ietf.org/doc/draft-sriram-sidrops-bar-sav/">
          <front>
            <title>Source Address Validation Using BGP UPDATEs, ASPA, and ROA (BAR-SAV)</title>
            <author>
              <organization>NIST, Akamai</organization>
            </author>
            <date year="2023"/>
          </front>
        </reference>
      </references>
    </references>
    <?line 654?>

<section numbered="false" anchor="Acknowledgements">
      <name>Acknowledgements</name>
      <t>Many thanks to Jared Mauch, Barry Greene, Fang Gao, Anthony Somerset, Yuanyuan Zhang, Igor Lubashev, Alvaro Retana, Joel Halpern, Aijun Wang, Michael Richardson, Li Chen, Gert Doering, Mingxing Liu, John O'Brien, Roland Dobbins, etc. for their valuable comments on this document.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+19aXcbR5Lgd/yKWunNmmwDoEhJtsw302OIpCR2UxKGpOzp
afvpFYAkUFahCq6DFEfU/pb9LfvLNq686sBB0h73jPCeZbBQmRkZGREZV0b2
er1OXoTJ5H0Yp4naD4qsVJ1okdG3vNh79Oi7R3udcVjsB1FykQYPg4OZGn/o
5OVoHuV5lCbF9QLaHR+dv+iEmQr3g5cqUVkYB38/PRqeDA6Ofu5cTeGFpFBZ
oorgKJlGiVJZlEyD8zD/ELxIs7HqdCbpOAnn0NUkCy+KXqSKi14eXkKTXoRt
e5N0HkZJb5Glo1jNewB2oeYqKXoAYKeIihjanqUldBYMJpNM5XnwQxhHk7AA
KAF6BkG6Cd6o4irNPuTBy3ARDJIwvs6jvBsMuffgTPfeDQA7wan6tYwyepB3
wtEoU5f7fn9ngx/eHJ3X23fiMIHpq6TTCctilmb7nR4Ak+8Hf+kHP5adIOBZ
/yUKkwXihJ6lGbQ5z+HvWRkG75LoUmV5VFzDT2P4337wXEW/wK/4d1omRQaP
DmZREsIClbkKzk8Ogy31cawWRfDur9vQn36PhoNmCqCO94NfZNjvx7Q6fTUp
++NEg3jYD04iA+JhmPCfvxt0RYrrl3xfyFgV8E4QPIvCk2gUJfKEQPyPWZpM
p2WYjEt4Ho7SLCzS7P7BjKMyHn3/n9NxHI4qIL7uB68AgKkB8jUM+Cuus35M
kMIfVyq6d8BmOMZcRvx+RoP0x+lcQ/fXfnCWRVk4N+D9NS2iD2EcLspJZH8j
GN+dDYI3xEzA3MdJDixXFipIL5DYk0mYTXLilXM1niVpnE4R0ZpXqPHx2bmZ
4sswKmZANqMyw3lmagodA3oO3UkDaRVqwsyU40iDOQiO8cZ4+JDTTL5Porzo
T9PLTidJsznM5VLtw1unLw6e7X77RL7u7e5+J18ff/tIP31mv+492/tWvj7d
230kX588/ka/8PSbx0/l6zfPdnf1C98++0a+fvvoO3gXBaoDBUi5LDRSLsdH
QVCE2VSB8J0VBTza2QFpFsJr4w8q66OI7MPS7IDo3GGpGUeOzHR6q8rMHe58
PaFp+rmL0MTxoFcYbu/R3mP4cx4mWcskr66u+vQzzQ5mky7ynWkZTdROmBRR
vkjTCyBobxKvB29Oz4Lj+SKmARn+l9iG3tKyF78HPSZoalIHLMrTcTtckexj
8BLg/5ogBLQRCnNaib1Hu093QkYmQNkDMu+NZ2Ecq2SqeulFL1r0GqcwMG0C
aBOYNkj4x8NAt2mdj9lizxg2b2q7T5HHgf7bp6a5Y2dRjmLgMkRhjpOL4gj3
WZq6UBQQxcVFNO4B981CnNdoCrNS4zID7u7B6vcmkzTvzaMimlJH7kQfnOo+
GWahrnPuMziSPkEOvhwGZ9IpkdThYZqDCNWdPmjFhcgaZ/7fwZ9ltrhon/84
yscpiscdYKdwvqOS92W+A9tGWezoqe0gEuI4mqpkrHawv/5icuFNDoTWOMwL
IH/cFlUwDIsZKjlXICFxbY8SmN2Y2SIACUCLbddOZZcRcCPw1CUQb9Zr/UVz
Y3A0map2TBzgrIKz6xxYE3j1OBn3PcQ8QsIYhRkKjlvJHJatvTyaZMCnPenK
o+wH7SLmHdE7LvS74eHg/AhAHJwNByJB3g6CreeD0x5oV9vLFxuafQiBjKr8
3On0ej3YhnKcQdHpnM+iPADgS8R/sGBc5rQGUxBqoQg15Dn1ERgCoXP1z4BZ
PRAGDy7tVOYK6TbKEc3Q5ziLRtLzRQn7I4mlOBBZnPMMJwpYWt7KHHnJhIE7
KRBTHERzhJR/6vOU5tFkEoPe/JBEdDopx8RmnbNW+LYQiyDegnFWjiPoFceA
fmEYmmaipftFls6r89TSJwiLAkgh7wfnADJL3Qi26Yj2MXj9Mh3Tbj1Rizi9
xhYwbBDCqHEK3FCkNFfdex4sUhB5gJHg0yeS+Z8/M2bC8RjHNUCBccG4jDJg
rhiwhmsE+FMJdBtOYW3geQvUoIWlV8iP3Vq/FyG8fxlmUVrmVubmuPf5U7DL
G0xKmsgkurhQGdKR9AZq/mWUpQmtUzfIQHIAn16qZJJmsuDpAowjUaIWmaL2
ABAAiP/vBlGBK5SkRXChQkYMjkSQMCaLACdybccE9u8ja0XSbQVYRBwYXBNQ
pKBtilpXEEMXMRE5olT3BAMBSJc4odbVBzORt6cLK9EWIOFMZ/QqjLVAgVEI
nbTz/yAbzyKkwBLARAodbAMliGr1+TPSJ1AIrEcYzMu4iHoXiKcgXMAP4XgG
Q8KkIr3t5xpFxSxTqnma+0ICXU/j4tVxOR347PgChjVz5xnp5RnFKfw54cGA
FrMI7NqQGMknMX+c2jDV5RqDlTVT8YIHoL5l4Fbc6wnye0ALOcux/1Q4FKCz
oloii3kwIQgoDGDowRlBoOkApl+OcPeRIeBnlg4aKfhQqIRVdCYwbpUjg1/B
fkmMLl1GCWyx1FT2exEJq7vmt7rBFZgOwFogMGPiTiAjUpjSOGYjDwnLgDI4
Q/YCnMCwWjvMrhEDQT5WCXI+AAlvqjpSABW41mYZ/VVD8srCqYhvf/hwjouF
Y+P8nAU106/QFUkcXoCrWQSUTb97wrKOZp7bsSZKBYAWs2tmik0mB9r4NUwg
gZ1PlhrZB9QYBVbi1u62XqCrGcpwlFvRR8WiZaTMZIDcJqli9piFlw1DshxT
k26wtbcts5VtL5cxsL0KMytL7KajEQEIvYhiFK2uwBFyYkbeerxtkIkgS0sP
ct0Q504cjQALI1mmsuTI/fdbdYgw8dSHKrn0gRHVx4V4s0BFAukWxXGJmknB
zdXHEEmUeLHefLiLy+wQBM+G7OKzYJcnDt+eBDnsOHmdwJBvsBdgxhpJAU6h
6WNc+bSczvCPPeSaHCbJnZqllc2ourhdBC1X9WGFzgC9WmaOrqlL6D9GTubh
dknwtHSO8FX4x8yqwi0emzBiKoBpwUPihuamZz9JaYbT1MUDdJCTiLpuncpu
v+YNtIKciApWTjMkvMuA6QXbc2bt9dHlXz8k6ZWWMVkGe6VFArUgFQYmu8Y6
M5F4dO0sE/wASlBtdnsBKOljJShIgSAIc9gLAqJBEkiAQf6P+XS+7jmfrzs3
Ac18awgyJXhY+TX4idV65/OT+8eZMOyQIa68/HXv64df274ICb7ewVodIKYC
lN/PDf5Ds4bPw96yz0N59Qm1Ww7Pss9SeIJgJ6giaqejoXxMUFbRXJUCVh9j
vNTYn/Gi2aDjSYHO+uTaoAAGHSQsh6Zga+JuHSr5tB889GQjW47/8mBQEYpa
XtbMMpSQDz6jbMa9DsU7WBPX1oZzNKxm6eoLddGfiOvmbI8UYEAvCpKUYZJf
qWw/iLZB+sB8tG1iDTawJfNg69Mn+P/nz9ugO1RfbTIJsYF8p0akKtZaLtCQ
pUHqBiPtDXGpFSCWe2730AS67gdgNz70HHTBSZhMS1BmCIXBB+B0UAyAfh68
fnd2/qDL/w/evKXvp0f/9u749OgQv5+9GpycmC8deePs1dt3J4f2m2158Pb1
66M3h9wYngbeo86D14O/PeC5P3g7PD9++2Zw8sDIULtAGekBtGfDUsJWiJ7i
MO9oy5tU3+cHw//3f3efwM77v8SzC5su/4EeX/gDdCPR/dMkvpY/UdB1wMRA
PQS1MlBgx+EigrVCAQo8NUuvULhnKOz+9HfEzM/7wT+PxovdJ3+WBzhh76HG
mfeQcFZ/UmvMSGx41DCMwab3vIJpH97B37y/Nd6dh//8r2Ry93af/eufO+h1
OFcZ7EDs5wf+vcyB39XnDu58p2Ws9jv7ZPllJVqwZKQlk4hdA0im5JdAt17K
NpYaR7gli2A6HhrTE8jaPmSNBy0zdIiAKR08R6myH8hojrcDGoO9mPPY1joS
ARirKZjLcwCnLgtJqxVhFck4QBpi9IORNx6XqLLRLo/zy12AhoiXYnOItNis
gUPwLKjXYhOIThW7eK5Ca6QbsNhkN5A46NDK0TSlleJ9QPRi9AQGizhMFEoQ
IIIjLV5r2s9rI28BN9UfUY29XqAMg1nAXDAOYk1p2B3IcCeulM1DGw6ye4CZ
hR5QdrCAYBucPT/Nt9dwYJA7QjYI7fRxfSWXYQRGHDtdjFehbvmxsVxExpEP
r0xpIDZM8InxZ6EBnqdjtLpZV8XBAcxIXbGUYu1QkQMPBUowODjpjcD4mjR2
KyEo6liCVJ8/7y9tFKH/hHenX0vhR7CeI1SSE2zJVONYVpo2uUe2sKOsRp1k
fMoagcCEHmmJFtpHbbRCEJwLVXmA8TrYzkGhdJ+TREjI0KcNMAdIQemEhUAX
lnWGNQ/T1qm7Ghjo+PwZrA9hwyZgl2GT5kvGSNWsLPRGPY5h74hRRSIBoBnI
IySkXuouhacfC7AySiSOHJ0nwBnkR50EWlkBhaRHW5QZDPBkZkp2c21mDYhY
PTPNQX7fvmtmuUfCogGNpUyFwF/IU5dR6CN8cObSj+E3pqEKjyPHTQHeqQhT
eRxd6BdhXrkZ1DhPzbo7LuClnCLOdJhFHk0T3JSA0T23bQqdzFQ4IVXA8g76
WEUlKRcTWjvUHUCTnStYNgAjQY9FCgi5iNFi0uZ7ZimB4l75UmrJKZKjRYlx
nkD3JcAGtHQRTUtxQqGqeplGdtMQskWa0k94Z+mD1ClPhy8EL/NQi0SQK0DM
YU5L3OBZNvJhVdhrC7vfdkUWu4bBfoSZTlSIA+A7JFz1LpGCBg/cHjE959cg
BjC8X3WvCHIwSYn1fnJdsT0yUjk66D8WwSxdsOTG8ExB3loMcsNEYjbw+V1k
ANoY9PvW5YJmvhA6acddpL/QOGizLLrUvBIGY5UVCJxhvm6DN4/VdJRl3Aeo
lmU8QSKq800OBoPbG2z7KSNXXKgvjp87ZG6w5VCPceKE8VV4jVOMJ0RvYlUo
cRCkBj7CpHYhFo6DD1p2xchyI5rYfJ5OWCbQepL+wm78ST84NEET/y1yGNqI
inXdg70XjYsEYcG+gXc+RqMoBt2RYdXRC2bRNGNPxniWot9POyrmOKW8jBDP
GcyzjEG11y2Np7Qf/KhM6E6sJ4YyRAMLZPIVpSz8KTgjoBhybxd2fxBv3TzF
wFSB4kVPW7a2go0OZsHc7LlED4SPsEotrEmjLxuWmB00oRYkIjWACLSXRxQq
j/iZ2KRFbukqzI1Dx/csiWmMYFc3Y+yPd2O2yYrGrZdGnEToJYrJy5yg9CMz
mhy0pP26W55V2pjMc8SUuzVVg5F6mVk5ROlWoKl4lQDWVTiv7I60gCdEHvX1
c54DhkH8K0dNbmJd5cSFkMuIY2UpTOx+hPK/GM8IsQVPOcUIZgZ4zRwFwl1D
3OuySSwjsby3/j43MCRyJyzItdgAqcSsNHxdd5qTKB9T8pYbQnJ+95R1Vw9v
0Z2M/mZ9tst9T0ZbSEckd3GYKEdyuMJIgdaKkjTpTeN0JIFTQteW6k/7oFnC
/NF2cdycFCykDcl5qIpxn9LEGHRXaRspjq6lvuIEswBaUvFFhXxeDHt12tEP
cUtCyY9KdybbIYUUnLjdFu2GMXSpt3JUA6mRBxy5nuJY1G+SFBIvJw0IKWYc
lxMdL0sXaMbF0ozURorLA7Gxrq5lTZhUPeksiyKXpr+qOpCRGBQ2W4BGoIxa
66qk+DciAacmUi5v8ldHGnSnm/rspENyMgPXJ2zKshfA4LtuIlQsxkYrI6sb
JIr8EEToBYWNrD7PUot750D0LEWbtUUDJyL5IcoKVMr05kvbl0MCP5wCCVgy
wgxCsk8wrQjpCX7nn0sOgOcKNi+kc/yBBQ1KYNQTQE1iG4FSaXBiYAQ477EB
yJYtzqmd2CgThZFvZh9OgIiLKNcbjnHX8EAGzjHmhuctorKB4lhRSurAm3wO
7MqfLe9fNG6zrCNBS4atMhK6Il5Nj10LO8kbVwiSNwHIvB+8RYXvCqZP6RmU
5uQJSzt/DAGiLok2QE7+SMAWKFq+O+H5wfDxM9eQ1yIg4lWmEKyhaM7Dc30b
TjKgo+4x+1szhU0gUpSwPzvRXACYhZLJoFRCglwljrlEFHzkyblnIufMU4kY
M5tewYYeT9MMZDxlN+nvQIcsjfTfoKMeOazrehjYEGC6M7kIgAmFMgyJgy0r
9nYTG2JkwJfkpDgZtYbzMrArUkK0emm5vo9Gig4ydNkXQ6E79P8m5BB2Ejxo
Q8g9CUCT0wziKFQWKjdTSG+YOZkSMhpSlkGJEGIDu9D2WVMJKW3gmkndi84L
/SJqvRfcuZNqBwTqjM+TT0DxAFJhEwI43ZiflawCT2ckN3pZTFNP1OdidBlt
xdHzHVLwyNH1BVjrBKja5G1dK9g5RyVx07Mn7kbsEitoD1OwqIFES0o0NKMx
Li1Ntm4Tosz0fQT5XF5UtxLbDOxqDkKKZZ2peUpe1gjgIg0+xswGsKYU6ATn
z19tV319mE1OloXbDb7pvAhrMoqF+Dh9E3MxQFDRkRJcefHqgvhm4X3NdGVs
obpHJzMUlpFXor8UAtqiED1d+FrSFmp1yC7SIm0O6+8N7g5Adm2ztPd1cGOd
0iZAlgD/7dpLyXWTxYTvXtjdr2YrLYCoJfrnrVnUV6CBvinj+NH2ar3a8lu+
BJlIYeKHxTwnyX7Ra4i5PXoDnijMCTaKMPrBt20ikRGtzWkAklXKaNVp1n6y
HNLvAdoXAMrLLAQT8M3gPNg6ePlmez+Af3nLMgmE5ugHMwZSm2QtG7lHKjZQ
VB6jJjOClrz9iAYPYHH6Oexyl08cekSGjbQbWkNHIGjibxwKBGA0tf1XOmV1
P8oqahwSngonlFNBwHQDtjyAqkt2ofsdsStLD5LD6BqPCKA2g5U/DC8CbTAN
9M9KLW58E+NQsq271LHoW6hh+yu8xA6sKt36p9ikfhHQX+XedHg8CdXk1h0h
C4mBi4qaJIqup1HpxD2vmfVXUZIJzYvTbCYgxjDIqBBJ5HRbW3pENvEB+Bg6
62KDlgxZx3Pr7jtrpMM66tKfSD8RLcHNuobHvbc/iOcTzwNRsIZYWomzanRN
G7XjgK1AOLqW/UuE0Sz6BZrzLosZOSPtzGywsB1d8TlKvyQtkzHt1gH6FnpW
mee+2V3j5fGFboBQepCDPkRCMhlJ4GJtzWRetM8KyR+se0yWvSidUGBT1C7V
merOxsCeCWI1BqGLTOJgA35g7NNQrn/bAhFHH5SxJIFWjlqsShtcwXXW4Qec
MR5Fw5MK5jxXmngKvRAD9KF57BOjGt2nH6N5OQ8w57yYda2S+Zm2TDk+wxI6
i/IPJJFcEmD1z5pnbLn1MTbrntEKPj3ETJTmUCxKsKTAAwGRcbHVgzx1p1s4
zlJ0ysYxacWOHe36JHA/dCJVGAfU8pkFIKpOmKCbkPIfL0mODiTlgZ1KOG4t
pQ/QHptoOf7QENmWjA7H62tEEJ3vmCsdPjA0XCFczBiFfQAATViiAO0yUA3D
pTrGUk8lZXVAIr9BGM1pRwKrCk9zAOW0nkipwFM6vhjfVeKrpJIHaVR4tEon
OIeLa9kHbQZTHAHIbHv2KVtIMusP9CZ0bLrudISStDbc6AVODSP4CZjevghz
Vy79jFI/WcPoQCg66ui0Erthp9DvdyuhAtYflkUFl2prRMU7sMrN8qUZHV06
oQpk48QLuloMWa9E15VIDp02D0VJ3CGKo0q8z2SAIY1cpZUDTZoc9nnNMXUP
GodTI0M9/9AsmkxIYeNnBGHDwELy3sgzl/YwsrNCwIjKF1bJg5l8WRSXyGOJ
gq13fHYn2LSZpogt9hWjNoh5/NF01hgLZi8CnnWmuNQVqCwRHnvgNMI7wUoH
kYowikUFYCZPxpjxJtE5OuSRh5fvw+L9ApWR1gxcnSHa9sfX1Wf2S+dGH9D8
38GZXsYbjH/D3zsI9I1DzDdCtDealG80Gd+4ENXH2QiiEyMZboLgZDjU6bte
Lu/Kz42dmpOL66Xseh35yWd+R36TVwaiV0g5G0DUiKO3DuU1LWtDk87NmWYr
HPt0cMBAvBXCXQHRjZ7rmjh6AZohAkiEnQdHHxfsNQ9uOC+ujqNDDVELsmsQ
rcBRGx0twxGT71IXS7/zAOjrAaiEIPlyjnTbxAgt1gKMkpGi1yhIO1pq9oPO
g1e13sK4ubeKyAVQYBnXBUWyTUjBELmKZjmL3k5N9jbLXBjycP0hOdZ7l+EA
PS2U5MFQS5Lx1cWOsWIad0X08DTra+bFjmxj+GpN12xUuMwGx8otOjU7cXrV
vGlUU+A1Et6j4icZ8Od8MplPs9xaRVmlZiCs1vKxE2uaGeXZf/rkAssHNc0x
KJwgpjdqfwLBD8SSjiOyg8hK/Z0mo7OJWtTS5YsIxl66HNSV2zcZ0K16Ax2M
ZKvXHJW2QYKdilu5v9HUuzqowglL6NPvkqpmDu0sM1uaFLZV+iGguiqrYEfI
cHhMc6icubyDBnhkQ+04HTaAQSSYZJqmY3vHPCPO4yFCulJGQyscNrtn+toI
hY0qdkaBaQzkx9dkjD0MTqSfod/PUNrQbD3RqAMnXbZwzYDO6UcNE+vGaCNz
W3PgXWdMw9QKOtGuczPevH1/9O/Dt6fnSALwx+Dwh6PT8+OzI3THzEusD8Dk
waQoHnbDI4s0jsaRiUdZc6IhANWUG2kyaNnrgu21xn4Bm6rCIgNRQTky5G6t
cByJo4aTQuTVxRQwa2KJ99ThMR7yCukK1j/gqjkenRkTvuseh24mMlx+TWh4
PDLWWWgWhLzE2Jm1nSXYyCV4MDHS3+Vqpw8946Bdz6rpTvVzaRWlDI+ObQ0f
b7Nytqznr3d+oh53fvp6Vc8BHn/jT/10YNNbeGZw2Ys7zvdlPe4EWwd7w+32
N+sIan1Vo+fJ1vDJtnnQ0i1jxf5rdOxGaHfsAP5pSeft4d7f8cTdz3ruZvTm
1/2uHY17+fsGYVZ9/ykYPsWhn/7sfq9bpHqKjuLvjYX/mBOPe1vDPQ+JN8Fw
F3ve/bkKomsgMD5tk290k2XTcn+6caRcYyMDxU9uo9b+pJXt9Ke2VisQ/5NF
PH7ZGcIf/ITbyffa8dSWRVjN+fYQbxfw6K64XqOnW8OnjXJgo1Er2nGS9tTH
RZoVWjU+WbGX0h5CUUiDZNBdA1ReTV+kuRqTxlgyNrlhpc6DZ6/MDokt7Irq
zQ8Pq4C4H8GuZ9M+9FhdPlxLoQKjQfDR9T05AN7025Munzxu+u2xqQXwtP47
uVTpmK+uF8DRy0xxRC6fRQsTl3XP/T7RBzUUle4znfaKtGfyQJnYJLmOfkEV
dgtpsi+92VwZg0Rz9nhP0mkkbrgUlRrfGI8xnVKCVU4e4FRQ6IQ0aATaOS9Y
LbXLKp41G/yXOIsBDdB0BrQQ47merp7KvcH5pCvnA0XHIXyjXrYawG/0ue1+
cADLp34tSRMW+qCsTjyNJMl+TRPUhRB269pCcFYuMHO/Qgmcra9TLGs2OHto
nRNB9D6HYW0Xue3BZj8VFM5uUKXxyCHVo2BMcK63KYlR547oQupW0Bh5a+rP
oNVFT5nasTlnve4ResI452RbzPaDH2ean/hgvmNzrX82/0ngHs3XIsAeCSWd
Lxel0SvB5KmJfFSPgjLr6aFSpqM9fYqSoprOGkVellv9sIZ2xXNdr3rI38pf
TsNxxDCp7Fiv4gJz6OnEh+YSPOpBUR0nrc7mJsoxTOReSr/nykAfdZVBY5wD
WDWAKxZtO0Yk80jnPNABD4mGVHIOowuPlEli+kKeyBB7I0Z2+BhNPuHfVraB
DYfsNF4BEv9LeMFP1ZQ6Ps3hJDFFX7G5ak3PMzQwMRtHZflXzeer6QiSDVtr
okYRiRxU2OJGbIL5rcsES6IkWrAuOSfH88ElbnalBid1zwfhhDmo8jpZlphb
jpl1rFk0Fwn047PWTt4g2gcrpdgILrDsilSm4bw2TGFjDJgD8R5BHaQUmg4O
VRxRrThTuHXr4PDNNmUsQB90PIJTz7999o1OnMTitPCdM5ZNftivZagziXWe
Fcx+hOa7OcOKh0axyB+dcoQxJKyvR3IO9Ue5JGbpE72cxYahLnsCLJUSpLo0
m2T4oDSmjE46Ro1cMDHHNnD03DbtB+84F7Er26DuktfYJBBLdn90yRKA81s4
taUOu0OrLFkBpULtOmMrt0ASaxIu+Dh7prgEQgkjxjoBjWr4uRNm9VMjlXIE
EucMlUavRATF325gKEqQEVuHZ6egcsG/9pCo8KT2UPijSq9t0w4b8/ojKmuw
QLXDbjduSnpeG0YouRHNTia3QTJVXwrFmzVXE3Qhm3Nj67AfOwkre6TAVgN+
Te/ImpYSGEMyszNC/dds76zrKdGjbOYv4c8aXpPhYzRYH//s+U70w9VjrOtJ
0W+v8KfwZwOvCn828a3IEGt5WMRBwBbYz2v5WaTh7bwt/NnQ56Ibret54R9v
5395l7v0u4EXpjboLXwx5pWNPDLS9lZ+Gf7c3Tuj3/F8NIS51T4a/tzGU4M1
oV2Zc1t/zS0gGD7Wiqwv1XU1DzaPvBNlXuVB3Ferrp9JnpmKYMEhb3c8u+DU
2e6s2cohSmhWLbJIG2KDm8fZ8bRd/HhdaI1Lxyhg9IpW57VrRFR645qxDpyG
10TwdJ23Tfm1lhbav7Kejd5tN9LFVmUVg30Re2S0WrVG9BaNNbeewvGwK/EP
v0gtQI0d9f6MwNG/j1l/0p042gnhT5/7ImvHKH14RJGUJ3w+9xQovwPAx4so
Ye2v9grNRjKpCvHC4J8851Y73JCGdpnx4d7mqe46U91D5xFqO34pTT1FG9wy
KcSei+axdSS0m5yDHTn4j5E7XtamJGw/N9HznXjVJAlS+EP8ZrtshDbpUa4r
o6pQOR6QTuc1mMwpJ9qSVkvlaoM5Z9Eat86S+ZEqR2evWsK8LnwNBX5vF29m
Hy8VhxCecwoRokrbkFpbDQKKE+Z24+uoY0MuT0sLKvWnX37PL7/Xr3z+vM3F
5/08nfau+MWGbsQDcGrhGkhnnx4uGd9NH+nZ93r8HohskFpgJ+deBgIfil2S
zLRmcpHehyg2QFUo6hkAzeyCNQKuNrMQVu/UKz8bxVaro97GctCf9eKuzW1W
RWHbWm0y2poWhf5sbFnoz+YWhhlyo1jurS0O08FdLA/9uZUFYhtvZonoz+0s
En2IChTbr7Zvb5k0AHG7aDF97mKpmD7uYLHoz31ZLvbdtSyYZVzfbkasKSB/
gE0hmjcbNFUHywqT5lYQAZ2Zmkl+uU4bSxtd+2fizEGwKNHnQjukUNNtZU5V
EXqozQrHA96WJFrfOK2JdN97JtlTx3jKYNm23RVVvTLesuGK8APGgWPUOWVo
lLRf5fUzH8ZS05ilTqSaLBEGtHIcllRjnLIzKdzmmi4mNuG9/nQ7MBVPwKAx
3mlJDOUKYlJzD3viizYkbCu13dgm5RFR0wWwY/Fas16M9S7GH7S5wXBT20xR
NGEWluLQLMwNIoG5YEwMpizDChHRqvVwLF+xdebwJl394wb7cyfaT1dloPFF
MzFeX2NqolFSMWLlNA49HBetTWoGrXtnjUSr66atbny7OLQGzibB+nZuR0qb
rxEk3nm+JDRtQ8VUvGPtQLHcGeOEiY2RX43lX0n0eG/p5Q7LY8duMNGxk8SU
8mLGSJJlzkfjTEy1aq3QAWlJGeX8Wmv/0LFa6rItX9sNMeuggJvb2HaUTJJE
sXKMDZD5KZIKzWjAA5cOdBJNpcotcrlK8nLNmD7VJiM/ENckI6uhGt9nS0h8
U9YKajGdPAuI37Fsi3lJGVZnDD1B3nqs4ovhUx/1i+FjPl8Mn7Vg/oc0fJ5+
MXyqn/8iw2dpL3dItuXPMsvHmeK6ds+mIZ2nq+yep7+j3eNtl802D0Jy1+2y
weapbNTd+ji/sa1TK/5Gi219uZgbQuW/lptFXd822dTUqOorX8yMP6qZ8bTF
zKgj6d6sjadfrI27WBtPrbVh73yp2xtP+QIWU5VFXwq9M1ReaRawQExdiFqZ
lrZjpo21WrAmVmbqT6xbr2VlnZb17sAxh918kLEO2oqzuViYxSnKV71OxlZ1
Ok5MhbDVxfl05UfyDmFBRy5sTlcv+LfwrCjEsbxeQXPNjcAvugFbtjPBlrII
K8fxKmlg1lpQ0Zpu/OIOftGMG1sQBN91il34RSBaYFtW16JawSI4HUhRjfYS
Fs3FKirVKio3NtVqdxwOVpYTuR2u16s2AdO8W4mHTpseQsxUZSQsuXC4/pAb
lHhoHu5/ZoEHjYb3iIb7r/KAALmV+5fXNuAcqRpIVDR3Pod35P7D+wfMOTPf
ugetKsxwl5oMCvZ9OU6vL3JqvBu2MZxB59gr9O/e/t1I71pFpHvLFxnmMGt/
YnOVuloW9VwVs3Qih+PxgIVUg15SkuptvfyDuxWaGhD6ToA6FFxhWW7foLyb
OWyXYMcYb2gdc7rstJh0bYUX8Phl7hyxtKk0vzeZbVSRokV4rpPc09h0WW5P
cwOb2qO9youWhJ7W9r5TemFuBF2eyWPfR7lRizf1FveWuNMM+Bru63sjnVt5
vNfz5XhZC7c6EHB7//Zmnu1NfdqberN37Hn15S1u4cG+je96Xa/1HfzVd/RU
39JHvbl3+nZ+6WoOxi080nf1Rd/NC303//P9eZ7v5nO+g7f5Hv3Mm3mY7y+z
5nGTh9km7C/xMDdsafeRUtOsMoh3mXTckGskt2yq3UZX8L2lvexJ2kt7msv5
zCbOF+gZpOz5DdJbNk9radYujGW4sZ+50WWM5iEouxneKOacuTbXIFXdw74X
ernr+o/ph8YC8ItFTJd/LDWgigZvW+10ABOmvQHV3otLd2ys79nj4zKYa9H1
bDOncked5TwLCQ8Uo2kV0h15VJEFbKDL6/aLW6PCnoutVyWwtYH9KcIQ8wXV
zdNXazh3trp18Ip0wRdhyOEcJ7HHvyehtWgzFotb7rwQ3wVaLfVqd8sua5Er
hvTdps4VjnLJK082rdZ/0b5Ov2I6X7+7/l2zkirH1w400cRaN+maEvu82s7t
Ds2emE7FCzzFk9jQW6bwtl/mmaYCjdrtD4gu9f1OeJg5xmtjiJCcMzs8la65
uTychIuCL7/xbvY195dYPLKNXQ+UaM4xp6uPW+Vjt3JtIxc213emP6ErPRoZ
WgsO9+6DeuPGiJStcufd7DtI7IYl23Pj1kyRoOrGTDxBe8zyeImhek5xC3X6
pT6yhs8kSGw2I3s4bJAzSDHt3z4P1CWr3YIdoKg2DIqc5ejtBz8i/O59SAMp
p0SVF805qnrqrB4rNAVEmtePt6wy94sI1S55XidHDc37gzShk224UWl3gbsR
57P0ikuPL0lR+29k4S/Xm61Fv7exRf+PVAxxiaX+X1QM8RaW+JdiiBta1rez
qP8gxRDXtJxvYTHfg6W8mYW8t8pC3vvtLeTKTtBsHa+feLWBZVzbg5qt4jBh
6GtpUnu/W5pUfbf8Yrbe0WyVuovarXB7VwyHJ9ieaFWiR+uUfF9mXq0o+a7N
rnvkGVLIkhb68yzOAouJ/VY25yDO02413WZdk6aBw/+nmjNcBZWKaohh2XCi
x4iyfywbxzcR7t2+wUw4KnF5VgAJ01w/PZRkvs/N6VircnjabyCi7CQZkDOf
0FPEx1E5GfBGJ2fBw9YbkQL3Upwbk9mFjfln55uj6NX1o5t7m5S59ucNLN4R
VhHBcfhL4D80H/nVgeZGX5Dkwrh1Mhx2g1fD7Uq+FX/Mr7/lpLhjOwsBQf9x
U/3V/a1jbzIKGj43W6cDmMDhwJuf/e0AfzvYvr9JuSjU69ME2LIPkd+rt2+l
m62G9D/98ZHW0I18NQmBdTSshmY5btb8rJVo18Vp73PCopuF+Nb4DX/7a5/a
emu69um/eU7gne+1ap3gH+Neq4Z8QNw73ufl3M0ErJYtWrvK5ZJqvS3ZkN22
zPfGlMguX/HTlnGGlttzHRghbUJfXhqO4CXK+8KrCynhifPi15mZ+jiLRgCZ
myeGyK1fDuMkZ+IFMAR5GizSQl9wm+clX4W6MkpRNXxqaf+o27I2gsC0IqUb
0OU9EV0SS+cqjA0pQJcJMMEUM1kn10k4h+lItKAfUHqmphDvki2qWZ0p6C/H
cwGcsXntUu3GxKOScVriO4ImN68fb1wOk3ET7vDnRruhRlqFvLohVXFx46WO
3/ay4vMwKfnedg7n2VAeOph1eEa3N4hf32Kq20aMvX7wmoaWgZFiKdC0HqE4
FzaxtXCR8ekcviuJ65RzCXAD83KTVFxHYkmbQvD5MsSi6W1P01Q96HhQJSxB
usFMxrWS16StF07paloRDAzzkmCgl+7yWLYMbg6slm7Mwn5xN0qFrYkD77q0
NW7HJe4MyXbCW6jQzujNQHhPLLZt9XIzGq2XrmZsbs5yrZnmQ0ROFFHfwRUZ
0Vi7+spc4NxwbwCbR+5c6fxQQ7iSIpFKLLF6YXa3zLZ/c7Qx1Z31X+PWX+zx
Aq+uLeyJn9bb6as44hqB0FN0SbeOmWrvSyEEaaEr/rtHvnQtcxdLQENmkSvZ
5T7hgfyEJW3aXC01LtuNKvX+jUTBNce8bHF+cURt9SVxDfeS+TR1ykttLwvw
PMWy0gVd+E3nvJpw2g+el+ywPHUolHAQ8rVktjvivyag7ThEGXke4Z0MTaN1
Os5NDZSd4I3g33ZWKWtREESNdx/wBetpfCms0Mb6gN1mslmLRNzsE8qSp80Z
WtAlN2FGugc8KLTCOsVb9YqKPlw7WNf37zlsp0JfggHfmHMxTAKOyKhQQoUy
q/cdaGFH3XD1W3sbOXCarq+6lo4hriCS8MgweL8gadSk0G1FfZiwXbtt9mvL
Rj2eRYBsmxyEfff1tQYN2/4YIL8oWTLbILLeX1RyGWVpQt4hStWYkVTjNeTT
GQ7wsGeSMqw4ucg4vIi2UM0UXaIxAYW6T6cJXT/o7PUcmkEdEuwEyp/B+H/I
V3qEk3Shmb6KUXJynXLm0pwsFoTtjbriU58u7l9b3GMS/6+gnTM/CBnGdH1K
IeV1TX8OaCpe4B0PWDkXXwP6nSW445lw/DoLr8WVNwiFIej20ywEaKjPEjbL
OEr0mVk5aAlCldKMkI9I3UoCXNkuEiNyAV/6kgACGDzMWqRMh2CAZVsRpT/w
YVaYM2JA0ctLjpWdvXr77uTQu/7i0vQAtIi9jq8baFhTLC7zmjeDsKcaqVL7
NPFmd8RRGO9o0WEdt/qcBrmyLrGJnZvMFyCj8Y/0+JYMOp3jQs+uMVkLqVX2
8NhszshR+mwPdLTumjfng3WFp3GBeVrCmeusCFADXepDEoHvZNJ7UaYQT2ER
9hZxmNRKMttLf6SyAj1kMCpKlZ4rWWTamy95WzhAQAMAhbm5W3IxzAyG9Hde
gqsKjHeBHAhfcuOTGciXszpmrL45pkG9wMU6PDtlEU7vOe1YeRpnJQUa0RCK
EtigRRDmikIAQMpqwfckMVxMjXRYXR/1Jp00F2EUcjSgPiNbws7J2WwgLoHC
+1Xb22/SQtkVqcEWOqsNTM+qxOplxJWZpu0L2QXxjOyiuwYB9IHiESTuY5hM
jDM3xS9M0BN2pCzMxrNrVr9fvzs7Nwq8R5VVXPVBfIMpaAodtKzFXMHWEyhU
qxJ7/ZszYb05LyWzFi1KkST5chHsGj3+US+C/ZL79CX3qfrr75T75ID3u+Q+
Vbzmoeh17x2tTGciJdqYoXC8LUyk27iaXKMCR/4f8mS/1teDSaqPJMf3KGuH
3GUm8dvu06fDvx4Hp28HQTr6BXrNkT2Hzl/kqYFOJP197F/5gPLZJg50OYcc
trq84Ju2Vm8b6DNuwA9WadKFX9D8b8HSLL1qTeR3tu+6x6cdlfakhL3ajerQ
1NLmddLT6ntTnHSm+7w9RV8u6lxLC3QNvQwfw39P4D/pZ/iNr43o96vZ/TWL
DN2wI8zxMslQfJ+MzZXiE/eUMnHt3YP4SmVKX6yCF83T3TR6wcYpOpc1YhvN
EizFhN6BlavANyzCmtGFq14MJI/0hW1+6mHGhxtE3VhdMcguqagwbKprL4Og
sW79OHcmrzrXj5xD1xwK9aKtW3F2wFo4aVONTNP1JrSsapMpy2AqNAWcFPeY
0pvwmpkszAsDeIO3ihPDjPVBwZKy0Fj1EWinp801lBHse0aSgAbuBZF2cWqu
s6JWZKMJNLoWlahR371pfUSFYYSWW3vP3eIPjHRNuFOVqEy7WzguM3IDiC3y
lrG8mpSXyTI5+BOipx8dOxWJhq4JsTJwDn8Kji/Yra5douj0uwyjGGWvTXby
WLFIUR/PJXM0ms5GKTEEmcBhLkiR8mWUcPaMEs72vdYkH3SNDk/eDHdFHHWr
DfbaGrBAa2n1tKGVEXqVdx9bJ6Nz5o+vIyV80R1SlEtp9kQWcrAdcon1VhF4
H8gchVkvDy//UZBpL25uG4Cx6lyhdNGuSEhsnR0LKHvQ37y2r8RzTyCZg47B
nNB1+FTcc/hegpvFXRZtyRoRzw0xtXi9Rdkz68FawnqrcutFIZca5pfiNkQZ
3iG7K8Pl+xfdO22U0jYxh+h0D8RqP/ijf2qSaHhlAZJCiEUcW3U1OQX2o3U5
Hjsux6EAfWiA3sRl+ubtOeqrJV41rrLLkHITjDebcMwv6nu0rEPfCY9Q5kl1
m9WhjchEVGCOTk45rRIpXIliZxLROyqgfECVoqgZ022OaepZYVyP/mSAd9IE
s04npeJaiBkFIIGwUU+OyH8t+v44XISjKAYlCfV1PDTHN/jCFC5VMkkzOSFQ
HwW2wTKesABV7G612KDTxIwQPq/b5GZmj2EDmfluWtcry2s/IDLC345Q2Yiw
DR/5g/14rDZYcHMeGi9uHxeu+mvOvOKyx2GZjGeibJiBsDmKluDXMhp/wHPF
wkx5Lgk7xrNXx5/uJzc867KTCClmRCZ/fW7YZShjUjWwU1UjEBdiWhZt85Cw
g8mJeEepH5swkGSp2AlwIrjBrcZpukT4m5wMVtpZDOKpkxJjN0QSrW3dMyhm
cc0tb4KrpkTJtSZJPlLXia8TP3Tik8l5oWsMl0TUq5PEcCqeraATIVzfAGYz
dzNwYIeiQCYq4ZEJg1A4lZiv8awGcdIdzoII6g7asX/cgv1O58hIA2fx2A/f
tn5djjxHuWfG2ii84x9vCMJ3fd7T51SWLypHemRfwlA4bo02HI4B2VwO80/Q
mQ5oxlQnXeo35BnSehu+UR+ZztloceIYzlQl/moGopMKE1JG2ELV6AHuAS1d
w2BRiZqng285/mDr83GMAAQ+6DJY1TWlc04wOCHG5ycOlDjLoM9iVSwrbx0t
Ct2bMfURMfuemSIFoRk16zOx0HmuxmWmKr1XtA2K/kmWzhys4DHtetQL2Vti
rDHRSPlAQcvU74qC1DXvx9kYFn8tQSF7o04VMIkfDv/na8YhXxLQLCRMhhXr
wsfDHkjvcJGXrHmZ3vdR034TEmUeDx39eF+SlHQvZN5M43SEh/lERrEzztGp
Ea0HR6CdFd5joO0fhm/6aFlW4Djn+223joewat3g5ekR6N2nl6DSqmLc3943
9w1bdfJKu4XEbna8nGL4k/YD+/A11oc25xxx+Oc4iePhJXvY4Ms3Vu3CDEBc
NWvsydwZRWnSwwuTOfWqipzXw5MzGHCkYhGNFZywPyGhPmpvcNlIW5F5jSCx
o1DN00l0ce3aOCaBzYTFMXYX4cZaZlyyBRWudJzG9Ecl0XeE/A3gUobT6LpF
JXEyVYAHEd/4u9E3ElERgjNkxqi4pqrr6L6SpOZPD/UvUqzbs7S0r2RiXSSc
Aery8NaL4+c7p8fPt3ESiNvaK330ZFQEFmnVaZSnkuSjD7uJVLSgkJQFWC7C
OIcd9aSWi6gj4RMQows1cU//IVaNVPF9am3VgaQzWwnddtcPTmlmucalLD/J
eMYqz0XzpVnePtFtDS/Wh48uiq7uj/K5RsY+4T59se7QCuWnXKCnT7YNwnYl
EcqjNcmK8VZD738SVXemRukBY59qdK49OrowRxs5fg74C6fooi7kPSZqfhol
v7At0WdpjPCRCjvBPQLUBpVl2qgCypiAZCG7gtgqIkEAKo6KJ15q6BnIIbMa
dRgdZtRuXy3aScLovV6P1u/QJjJ4M6izCT7V2UwGOudWbapcRh4pao9OUd5M
mf8O0BsbjUpMGet0TgBpYFxOg38DeDBkfI7q06wMg3dJRBYdzAefP1fRL5hu
Dl8PZlESBvT0CERRvB/8Go93v/sev+f9QjroA0L746TTeQMc/BKHwAavyvBK
Rat7BH6fJmHy/Yze78O23en0ej2qsIazGIzRExvjveacU/XpYfXRZ4yXJeV8
hMzwLw+Iaym0hahB3ZbvVfhLiMv9OgT67wbPwyy7Dl5moEEAAb4AOgxehrC0
g6SYpdDsDD28OSZl/a2EbuC/4D+QWrvB8RSL7ZcgnWbqEhrEYDinYDYUYRJ2
g7+ksKe9CmPgXuC1QfRLmQQ/UrvXEZA7/HiK/wdDDnnxJAKMKPjyUoGdfphK
ov9r+Pcj8txJVGKXsyR4+9XzLMI3T9OYUmLS0ShCExw3S63EcqZrSVszHcBP
CmEcj+L+P/YbNvwQ5QAA

-->

</rfc>
