<?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.7.2 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-xu-savax-protocol-05" category="std" consensus="true" submissionType="IETF" version="3">
  <!-- xml2rfc v2v3 conversion 3.18.2 -->
  <front>
    <title abbrev="savax-protocol">Communication Protocol Between the AD Control Server and the AD Edge Router of Inter-Domain Source Address Validation Architecture</title>
    <seriesInfo name="Internet-Draft" value="draft-xu-savax-protocol-05"/>
    <author initials="K." surname="Xu" fullname="Ke Xu">
      <organization>Tsinghua University</organization>
      <address>
        <postal>
          <country>China</country>
        </postal>
        <email>xuke@tsinghua.edu.cn</email>
      </address>
    </author>
    <author initials="J." surname="Wu" fullname="Jianping Wu">
      <organization>Tsinghua University</organization>
      <address>
        <postal>
          <country>China</country>
        </postal>
        <email>jianping@cernet.edu.cn</email>
      </address>
    </author>
    <author initials="X." surname="Wang" fullname="Xiaoliang Wang">
      <organization>Tsinghua University</organization>
      <address>
        <postal>
          <country>China</country>
        </postal>
        <email>wangxiaoliang0623@foxmail.com</email>
      </address>
    </author>
    <author initials="Y." surname="Guo" fullname="Yangfei Guo">
      <organization>Zhongguancun Laboratory</organization>
      <address>
        <postal>
          <country>China</country>
        </postal>
        <email>guoyangfei@zgclab.edu.cn</email>
      </address>
    </author>
    <date year="2023" month="November" day="22"/>
    <abstract>
      <?line 83?>

<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. The inter-domain source address validation architecture is an effort to enhance the Internet by using state machines to generate consistent tags. When communicating between two end hosts at different ADs of the IPv6 network, tags will be added to the packets to identify the authenticity of the IPv6 source address.</t>
      <t>This memo focuses on the data plane of the SAVA-X mechanism.</t>
    </abstract>
  </front>
  <middle>
    <?line 90?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>The Inter-Domain Source Address Validation (SAVA-X) mechanism establishes a trust alliance among Address Domains (AD), maintains a one-to-one state machine among ADs, generates a consistent tag, and deploys the tag to the ADs' border router (AER). The AER of the source AD adds a tag to identify the identity of the AD to the packet originating from one AD and sinking in another AD. The AER of the destination AD verifies the source address by validating the correctness of the tag to determine whether it is a packet with a forged source address.</t>
      <t>In the process of packet forwarding, if the source address and the destination address of this packet both belong to the trust alliance, but the tag is not added or incorrectly added, the AER of the destination AD determines that the source address is forged and directly discards this packet. The destination AD forwards the packet directly for packets whose source address is an address outside the trust alliance.</t>
      <t>This document mainly studies the relevant specifications of the data plane of the inter-domain source address validation architecture mechanism between ADs, which will protect IPv6 networks from being forged source addresses. See <xref target="RFC8200"/> for more details about IPv6. It stipulates the state machine, tag generation and update, tag processing in AER, and packet signature Its promotion and application can realize the standardization of  the data plane in the SAVA-X to facilitate the related equipment developed by different manufacturers and organizations to cooperate to accomplish the inter-domain source address validation jointly.</t>
    </section>
    <section anchor="conventions-and-definitions">
      <name>Conventions and Definitions</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 BCP14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
      <?line -18?>

<section anchor="terminology-and-abbreviation">
        <name>Terminology and Abbreviation</name>
        <table>
          <thead>
            <tr>
              <th align="left">Abbreviation</th>
              <th align="left">Description</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">ACS</td>
              <td align="left">AD Control Server. The server maintains the state machine with other ACS and distributes information to AER.</td>
            </tr>
            <tr>
              <td align="left">AD</td>
              <td align="left">Address Domain. The unit of a trust alliance. It is an address set consisting of all IPv6 addresses corresponding to an IPv6 address prefix.</td>
            </tr>
            <tr>
              <td align="left">ADID</td>
              <td align="left">The identity of an AD.</td>
            </tr>
            <tr>
              <td align="left">ADID_Rec</td>
              <td align="left">The record of a number of an AD.</td>
            </tr>
            <tr>
              <td align="left">AER</td>
              <td align="left">AD border router, which is placed at the boundary of an AD of STA.</td>
            </tr>
            <tr>
              <td align="left">API_Rec</td>
              <td align="left">The record of the prefix of an AD or STA.</td>
            </tr>
            <tr>
              <td align="left">ARI_Rec</td>
              <td align="left">The record with relevant information of an AD or STA.</td>
            </tr>
            <tr>
              <td align="left">SM</td>
              <td align="left">State Machine, which is maintained by a pair of ACS to generate tags.</td>
            </tr>
            <tr>
              <td align="left">SMI_Rec</td>
              <td align="left">The record of the state machine information.</td>
            </tr>
            <tr>
              <td align="left">TA</td>
              <td align="left">Trust Alliance. The IPv6 network that uses the SAVA-X mechanism.</td>
            </tr>
            <tr>
              <td align="left">Tag</td>
              <td align="left">The authentic identification of the source address of a packet.</td>
            </tr>
          </tbody>
        </table>
      </section>
    </section>
    <section anchor="pkt-format">
      <name>Communication Protocol Format</name>
      <t>Every AD should be placed at least one ACS, which is mainly responsible for maintaining the relationship between ADs of the trust alliance, establishing connections with other ACS, maintaining the synchronous state machine, and sending the generated tags to the AER. TCP is used for communicating between ACS-ACS and ACS-AER.</t>
      <figure anchor="fig-common-fmt">
        <name>General communication packet format.</name>
        <artwork><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|    Version    |    Alliance   | I Type| S Type|   Operation   |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                           Total Length                        |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                        Number of Records                      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       Transaction Number                      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                      Acknowledgment Number                    |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                              Data                             ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
]]></artwork>
      </figure>
      <dl>
        <dt>Version:</dt>
        <dd>
          <t>8-bit, the current version=0b1 of SAVA-X.</t>
        </dd>
        <dt>Alliance:</dt>
        <dd>
          <t>8-bit, the sub-trust alliance number.</t>
        </dd>
        <dt>I Type:</dt>
        <dd>
          <t>4-bit, Information type, 0 for G_REF_INFO, 1 for AD_REG_INFO, 2 for AD_PREFIX_INFO, 3 for STATE_MACHINE_INFO, 4 for DIAGNOSIS_INFO, 5 for RUNNING_STATE_INFO, 6 for STRATEGY_INFO, 7 for ALIVE_INFO, 8 for TAG_INFO, 9 for ALLI_TAG_INFO, 10 for AD_V_TAG_INFO and others are unassigned.</t>
        </dd>
        <dt>S Type:</dt>
        <dd>
          <t>4-bit, Session type, 1 for ANNOUNCEMENT or DEPLOYMENT, 2 for REQUEST, 3 for REQUEST_ALL, 4 for ACK, 5 for NAK, 6 for AACK, 7 for ANAK, 8 for RACK, 9 for RNAK and others are unassigned.</t>
        </dd>
        <dt>Operation:</dt>
        <dd>
          <t>8-bit, the first 3 bits mean for whether RENEW Type or not. First bit: 0 for non-RENEW packet, 1 for RENEW packet. Second bit: 0 for the first non-RENEW packet, 1 for the first RENEW packet. Third bit: 0 for the last non-RENEW packet, 1 for the last RENEW packet.</t>
        </dd>
        <dt>Total Length:</dt>
        <dd>
          <t>32-bit, the length of this packet: from Version to Data.</t>
        </dd>
        <dt>Number of Records:</dt>
        <dd>
          <t>32-bit, he records in Data.</t>
        </dd>
        <dt>Transaction Number:</dt>
        <dd>
          <t>32-bit, this is the identification of a publication, query, or response, and the value should increase monotonically. Different I Types <bcp14>MUST</bcp14> have their own Transaction Number. Through this field, ACS can locate which information has been resolved wrongly and correct it.</t>
        </dd>
        <dt>Acknowledgment Number:</dt>
        <dd>
          <t>32-bit, it is only filled when the S Type is ACK, NAK, AACK, ANAK, RACK, or RNAK. Otherwise, it should be filled as 0.</t>
        </dd>
        <dt>Data:</dt>
        <dd>
          <t>Variable-length field. I Type and S Type specifies data jointly.</t>
        </dd>
      </dl>
      <t>When the S Type is ANNOUNCEMENT:</t>
      <ul spacing="normal">
        <li>
          <t>If I Type = AD_REG_INFO, Data field <bcp14>SHOULD</bcp14> be one or more ARI_Rec.</t>
        </li>
        <li>
          <t>If I Type = AD_PREFIX_INFO, Data field <bcp14>SHOULD</bcp14> be one or more API_Rec.</t>
        </li>
        <li>
          <t>If I Type = STATE_MACHINE_INFO, Data field <bcp14>SHOULD</bcp14> be one or more SMI_Rec.</t>
        </li>
        <li>
          <t>If I Type = TAG_INFO, ALLI_TAG_INFO or AD_V_TAG_INFO, Data field <bcp14>SHOULD</bcp14> be one or more TAG_Rec.</t>
        </li>
      </ul>
      <t>When the S Type is REQUEST or REQUEST_ALL:</t>
      <ul spacing="normal">
        <li>
          <t>If I Type = REG_INFO, Data field <bcp14>SHOULD</bcp14> be one or more ADID_Rec.</t>
        </li>
        <li>
          <t>If I Type = AD_PREFIX_INFO, the Data field <bcp14>SHOULD</bcp14> be none or one or more ADID_Rec.</t>
        </li>
        <li>
          <t>If I Type = STATE_MACHINE_INFO, the Data field <bcp14>SHOULD</bcp14> be none or one or more ADID_Rec.</t>
        </li>
        <li>
          <t>If I Type = DIAGNOSE_INFO, the Data field <bcp14>SHOULD</bcp14> be a 32-bit diagnose request code.</t>
        </li>
        <li>
          <t>If I Type = ALIVE_INFO, Data field <bcp14>SHOULD</bcp14> be none.</t>
        </li>
      </ul>
      <t>When the S Type is ACK, AACK, or RACK:</t>
      <ul spacing="normal">
        <li>
          <t>If I Type = REG_INFO, Data field <bcp14>SHOULD</bcp14> be one or more ARI_Rec.</t>
        </li>
        <li>
          <t>If I Type = AD_PREFIX_INFO, Data field <bcp14>SHOULD</bcp14> be one or more API_Rec.</t>
        </li>
        <li>
          <t>If I Type = STATE_MACHINE_INFO, Data field <bcp14>SHOULD</bcp14> be one or more SMI_Rec.</t>
        </li>
        <li>
          <t>If I Type = DIAGNOSE_INFO, the Data field <bcp14>SHOULD</bcp14> be one 32-bit diagnose response code.</t>
        </li>
        <li>
          <t>If I Type = ALIVE_INFO, Data field <bcp14>SHOULD</bcp14> be none.</t>
        </li>
      </ul>
      <t>When the S Type is NAK, ANAK, or RNAK, the Data field <bcp14>SHOULD</bcp14> be one 32-bit error code:</t>
      <ul spacing="normal">
        <li>
          <t>1 for parameters are wrong which means the packet cannot resolve correctly.</t>
        </li>
        <li>
          <t>2 for member AD(s) in the request packet does not exist in the designative sub-trust alliance.</t>
        </li>
        <li>
          <t>3 for algorithm for State Machine set by source ACS cannot support by the destination ACS.</t>
        </li>
      </ul>
    </section>
    <section anchor="acs-acs-communication-protocol">
      <name>ACS-ACS Communication Protocol</name>
      <t>Since the blockchain is adopted in SAVA-X to maintain the information of the trust alliance, ACS can query the address domain information of relevant ADes of the trust alliance and the AD prefix information corresponding to the address domain from the blockchain.</t>
      <section anchor="announcement-query-and-response-of-state-machine-information">
        <name>Announcement, Query, and Response of State Machine Information</name>
        <t>State machine information record (SMI_Rec) represents the packet format used when a state machine is negotiated between different ordered pairs of ADs. When an ordered pair of ADs is negotiating the state machine, the ACS of AD with a smaller ADID initiates the  communication, and the ACS of AD with a larger ADID uses SMI_Rec to determine the information to be used, such as initial state, tag generation algorithm, state transition interval, etc. Compared to ARI_Rec and API_Rec, SMI_Rec also needs an Expiring Time in addition to the Effecting Time. Expiration Time stands when the negotiated state machine is no longer valid.</t>
        <figure anchor="fig-smi-rec">
          <name>Format of state machine information record.</name>
          <artwork><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+
|     Action    |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       Source ADID_Rec                         |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                     Destination ADID_Rec                      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       State Mathine ID                        |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|        Algorithm            |             IS Length           |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                        Initial State                          ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                      Transition Interval                      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                        Effecting Time                         |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                        Expiring Time                          |
|                                                               |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
]]></artwork>
        </figure>
        <dl>
          <dt>Action:</dt>
          <dd>
            <t>8-bit, 1 for add or update this SMI_Rec.</t>
          </dd>
          <dt>Source ADID_Rec:</dt>
          <dd>
            <t>Variable-length field. Refer to ADID_Rec <xref target="savax-control"/>.</t>
          </dd>
          <dt>Destination ADID_Rec:</dt>
          <dd>
            <t>Variable-length field. Refer to ADID_Rec in <xref target="savax-control"/>.</t>
          </dd>
          <dt>State Machine ID:</dt>
          <dd>
            <t>32-bit, the ID used to identify the state machine, which is unique to a specific ordered AD pair and grows monotonically in use. It is used to distinguish the sequence before and after the generation of multiple-state machines.</t>
          </dd>
          <dt>Algorithm:</dt>
          <dd>
            <t>16-bit, algorithm used in A-Box. 1 for KISS-99 32-bit, 2 for KISS-99 64-bit Joint, 3 for OTP-2289 MD5 and others are unassigned.</t>
          </dd>
          <dt>IS Length:</dt>
          <dd>
            <t>16-bit, the length of the Initial State field.</t>
          </dd>
          <dt>Initial State:</dt>
          <dd>
            <t>Variable-length field, the length of this field is determined by IS Length.</t>
          </dd>
          <dt>Transition Interval:</dt>
          <dd>
            <t>32-bit, the milliseconds of the interval of state transition.</t>
          </dd>
          <dt>Effecting Time:</dt>
          <dd>
            <t>64-bit, when this field is 0, it means this State Machine should be enabled after the last State Machine expires.</t>
          </dd>
          <dt>Expiring Time:</dt>
          <dd>
            <t>64-bit, the end of this State Machine.</t>
          </dd>
        </dl>
        <section anchor="state-machine-information-announcement">
          <name>State Machine Information Announcement</name>
          <t>State machine information announcement (SM_INFO-Announce) is sent from source ACS to destination ACS. Source ACS fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">SM_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">ANNOUNCEMENT</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL: source ACS updates part of the state machine's information to destination ACS. RENEW: source ACS updates all the state machines information to destination ACS.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">The number of SMI_Recs in Data field.</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out where I Type is SM_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">One or more SMI_Recs.</td>
              </tr>
            </tbody>
          </table>
          <t>All SMI_Recs in the Data field should have a unique SM_ID. When Action  is ADD and SM_ID bigger than the current used SM_ID, ACS should add the  state machine defined in SMI_Rec. When Action is ADD and SM_ID equals  to current used SM_ID, ACS should modify the state machine defined in  SMI_Rec. Only the Transition Interval and Expiring Time can be modified.  Other SMI_Rec should be discarded and the destination ACS should send a  NAK message to the source ACS.</t>
          <t>When receiving a non-RENEW packet, if it cannot resolve this message,  the destination ACS should send a NAK message to the source ACS. When  destination ACS can resolve the packet correctly, it <bcp14>SHOULD</bcp14>:</t>
          <ol spacing="normal" type="1"><li>
              <t>Compare the Transaction Number in this packet with the Transaction  Number received from the same ACS before. Otherwise, the destination ACS  would discard this packet and send an SM_INFO-Request to request the  latest information of the state machine. SM_INFO-Request is defined at  <xref target="SM_INFO-Request"/>. If bigger, destination ACS WOULD:</t>
            </li>
            <li>
              <t>Accept every SMI_Rec and process them as follows:
  - If the SM_ID in SMI_Rec equals to current used SM_ID, destination ACS would update the current used SM_ID.
  - If the SM_ID in SMI_Rec is bigger than the current used SM_ID, destination ACS would add this state machine to its following used state machine list.</t>
            </li>
            <li>
              <t>The destination ACS will send an SM_INFO-AACK message to the source ACS.</t>
            </li>
          </ol>
          <t>When receiving a RENEW packet, if it cannot resolve this message, the destination ACS should send an SM_INFO-ANAK message to the source ACS. When destination ACS can resolve the packet correctly, it <bcp14>SHOULD</bcp14>:</t>
          <ol spacing="normal" type="1"><li>
              <t>Compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. Otherwise, the destination ACS would discard this packet and send an SM_INFO-Request to request the latest information of the state machine. If bigger, destination ACS WOULD:</t>
            </li>
            <li>
              <t>Accept every SMI_Rec and process them as follows:
  - If the SM_ID in SMI_Rec equals to current used SM_ID, destination ACS would update the current used SM_ID.
  - If the SM_ID in SMI_Rec is bigger than the current used SM_ID,
 destination ACS would add this state machine to its following used state machine list. Especially, state machines will be     removed right now when they are not listed in the SMI_Recs but are in use.</t>
            </li>
            <li>
              <t>The destination ACS will send an SM_INFO-AACK message to the source ACS.</t>
            </li>
          </ol>
          <t>There are two types of replies to SM_INFO-Announce messages. That is SM_INFO-AACK representing affirmative acknowledgement and SM_INFO-ANAK representing negative acknowledgement. These are sent from the destination ACS to the source ACS. The main part of the packet is filled by the destination ACS as follows:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">SM_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">AACK if it is affirmative acknowledgement or ANAK if it is negative acknowledgement.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out where I Type is SM_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">The Transaction Number of the response corresponding request.</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">S Type = AACK: None. S Type = ANAK: a 32-bit error code defined in <xref target="pkt-format"/>.</td>
              </tr>
            </tbody>
          </table>
          <t>Nothing needs to be done when source ACS receives an SM_INFO-AACK message while it should regenerate a new state machine and announce to destination ACS when source ACS receives an SM_INFO-ANAK message.</t>
        </section>
        <section anchor="SM_INFO-Request">
          <name>State Machine Information Request</name>
          <t>State machine information request (SM_INFO-Request) is sent from the source ACS to the destination ACS. Source ACS fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">SM_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">REQUEST</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL: announce all state machine information to source ACS.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out where I Type is SM_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">None</td>
              </tr>
            </tbody>
          </table>
          <t>When the source ACS receives an SM_INFO-Request message, it sends an SM_INFO-RNAK message to the destination ACS if some fields are wrong. Otherwise, the source ACS would send an SM_INFO-RACK message to the destination ACS and process this SM_INFO-Request message. Source ACS should compare the Transaction Number in this message with the Transaction Number received from the same destination ACS before. Otherwise, the source ACS would discard this packet. If bigger, the source ACS would send an SM_INFO-RACK message to the destination ACS.</t>
          <t>There are two types of replies to the SM_INFO-Request message, i.e. SM_INFO-RACK representing affirmative acknowledgement and SM_INFO-RNAK representing negative acknowledgement. These are sent from the source ACS to the destination ACS. The main part of the packet is filled by source ACS as follows: I Type is SM_INFO. S Type is RACK if it is affirmative acknowledgement or RNAK if it is negative acknowledgement. Operation is NULL. When the S Type is RACK, the Data field is a few of SMI_Recs. When the S  Type is RNAK, the Data field is a 32-bit error code.</t>
          <t>When receiving an SM_INFO-RACK message, if it cannot resolve this message, the destination ACS should send an SM_INFO-Request message to the source ACS to acquire another state machine. When destination ACS can resolve the message correctly, it <bcp14>SHOULD</bcp14>:</t>
          <ol spacing="normal" type="1"><li>
              <t>Compare the Transaction Number in this packet with the Transaction Number received from the same source ACS before. Otherwise, the destination ACS would discard this packet and send an SM_INFO-Request to request the latest information of the state machine. If bigger, destination ACS WOULD:</t>
            </li>
            <li>
              <t>Accept every SMI_Rec and process them as follows:
  - If the SM_ID in SMI_Rec equals to current used SM_ID, destination ACS would update the current used SM_ID.
  - If the SM_ID in SMI_Rec is bigger than the current used SM_ID, destination ACS would add this state machine to its following used state machine list.</t>
            </li>
            <li>
              <t>The destination ACS will send an SM_INFO-AACK message to the source ACS.</t>
            </li>
          </ol>
          <t>When receiving an SM_INFO-RNAK message, if it cannot resolve this message, the destination ACS should send an SM_INFO-Request message to the source ACS to acquire a new state machine. When destination ACS can resolve the message correctly, it <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number received from the same source ACS before. Otherwise, the destination ACS would discard this packet and send an SM_INFO-Request to request the latest information of the state machine. If bigger, destination ACS WOULD send a new correct SM_INFO-Request message to source ACS.</t>
        </section>
      </section>
      <section anchor="request-and-response-of-diagnose-information">
        <name>Request and Response of Diagnose Information</name>
        <t>Sent by destination ACS, a request for diagnosis information (DIAG_INFO-Request) is used to require the source ACS to check its configuration and source AERs' settings. Source ACS will respond with its result. Destination ACS fills in the following values for each field:</t>
        <table>
          <thead>
            <tr>
              <th align="left">Field</th>
              <th align="left">Value</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">Version</td>
              <td align="left">1</td>
            </tr>
            <tr>
              <td align="left">Alliance</td>
              <td align="left">The sub-trust alliance number.</td>
            </tr>
            <tr>
              <td align="left">I Type</td>
              <td align="left">DIAG_INFO</td>
            </tr>
            <tr>
              <td align="left">S Type</td>
              <td align="left">REQUEST</td>
            </tr>
            <tr>
              <td align="left">Operation</td>
              <td align="left">NULL</td>
            </tr>
            <tr>
              <td align="left">Total Length</td>
              <td align="left">The length of this message.</td>
            </tr>
            <tr>
              <td align="left">Number of Records</td>
              <td align="left">0</td>
            </tr>
            <tr>
              <td align="left">Transaction Number</td>
              <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out where I Type is DIAG_INFO and ACS would keep it increasing monotonically.</td>
            </tr>
            <tr>
              <td align="left">Acknowledgement Number</td>
              <td align="left">0</td>
            </tr>
            <tr>
              <td align="left">Data</td>
              <td align="left">A 32-bit error code is defined below.</td>
            </tr>
          </tbody>
        </table>
        <t>Response of diagnose information (DIAG_INFO-Response) replies from source ACS to destination ACS.</t>
        <table>
          <thead>
            <tr>
              <th align="left">Field</th>
              <th align="left">Value</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">Version</td>
              <td align="left">1</td>
            </tr>
            <tr>
              <td align="left">Alliance</td>
              <td align="left">The sub-trust alliance number.</td>
            </tr>
            <tr>
              <td align="left">I Type</td>
              <td align="left">DIAG_INFO</td>
            </tr>
            <tr>
              <td align="left">S Type</td>
              <td align="left">ACK</td>
            </tr>
            <tr>
              <td align="left">Operation</td>
              <td align="left">NULL</td>
            </tr>
            <tr>
              <td align="left">Total Length</td>
              <td align="left">The length of this message.</td>
            </tr>
            <tr>
              <td align="left">Number of Records</td>
              <td align="left">0</td>
            </tr>
            <tr>
              <td align="left">Transaction Number</td>
              <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out where I Type is DIAG_INFO and ACS would keep it increasing monotonically.</td>
            </tr>
            <tr>
              <td align="left">Acknowledgement Number</td>
              <td align="left">The Transaction Number of the response corresponding request.</td>
            </tr>
            <tr>
              <td align="left">Data</td>
              <td align="left">A 32-bit error code is defined below.</td>
            </tr>
          </tbody>
        </table>
        <t>Before it sends the DIAG_INFO-Request message, the destination ACS should check its own configuration and guarantee they are correct.</t>
        <t>If it receives a DIAG_INFO-Request message, the source ACS would check whether the communication with its own AER whether correct or not.</t>
        <ol spacing="normal" type="1"><li>
            <t>If it's wrong, source ACS would reply with a DIAG_INFO-Response message in which its Data filed is filled with 2 for fault cannot be repaired and alarm to the administrator to deal with this problem.</t>
          </li>
          <li>
            <t>If it's right, source ACS would RENEW all the registration information, prefix information and state machine information to all AERs. After that, source ACS will reply to a DIAG_INFO-Response message in which its Data filed is filled with 1 for all runs correctly after repair.</t>
          </li>
        </ol>
      </section>
    </section>
    <section anchor="acs-aer-communication-protocol">
      <name>ACS-AER Communication Protocol</name>
      <t>ACS would periodically deploy AD registration information, AD prefix information, and state machine information of relevant ADes to all AERs to guarantee all information is latest. ACS also would deploy the tag information to all AERs periodically.</t>
      <section anchor="deployment-request-and-response-of-ad-registration-information">
        <name>Deployment, Request, and Response of AD Registration information</name>
        <section anchor="deployment-of-ad-registration-information">
          <name>Deployment of AD Registration Information</name>
          <t>After connecting with AER, ACS deploys the AD Registration Information (REG_INFO-Deploy) to AER periodically. I Type is REG_INFO. S Type is Announcement. Operation is NULL when some ADes' information is joined, left or updated and Operation is RENEW when all ADes' information is deployed. Acknowledgment is 0. The Data field is one or more ARI_Rec.</t>
          <t>It should be noted that when there are two ARI_Recs in Data fields responding to the same AD, one may effect right now, and the other effects after passing Effecting Time. When AER receives this message, all of them should be restored to the trust alliance list and AER <bcp14>MUST</bcp14> process them orderly. Since the protocol processes the records in sequence, it is required that the ARI_Rec effecting at the current time for the same member AD should appear in front of another updating ARI_Rec.</t>
          <t>When receiving a non-RENEW packet, if it cannot resolve this message, AER could send a REG_INFO-Request message to acquire the latest AD registration information.</t>
          <t>When AER can resolve this message correctly, it <bcp14>SHOULD</bcp14>:</t>
          <ol spacing="normal" type="1"><li>
              <t>Compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. If bigger, AER WOULD accept every ARI_Rec and process them as follows. Otherwise, AER would discard this packet and send a REG_INFO-RequestAll message to acquire the latest information on AD registration information.</t>
            </li>
            <li>
              <t>Process every ARI_Rec:
  - If Action is ADD and the record does not exist in its maintained trust alliance list, AER would add this record to its trust alliance list.
  - If Action is ADD and the record exists in its maintained trust alliance list but ACS Address is changed, AER would add this record to its trust alliance list and delete the original record after passing Effecting Time in this ARI_Rec.
  - If Action is ADD the record exists in its maintained trust alliance list and the ACS Address is not changed, AER would do nothing.
  - If Action is DEL and the record exists in its maintained trust alliance list, AER would remove this record from its trust alliance list after passing Effecting Time in this ARI_Rec.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after passing the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>AER acts as follows when receiving a RENEW packet. When ACS initiates RENEW, it sends a RENEW message with which the first bit of the Operation field is 1. The second bit of the Operation field identifies the beginning of a procedure of RENEW and the third bit of the Operation field identifies the end of a procedure of RENEW. ACS <bcp14>MUST NOT</bcp14> send a RENEW packet with which the first bit of the Operation field is 0 in RENEWing. AER <bcp14>MUST</bcp14> process this procedure of RENEW after
received all RENEW packets.</t>
          <t>When AER can resolve this packet correctly, it <bcp14>SHOULD</bcp14>:</t>
          <ol spacing="normal" type="1"><li>
              <t>Compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. If bigger, AER would accept every ARI_Rec and process them as follows. Otherwise, AER would discard this packet and send a REG_INFO-RequestAll message to acquire the latest information of AD registration information.</t>
            </li>
            <li>
              <t>Process every ARI_Rec:
- If the record does not exist in its maintained trust alliance list, AER will add this record to its trust alliance list.
- If the record exists in its maintained trust alliance list but the ACS Address is changed, AER would add this record to its trust alliance list and delete the original record after passing Effecting Time in this ARI_Rec.
- If the record exists in its maintained trust alliance list and the ACS Address is not changed, AER would do nothing.
- If there are some records in the original trust alliance list that do not appear in the Data field during this RENEW process, they will be deleted immediately.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after passing the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
        </section>
        <section anchor="request-for-ad-registration-information">
          <name>Request for AD Registration Information</name>
          <t>The request is sent by AER to ACS. There are two types of requests for AD Registration Information messages. When querying the information of all member ADs of the trust alliance, the type is REG_INFO-RequestAll and REG_INFO-Request is used when querying the information of partial member ADs of the trust alliance.</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">REG_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">REQUEST: for querying partial member ADs and S Type is REQUEST_ALL: for querying all member ADs.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">S Type = REQUEST: the number of ADID_Recs in Data field. S Type = REQUEST_ALL: 0.</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. AER would maintain a global Transaction Number for packets sent out to ACS where I Type is REG_INFO and AER would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">S Type = REQUEST: one or more ADID_Recs. S Type = REQUEST_ALL: None.</td>
              </tr>
            </tbody>
          </table>
          <t>When processing the REG_INFO-Request(ALL) message, ACS would reply REG_INFO-NAK to AER if it holds some fields that are wrong. For example, AER requests one ARI_Rec that does not exist. Otherwise, the REG_INFO-ACK message will be answered. ACS WOULD process as follows:</t>
          <ol spacing="normal" type="1"><li>
              <t>ACS <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number received from the same AER before. If bigger, ACS would process as step 2. Otherwise, AER WOULD discard this packet and send a REG_INFO-NAK message to AER.</t>
            </li>
            <li>
              <t>ACS processes every ADID_Rec. If the AD exists in its maintained trust alliance list, ACS would mark this record as "Reply". Otherwise, ACS would mark this record as "Negative Reply". Especially, all records would be marked with "Reply" when the Operation field is REQUEST_ALL.</t>
            </li>
            <li>
              <t>If any case in step 2 is marked with "Negative Reply", ACS would construct a REG_INFO-NAK message to reply to the AER. Otherwise, a REG_INFO-ACK message is constructed to reply to the AD registration information of all members marked with "Reply" to the AER.</t>
            </li>
          </ol>
        </section>
        <section anchor="response-of-ad-registration-information">
          <name>Response of AD Registration Information</name>
          <t>AD registration information response includes two types. That is REG_INFO-ACK and REG_INFO-NAK. ACS will reply to AER according to the request for registration information sent by AER to ACS.</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">REG_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">ACK: representing affirmative acknowledgement. NAK: representing negative acknowledgement.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL: REG_INFO-Request message. RENEW: REG_INFO-RequestAll.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">S Type = ACK: the number of ARI_Recs in Data field. S Type = REQUEST_ALL: 0.</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out to AER where I Type is REG_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">The Transaction Number of the response corresponding request.</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">S Type = ACK: one or more ARI_Recs. S Type = NAK: a 32-bit error code defined at <xref target="pkt-format"/>. There is no boundary identification between these ARI_Recs, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
              </tr>
            </tbody>
          </table>
          <t>It should be noted that when there are two ARI_Recs in Data fields responding to the same AD, one may effect right now and the other effects after passing Effecting Time. When AER receives this message, all of them should be restored to the trust alliance list and AER <bcp14>MUST</bcp14> process them orderly. Since the protocol processes the records in sequence, it is required that the ARI_Rec effecting at the current time for the same member AD should appear in front of another updating ARI_Rec.</t>
          <t>When receiving a non-RENEW REG_INFO-ACK message, if it holds that some fields are wrong, AER could send a REG_INFO-RequestAll message to acquire the latest AD registration information. Otherwise, AER would act as follows.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. If bigger, AER would process them as follows. Otherwise, AER would discard this packet and send a REG_INFO-RequestAll message to acquire the latest information on AD registration information.</t>
            </li>
            <li>
              <t>AER WOULD process every ARI_Rec:
- If Action is ADD and the record does not exist in its maintained trust alliance list, AER would add this record to its trust alliance list.
  - If Action is ADD and the record exists in its maintained trust alliance list but ACS Address is changed, AER would add this record to its trust alliance list and delete the original record after passing Effecting Time in this ARI_Rec.
  - If Action is ADD the record exists in its maintained trust alliance list and the ACS Address is not changed, AER would do nothing.
  - If Action is DEL and the record exists in its maintained trust alliance list, AER would remove this record from its trust alliance list after passing Effecting Time in this ARI_Rec.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after passing the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>AER acts as follows when receiving a RENEW REG_INFO-ACK message. When ACS initiates RENEW, it sends a RENEW message with which the first bit of the Operation field is 1. The second bit of the Operation field identifies the beginning of a procedure of RENEW and the third bit of the Operation field identifies the end of a procedure of RENEW. ACS <bcp14>MUST NOT</bcp14> send a RENEW packet with which the first bit of the Operation field is 0 in RENEWing. AER <bcp14>MUST</bcp14> process this procedure of RENEW after receiving all RENEW packets.</t>
          <t>When AER can resolve this packet correctly, it <bcp14>SHOULD</bcp14>:</t>
          <ol spacing="normal" type="1"><li>
              <t>Compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. If bigger, AER would accept every ARI_Rec and process them as step 2. Otherwise, AER would discard this packet and send a REG_INFO-RequestAll message to acquire the latest information of AD registration information.</t>
            </li>
            <li>
              <t>Process every ARI_Rec:
  - If the record does not exist in its maintained trust alliance list, AER will add this record to its trust alliance list.
  - If the record exists in its maintained trust alliance list but the ACS Address is changed, AER would add this record to its trust alliance list and delete the original record after passing Effecting Time in this ARI_Rec.
  - If the record exists in its maintained trust alliance list and the ACS Address is not changed, AER would do nothing.
  -If there are some records in the original trust alliance list that do not appear in the Data field during this RENEW process, they will be deleted immediately.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after passing the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>When AER receives a REG_INFO-NAK message, it could send a REG_INFO-RequestAll message to ACS to acquire the latest AD registration information.</t>
        </section>
      </section>
      <section anchor="deployment-request-and-reply-of-ad-prefix-information">
        <name>Deployment, Request, and Reply of AD Prefix Information</name>
        <section anchor="deployment-of-ad-prefix-information">
          <name>Deployment of AD Prefix Information</name>
          <t>AD prefix information deployment (PFX_INFO-Deploy) is sent from ACS to AER. ACS fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">AD_PREFIX_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">DEPLOYMENT</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL: to publish partial update information of member ADs' prefixes. RENEW: to publish all member ADs' prefixes.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">The number of API_Recs in Data field.</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out to AER where I Type is AD_PREFIX_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">One or more API_Recs. There is no boundary identification between these API_Recs, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
              </tr>
            </tbody>
          </table>
          <t>It should be noted that when there are two ARI_Recs in Data fields responding to the same AD, one may affect right now and the other is an update message for ADD or DEL effecting after the Effecting Time. For example, if the current time is 5 and there are two records corresponding to the prefix P, in which the Effecting Time of record R1 is 1, the action is ADD, the Effecting Time of record R2 is 7 and the action is DEL, then it indicates that the prefix P is currently valid effective from time 1 and becomes invalid at time 7. When ACS or AER receives this message, all of them should be restored in the database and ACS should send them all when deploying. Since the protocol processes the records in sequence, it is required that the API_Rec effecting at the current time for the same member AD should appear in front of another updating API_Rec.</t>
          <t>When receiving a non-RENEW PFX_INFO-Deploy message, if it holds that some fields are wrong, for example, it requires deleting an API_Rec that does not exist or adding some prefix that conflicts with other member ADs, AER could send a request message to acquire the latest AD prefix information. Otherwise, AER would act as follows.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. If bigger, AER WOULD process them as step 2. Otherwise, AER would discard this packet and send a PFX_INFO-RequestAll message to acquire the latest information on AD prefix information.</t>
            </li>
            <li>
              <t>AER processes every API_Rec:
  - If Action is ADD and the record does not exist in its maintained prefix list, AER would add this record to its prefix list.
  - If Action is ADD and the record exists in its maintained prefix list, AER would do nothing.
  - If Action is DEL and the record exists in its maintained prefix list, AER would remove this record from its prefix list after Effecting Time.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>AER acts as follows when receiving a RENEW PFX_INFO-Deploy message. When ACS initiates RENEW, it sends a RENEW message with which the first bit of the Operation field is 1. The second bit of the Operation field identifies the beginning of a procedure of RENEW and the third bit of the Operation field identifies the end of a procedure of RENEW. ACS <bcp14>MUST NOT</bcp14> send a RENEW packet with which the first bit of the Operation field is 0 in RENEWing. AER <bcp14>SHOULD</bcp14> uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number received from the same ACS before. If bigger, AER WOULD process as step 2. Otherwise, AER would discard this message and send a PFX_INFO-RequestAll message to acquire the latest information on AD prefix information.</t>
            </li>
            <li>
              <t>AER processes every API_Rec:
  - If the record does not exist in its maintained prefix list, AER would add this record to its trust alliance list.
  - If the record exists in its maintained prefix list, AER would do nothing.
  - If there are some records in the original prefix list that do not appear in the Data field during this RENEW process, these records will be deleted immediately.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after passing the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
        </section>
        <section anchor="request-of-ad-prefix-information">
          <name>Request of AD Prefix Information</name>
          <t>AD prefix information request (PFX_INFO-RequestAll) is sent from AER to ACS to query some member ADs' latest AD prefix information.</t>
          <t>AER fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">AD_PREFIX_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">REQUEST_ALL: querying from ACS the latest AD prefix information of all member ADs.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. AER would maintain a global Transaction Number for packets sent out to ACS where I Type is AD_PREFIX_INFO and AER would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">None</td>
              </tr>
            </tbody>
          </table>
          <t>When receiving a PFX_INFO-RequestAll message, if it holds that some fields are wrong, ACS could send a PFX_INFO-NAK. Otherwise, ACS would act as follows. The specific construction methods of PFX_INFO-ACK and PFX_INFO-NAK are described in <xref target="PFX_INFO-Response"/>.</t>
          <ol spacing="normal" type="1"><li>
              <t>ACS <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is PFX_INFO received from the same AER before. If bigger, ACS WOULD process them as step 2. Otherwise, ACS would discard this packet and send a PFX_INFO-NAK message.</t>
            </li>
            <li>
              <t>ACS processes every ADID_Rec. If AD exists in the maintained trust alliance list, ACS would mark this record as "Reply". Otherwise, ACS would mark this record as "Negative Reply". Particularly, all records are marked with "Reply" when the S Type is REQUEST_ALL.</t>
            </li>
            <li>
              <t>If any case in step 2 is marked with "Negative Reply", ACS would construct a PFX_INFO-NAK message to reply to the AER. Otherwise, a PFX_INFO-ACK message is constructed to reply to the AD prefix information of all members marked with "Reply" to the AER.</t>
            </li>
          </ol>
        </section>
        <section anchor="PFX_INFO-Response">
          <name>Response of AD Prefix Information</name>
          <t>AD prefix information response includes two types. That is PFX_INFO-ACK and PFX_INFO-NAK. According to the request sent by AER, if some fields are wrong, ACS will reply with NAK, in which the error code is "parameter error". If a non-existent member AD is queried, the error code is "the requested member AD does not exist", which is defined as before and will not be repeated. The following mainly introduces the PFX_INFO-ACK response. ACS fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">AD_PREFIX_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">ACK: representing affirmative acknowledgement. NAK: representing negative acknowledgement.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">RENEW: replying to the latest AD prefix information to AER.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">S Type = ACK: the number of API_Rec in Data field. S Type = NAK: 0</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out to AER where I Type is AD_PREFIX_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">The Transaction Number of the response corresponding request.</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">S Type = ACK: One or more latest requested API_Rec. S Type = NAK: a 32-bit error code defined in <xref target="pkt-format"/>. There is no boundary identification between these API_Recs, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
              </tr>
            </tbody>
          </table>
          <t>When receiving a non-RENEW PFX_INFO-ACK message which is the positive reply to the request for AD prefix sent from ACS to AER, if it holds that some fields are wrong, AER could send a request message to acquire the latest AD prefix information. Otherwise, AER would act as follows.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is PFX_INFO received from the same ACS before. If bigger, AER would process them as follows. Otherwise, AER would discard this packet and send REG_INFO-RequestAll and PFX_INFO-RequestAll messages to acquire the latest information.</t>
            </li>
            <li>
              <t>AER processes every API_Rec:
  - If Action is ADD and the record does not exist in its maintained prefix list, AER would add this record to its prefix list.
  - If Action is ADD and the record exists in its maintained prefix list, AER would do nothing.
  - If Action is DEL and the record exists in its maintained prefix list, AER would remove this record from its prefix list after Effecting Time.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>AER acts as follows when receiving a RENEW PFX_INFO-ACK message. When ACS initiates the RENEW process, it sends a RENEW message with which the first bit of the Operation field is 1. The second bit of the Operation field identifies the beginning of a procedure of RENEW and the third bit of the Operation field identifies the end of a procedure of RENEW. ACS <bcp14>MUST NOT</bcp14> send a RENEW packet with which the first bit of the Operation field is 0 in the RENEW process. AER <bcp14>SHOULD</bcp14> uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is PFX_INFO received from the same ACS before. If bigger, AER WOULD process as step 2. Otherwise, AER would discard this message and send REG_INFO-RequestAll and PFX_INFO-RequestAll messages to acquire the latest information.</t>
            </li>
            <li>
              <t>AER processes every API_Rec. All Action in API_Recs is ADD during
RENEW process.
  - If the record does not exist in its maintained prefix list, AER would add this record to its trust alliance list.
  - If the record exists in its maintained prefix list, AER would do nothing.
  - If there are some records in the original prefix list that do not appear in the Data field during this RENEW process, these records will be deleted immediately.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update message should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>When AER receives a PFX_INFO-NAK message, it could send REG_INFO-RequestAll and PFX_INFO-RequestAll messages to ACS to acquire the latest AD registration information and AD prefix information.</t>
        </section>
      </section>
      <section anchor="deployment-request-and-response-of-state-machine-information">
        <name>Deployment, Request, and Response of State Machine Information</name>
        <section anchor="deployment-of-state-machine-information">
          <name>Deployment of State Machine Information</name>
          <t>State machine information deployment (SM_INFO-Deploy) is sent from ACS to AER. ACS fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">SM_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">DEPLOYMENT</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL: to publish the partial update of the state machine maintained by the pair of this AD and another AD and Operation is RENEW: to publish a wholesome update of the state machine maintained by the pair of this AD and another AD.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">The number of SMI_Recs in Data field</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent out to AER where I Type is SM_INFO and ACS would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">One or more SMI_Recs. There is no boundary identification between these ARI_Recs, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
              </tr>
            </tbody>
          </table>
          <t>It should be noted that the state machine is responding to an ordered AD pair. The state machine information mastered by ACS includes the state machine information from this AD to another member AD, and the state machine information from another member AD to this AD. When ACS deployment is partially updated, only some changed or newly added state machines are deployed. When ACS deploys the update of the RENEW message, it is necessary to deploy all existing and updated information. For the same ordered AD pair, there cannot be two or more SMI_Recs using the same SM_ID in the Data field. In addition, there are two actions for SMI_Rec: one is to add an SM whose SM_ID is bigger than the current state machine. The second is to modify an existing state machine whose SM_ID equals to current using a state machine. Both of them are using Action ADD. Here we require only Transition Interval and Expiring Time can be updated.</t>
          <t>When receiving a non-RENEW SM_INFO-Deploy message sent from ACS to AER, if it holds that some fields are wrong, for example, Action is DEL or SM_ID is smaller than the current state machine in using, AER could send a request message to acquire the latest information. Otherwise, AER would act as follows.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is SM_INFO received from the same ACS before. If bigger, AER WOULD process them as step 2. Otherwise, AER would discard this packet and send REG_INFO-RequestAll and request messages to acquire the latest information.</t>
            </li>
            <li>
              <t>AER processes every SMI_Rec:
  - If SM_ID equals the current using the state machine, AER should update the state machine in use.
  - If SM_ID is bigger than the current state machine, AER should add this state machine to its list.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update message should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>AER acts as follows when receiving a RENEW SM_INFO-Deploy message. When ACS initiates the RENEW process, it sends a RENEW message with which the first bit of the Operation field is 1. The second bit of the Operation field identifies the beginning of a procedure of RENEW and the third bit of the Operation field identifies the end of a procedure of RENEW. ACS <bcp14>MUST NOT</bcp14> send a RENEW packet with which the first bit of the Operation field is 0 in the RENEW process. AER <bcp14>SHOULD</bcp14> uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is SM_INFO received from the same ACS before. If bigger, AER WOULD process as step 2. Otherwise, AER would discard this message and send a request message to acquire the latest information.</t>
            </li>
            <li>
              <t>AER processes every SMI_Rec.
  - If SM_ID equals the current using the state machine, AER should update the state machine in use.
  - If SM_ID is bigger than the current state machine, AER should add this state machine to its list.
  - If there are some records of state machines in use that do not appear in the Data field during this RENEW process, these state machines will be deleted immediately.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update message should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
        </section>
        <section anchor="request-of-state-machine-information">
          <name>Request of State Machine Information</name>
          <t>State machine information request (SM_INFO-Request) is sent from AER to ACS. AER fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">SM_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">REQUEST: querying the state machines maintained by the pair of this AD to another member AD and vice versa. These member ADs are specified by ADID_Rec defined in the Data field. REQUEST_ALL: querying all state machines maintained by this AD with other member ADs.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">S Type = REQUEST: the number of ADID_Rec in Data field. S Type = REQUEST_ALL: 0.</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. AER would maintain a global Transaction Number for packets sent out to ACS where I Type is SM_INFO and AER would keep it increasing monotonic.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">S Type = REQUEST: One or more ADID_Recs. S Type = REQUEST_ALL: none. There is no boundary identification between these ADID_Recs, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
              </tr>
            </tbody>
          </table>
          <t>For example, let this AD is AD1. When any ADID_Rec is included in the Data field, defined as AD2, it means that AER will request the SM(AD1, AD2) and SM(AD2, AD1). When ACS replies, it will reply to these two state machines.</t>
          <t>When receiving an SM_INFO-Request(All) message, if it holds that some fields are wrong, ACS could send a PFX_INFO-NAK. Otherwise, ACS would act as follows. The specific construction methods of SM_INFO-ACK and SM_INFO-NAK are described in <xref target="SM_INFO-Response"/>.</t>
          <ol spacing="normal" type="1"><li>
              <t>ACS <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is SM_INFO received from the same AER before. If bigger, ACS WOULD process them as step 2. Otherwise, ACS would discard this packet and send an SM_INFO-NAK message.</t>
            </li>
            <li>
              <t>ACS processes every ADID_Rec. If AD exists in the maintained trust alliance list, ACS would mark this record as "Reply". Otherwise, ACS would mark this record as "Negative Reply". Particularly, all records are marked with "Reply" when the S Type is REQUEST_ALL.</t>
            </li>
            <li>
              <t>If any case in step 2 is marked with "Negative Reply", ACS would construct an SM_INFO-NAK message to reply to the AER. Otherwise, an SM_INFO-ACK message is constructed to reply to the state machine information of all members marked with "Reply" to the AER.</t>
            </li>
          </ol>
        </section>
        <section anchor="SM_INFO-Response">
          <name>Response of State Machine Information</name>
          <t>State machine information response includes two types. That is SM_INFO-ACK and SM_INFO-NAK. Both of them are sent from ACS to AER. ACS fills in the following values for each field:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">SM_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">ACK: representing affirmative acknowledgement. NAK: representing negative acknowledgement.</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">RENEW: replying to the latest state machine information to AER.</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">S Type = ACK: the number of SMI_Recs in Data field. S Type = NAK: 0.</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent to AER where I Type is SM_INFO and would keep it increasing monotonically.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">The Transaction Number of the response corresponding request.</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">S Type = ACK: one or more latest requested SMI_Rec. S Type = NAK: a 32-bit error code defined in <xref target="pkt-format"/>. There is no boundary identification between these ADID_Recs, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
              </tr>
            </tbody>
          </table>
          <t>When receiving a non-RENEW SM_INFO-ACK message which is the positive reply to the request of AD prefix sent from ACS to AER, if it holds that some fields are wrong, AER could send a request message to acquire the latest state machine information. Otherwise, AER would act as follows.
1. AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is PFX_INFO received from the same ACS before. If bigger, AER WOULD process them as step 2. Otherwise, AER would discard this packet and send an SM_INFO-RequestAll message to acquire the latest information.
2. AER processes every SMI_Rec:
  - If SM_ID equals the current using the state machine, AER should update the state machine in use.
  - If SM_ID is bigger than the current state machine, AER should add this state machine to its list.
3. If a change is made in step 2, the update should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
          <t>AER acts as follows when receiving a RENEW SM_INFO-ACK message. When ACS initiates the RENEW process, it sends a RENEW message with which the first bit of the Operation field is 1. The second bit of the Operation field identifies the beginning of a procedure of RENEW and the third bit of the Operation field identifies the end of a procedure of RENEW. ACS <bcp14>MUST NOT</bcp14> send a RENEW packet with which the first bit of the Operation field is 0 in the RENEW process. AER <bcp14>SHOULD</bcp14> uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>
              <t>AER <bcp14>SHOULD</bcp14> compare the Transaction Number in this packet with the Transaction Number whose I Type is SM_INFO received from the same ACS before. If bigger, AER WOULD process as step 2. Otherwise, AER would discard this message and send an SM_INFO-RequestAll message to acquire the latest information.</t>
            </li>
            <li>
              <t>AER processes every API_Rec. All Action in API_Recs is ADD during the RENEW process.
  - If SM_ID equals the current using the state machine, AER should update the state machine in use.
  - If SM_ID is bigger than the current state machine, AER should add this state machine to its list.
  - If there are some records of state machines in use that do not appear in the Data field during this RENEW process, these state machines will be deleted immediately.</t>
            </li>
            <li>
              <t>If a change is made in step 2, the update message should take effect after the Effecting Time, which acts on the data plane. If the Effecting Time is earlier than the current time or is all 0, it will take effect immediately.</t>
            </li>
          </ol>
          <t>When AER receives an SM_INFO-NAK message, it could send an SM_INFO-RequestAll message to ACS to acquire the latest state machine information.</t>
        </section>
      </section>
      <section anchor="request-and-response-of-keep-alive-information">
        <name>Request and Response of Keep-alive Information</name>
        <t>In SAVA-X, ACS will periodically send a Keep-alive request to query the availability of AER in the SAVA-X mechanism.</t>
        <section anchor="request-of-keep-alive-information">
          <name>Request of Keep-alive Information</name>
          <t>Keep-alive information request (ALIVE_INFO-Request) is sent by ACS to test the viability of AER. AER would reply to ACS when receiving an ALIVE_INFO-Request message. ACS considers that AER has gone wrong if it does not receive a response from AER within 60 seconds and ACS notifies the AD administrator of the failure information by email. ACS would keep sending ALIVE_INFO-Request to the fault AER at the same time. The filling values of each field in the ACS request are as follows:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">ALIVE_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">REQUEST</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. ACS would maintain a global Transaction Number for packets sent to AER where I Type is ALIVE_INFO and would keep it increasing monotonically.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">None</td>
              </tr>
            </tbody>
          </table>
          <t>ACS considers that AER has gone wrong if it does not receive a response from AER within 60 seconds and ACS notifies the AD administrator of the failure information by email. ACS would consider that AER has recovered from failure when AER replies to the request correctly. ACS performs the following steps to update AER:</t>
          <ol spacing="normal" type="1"><li>
              <t>Keep time synchronization between AER and ACS.</t>
            </li>
            <li>
              <t>Deploy AD registration information, AD prefix information, and state machine information to AER by way of a RENEW message.</t>
            </li>
          </ol>
        </section>
        <section anchor="response-of-keep-alive-information">
          <name>Response of Keep-alive Information</name>
          <t>Keep-alive information response (ALIVE_INFO-Response) is sent by AER to reply to the ALIVE_INFO-Request message.</t>
          <t>In response to ALIVE_INFO-Request, AER fills in the following values for each field in the response:</t>
          <table>
            <thead>
              <tr>
                <th align="left">Field</th>
                <th align="left">Value</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">Version</td>
                <td align="left">1</td>
              </tr>
              <tr>
                <td align="left">Alliance</td>
                <td align="left">The sub-trust alliance number.</td>
              </tr>
              <tr>
                <td align="left">I Type</td>
                <td align="left">ALIVE_INFO</td>
              </tr>
              <tr>
                <td align="left">S Type</td>
                <td align="left">ACK</td>
              </tr>
              <tr>
                <td align="left">Operation</td>
                <td align="left">NULL</td>
              </tr>
              <tr>
                <td align="left">Total Length</td>
                <td align="left">The length of this message.</td>
              </tr>
              <tr>
                <td align="left">Number of Records</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Transaction Number</td>
                <td align="left">The last Transaction Number add 1. AER would maintain a global Transaction Number for packets sent to ACS where I Type is ALIVE_INFO and would keep it increasing monotonically.</td>
              </tr>
              <tr>
                <td align="left">Acknowledgement Number</td>
                <td align="left">0</td>
              </tr>
              <tr>
                <td align="left">Data</td>
                <td align="left">None</td>
              </tr>
            </tbody>
          </table>
        </section>
      </section>
    </section>
    <section anchor="deployment-of-tag-information">
      <name>Deployment of Tag Information</name>
      <t>Tag information deployment (TAG_INFO-Deploy) is sent from ACS to AER and AER adds, verifies, and removes the tag to/from the packet. When using sub-trust alliance level tags and AD_V tags, the primary address domain ACS needs to distribute these two tags to the ACS of the boundary address domain first, and then the boundary address domain ACS will distribute these tags to their respective address domains' AERs. The sub-trust alliance tag is used in the data plane to cross different address domain levels. The AD_V tag is used in the data plane when it is sent from the current address domain to the boundary address domain. Standard TAG_INFO is used in the data plane at the same level and under the same direct parent address field. The three types of tags use the same message format as follows.</t>
      <figure anchor="fig-tag-fmt">
        <name>Format of tag information record.</name>
        <artwork><![CDATA[
 0                   1                   2                   3
 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1 2 3 4 5 6 7 8 9 0 1
+-+-+-+-+-+-+-+-+
|     Action    |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                       Source ADID_Rec                         |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                     Destination ADID_Rec                      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|     Tag Len   |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
~                             TAG                               ~
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
|                      Transition Interval                      |
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
]]></artwork>
      </figure>
      <dl>
        <dt>Action:</dt>
        <dd>
          <t>8-bit filed. 1 for add (ADD=1) and 2 for delete (DEL=2).</t>
        </dd>
        <dt>Source ADID_Rec:</dt>
        <dd>
          <t>Variable-length field. Refer to ADID_Rec in <xref target="savax-control"/>.</t>
        </dd>
        <dt>Destination ADID_Rec:</dt>
        <dd>
          <t>Variable-length field. Refer to ADID_Rec.</t>
        </dd>
        <dt>Tag Len:</dt>
        <dd>
          <t>The length of TAG. The equation for calculation is (Tag Len + 1) * 8 bits. The length of TAG <bcp14>MUST</bcp14> be multiple times of 8 bits. The maximum length is 128 bits and the minimum length is 32 bits. So the minimum of Tag Len is 0011.</t>
        </dd>
        <dt>TAG:</dt>
        <dd>
          <t>Variable-length field. The actual Tag or packet signature.</t>
        </dd>
        <dt>Transition Interval:</dt>
        <dd>
          <t>32-bit, the milliseconds of the interval of state transition.</t>
        </dd>
      </dl>
      <t>When ACS announces a tag to ACS or AER, it fills in the following values for each field:</t>
      <table>
        <thead>
          <tr>
            <th align="left">Field</th>
            <th align="left">Value</th>
          </tr>
        </thead>
        <tbody>
          <tr>
            <td align="left">Version</td>
            <td align="left">1</td>
          </tr>
          <tr>
            <td align="left">Alliance</td>
            <td align="left">The sub-trust alliance number.</td>
          </tr>
          <tr>
            <td align="left">I Type</td>
            <td align="left">TAG_INFO, ALLI_TAG_INFO or AD_V_TAG_INFO</td>
          </tr>
          <tr>
            <td align="left">S Type</td>
            <td align="left">ANNOUNCEMENT</td>
          </tr>
          <tr>
            <td align="left">Operation</td>
            <td align="left">NULL</td>
          </tr>
          <tr>
            <td align="left">Total Length</td>
            <td align="left">The length of this message.</td>
          </tr>
          <tr>
            <td align="left">Number of Records</td>
            <td align="left">The number of TAG_Rec in Data field.</td>
          </tr>
          <tr>
            <td align="left">Transaction Number</td>
            <td align="left">ACS would maintain a global Transaction Number for packets sent to ACS or AER where I Type is TAG_INFO and would keep it increasing monotonically. Acknowledgment Number is 0.</td>
          </tr>
          <tr>
            <td align="left">Acknowledgement Number</td>
            <td align="left">0</td>
          </tr>
          <tr>
            <td align="left">Data</td>
            <td align="left">One or more TAG_Recs. There is no boundary identification between these records, which requires that the implementation of the protocol can process each record sequentially until the end of this message.</td>
          </tr>
        </tbody>
      </table>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>TBD.</t>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>TBD.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <reference anchor="RFC1760">
          <front>
            <title>The S/KEY One-Time Password System</title>
            <author fullname="N. Haller" initials="N." surname="Haller"/>
            <date month="February" year="1995"/>
            <abstract>
              <t>This document describes the S/KEY* One-Time Password system as released for public use by Bellcore. This memo provides information for the Internet community. This memo does not specify an Internet standard of any kind.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="1760"/>
          <seriesInfo name="DOI" value="10.17487/RFC1760"/>
        </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="RFC8200">
          <front>
            <title>Internet Protocol, Version 6 (IPv6) Specification</title>
            <author fullname="S. Deering" initials="S." surname="Deering"/>
            <author fullname="R. Hinden" initials="R." surname="Hinden"/>
            <date month="July" year="2017"/>
            <abstract>
              <t>This document specifies version 6 of the Internet Protocol (IPv6). It obsoletes RFC 2460.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="86"/>
          <seriesInfo name="RFC" value="8200"/>
          <seriesInfo name="DOI" value="10.17487/RFC8200"/>
        </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="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>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <reference anchor="savax-control">
          <front>
            <title>Control Plane of Inter-Domain Source Address Validation Architecture</title>
            <author initials="" surname="Computer Science" fullname="Ke Xu">
              <organization>Tsinghua University</organization>
            </author>
            <author initials="J." surname="Wu" fullname="Jianping Wu">
              <organization abbrev="Tsinghua University">Computer Science, Tsinghua University</organization>
            </author>
            <author initials="" surname="Computer Science" fullname="Xiaoliang Wang">
              <organization>Tsinghua University</organization>
            </author>
            <author initials="" surname="Institute for Network Sciences and Cyberspace" fullname="Yangfei Guo">
              <organization>Tsinghua University</organization>
            </author>
            <date year="2023"/>
          </front>
        </reference>
      </references>
    </references>
    <?line 832?>

<section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>TODO acknowledge.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+197Xbbtpb2f10FXudHkzmSGjttmnpNZ6paTo6mju2x1bSd
We/KokRI4glF6pCUHTdpr2WuZa5s9gcAAiQoy7YcO63VtRqLIvGxsT+fvQF2
Op1WERWx3BVbe+l8vkyicVBEaSKOs7RIx2ksfpDFuZSJKGZS9PpiL02KDC6f
yuxMZiJIQv3LfjiV4iRdFnA5nYhBAn90+uk8iBJxmi6zMdwVhpnMc/EmiKOQ
++ll41lUyHGxzORWKxiNMnkGg8mDs+B9Z6EGsdWCUclpml3sirwIW60wHSfB
HEYdZsGk6LxfdtwHOk+/buXL0TzKc+ikuFjArYP94UshHokgzlPoIUpCuZDw
v6TYaoutQe8H+CfN4K+T4cutVrKcj2S224Jhyt3WOE1ymeTLfFcU2VK2YIjP
WtBUJoNd0TvZ78GX8zR7N83S5WJX/PxK/AzfomQqXuEV+PVMJkto6JEQwtxE
33hw1duFALrFeNP38n0wX8SyO07n9EMAFNsVs6JY5Ltffmn9+qVqcRoVs+Vo
V/x0un/y5cn+8RFdjWEieeF/8KA33D8dtmCaIQxiVyzzTpCPo6i1iHbhUSDa
OEjgqoTOs+BCPI4mQMZYXMj8CdJsFuQzMZOZbAH1d/FyK0+zIpOTnL5hC6Gc
BMu4yEWR8g0Xc/N7qxUsi1kK5O60hOCV/VGKX5bwLc1gQMMcxjVbBuKnJAK2
y6PiAn4ap0tgRuCJvVmUBHBBMtHeL9/J7wv1SFeGy+44sVr+jyhIFkjsn6/Z
/j9UA9+PZZbIot7DL1GQxnATdAH/u14n5/Dke93O0+c7z76fpO/xJ2KEsq9f
4eeJjMSrZao7+q9ZmkynyyAZLxNxEIzSLChAdlZ0Nl2mF9zO979Nx3Ew0nNq
JWk2B0k9A94V4uTl3vY3z5+qP7/e2dZ/vth5Cn+2omRi384yOWaNgReA21nZ
aC1yHAeJvKa2oPY03wj6dNS/QkRJjr3MF6SOTseRTMbS/LpiOfjjsqDbtI+J
rGarnbZXdqQV3qp7xvBlF/Rw9I+ImEldrS4lf1az6K2Qqcbtnj4GSQ5LD70I
4BBxCDYFFJ7uMCczsncBCjdfBFcfgCsCQpDOFjtPd561WqD7Op2OSNJCvh3s
n756ewh/tVp4LRjlRRaMC7jpBzkOUL2hKSNWBJrhSM+DLMwFjOmdBM0VjMdp
hhoSdRjdegxqDSaWMHcGzLBt9YBugB64WIBljeMLUQTvYMKLGOYpzkFTg8FE
Ei2AqbENkAVsOWcRUC0SfeYgBuMoXcK3ooAOclC7Z1KM0DjHwTIZz2QIOhp7
yxdpOoFvbisy74ohtB2RrIUsa5WOzkpZCyxZExGOQcgJTKnA2ctkBuqlQrDR
he6/gBWAAUMDiSSNP5WJzPAiWtIoL8DqAiWmMKKfZzD+cel7wOMj7XKcY0eh
mKU5Ur8QYTSZgJWBZ3v9XJNqcHz2XCTMUW1qFOgKxmlEswIqqMXSqwhfI7T6
0eSCrqMKwa8oZk6bLmm6rdZwBmSYy3kKKzsGdoEhsF8EFAtwSVmX4ZXT3pte
5xe4eQx0ivJ5l1luHoVhLJEpB6gAwyUtOrYs11WBj7npJ2XbAlgwGMVRPkNJ
QgclL9A8R7RCwRyMgWmIm8/F417/SRt9jKSg7wFMRXaKtAP/uMunG+gDX+tV
xPvdhWwTi4JHFacXOVEALmrKw7NfCLBCIeiYjB3Ex739kyfMjvBXhevBmQSi
01y4EWe9+Eu5VnC3s8KgNaIpiSQMe5Klc5watQkjBPYkPwtIHIBOAJ8FfqmN
wxZqeBC0TjSJZO6TTOB5LTMo5jPk8CwDqUnwV9WemkYoYepzpOn5TFLfUUGS
pUeO+gC+gZBNa9ILHDRgbgMnd6warymatogaFUh1Zvo3GmSk1RwsFAxiJOO0
1HMuS7XFCHSWnhc8CIRUoga6PUoUAUDX0cU2r1IjdQ1VkL5B4Rs99KFoQlwW
qebDKB+TgraGz2tZ6cJocotLTCtokLRuOAdV4+s9sKi1BM8ylB66aA0Bwcly
jnKB4gUd5MUy1NyTyVieBfAbKnxgKo62DKPUFcl1lHWpGbQmJek9n0XjGetG
jJPgZkd35iwsI0ly42NBNCCnUooPH5TL9/vvRL15miHJQZPEQKoRWjRsuCsG
MM8iWiwp9uCFtVULaWutVGgWsLrLBZpv/klxuhJYYCFWM2oF82gKS4wTHsDS
wb3z1LQSLBaxDmUxdoFALY5+k3oMSYji8lugTW6V+FFia3GQgkkwjuKIBq+W
Ef4MhfznMlrQWofyDERmAddGF5admgfJEp7FUWYshUBYWJvf1LpD0+MUHiPb
CF/QxYCwDHT5VVb/HyncGF90yd0B3/oMNSQ2jx325SRKIvrOhuadvMBgFcRh
6/VPp0OMfvFfcXhEf5/s/+dPg5P9Pv59+vfewYH5o6XuOP370U8H/fKv8sm9
o9ev9w/7/DBcFc6l1tbr3q9bvIZbR8fDwdFh72CLiW3LDYTVSIuRmv8ik0jr
IG+BWI+zaARf4Jkf9o7/93+2vwJu/H/Ajjvb298CO/KXF9vffAVfQMsm3FuK
cshfgawXLWAPGWRkBUAaxsECljYGEQlykc/S84SCWSDnv/w3Uub/74p/HY0X
21/9m7qAE3Yuapo5F4lm9Su1h5mInkuebgw1nesVSrvj7f3qfNd0ty7+67/H
aJQ62y/+/d+QhR6JIWnkNE6nF0S/HoUpUcDeykfnu/gILIbrsuBvrY8d5/O3
3Y7vA/f19k4/1jEl1uA540ulh1LTHmwtlQ3fO1WmAVz6CMwTqBsTjKKTlqL2
6OLgoL+PFXeIewT/s0BdUPWgSI25NiAH7aP8H9RNKaMhpEyNqmQ/ADzxREcM
0IB9C2gskMz3XRrTAEc1rHg3QULOibrh7Ykcq5vAcoH88mAZqKrcvn9ChHV8
Lm0AIhV9hEIZW1DYqA/LLvGP02GPmzoeYMfVftkPwfFbT2XlUyeD+nBpvYwB
tJen2gS0cPr6ozil5X6tjYUZvmYKVrboPUVEAOQCO9agAIPaapyDy1HWmGga
wx7OgLihZ7hhWIk52GuhcMDr+WM7wZQ7N7GGdmm1jfKHfbTAyq/5yLrdi9G+
pFGLD48W74oOT+H3VmsfBOgCqQoqbRmHqE/LhY9lALMiz3jvtEJb0JXMuXk0
ijli1yTXTi4ZQDQps2hhexnG4614jCZEwQZAdBIOd/OKELdrHeUXENhmaYJx
b8V5IH9eKvGCW/W6hxwE6uAD5X64d4yTg0UKaTr+eBMG0NGahP6GR1utP/DT
Ek9F/bPtubbjufYMH9+Gn56Jr8TX4rn4RrwQ317lWutvnRv+B1obPm8QQAHW
gQ9912xN3wdieLGQIHfqXyGOFto1g983NYaGzzAFGywOZDIFjmj43OoYDo0m
PSEdkX/6MQyzIMkDRoLUcD71GHrjd0l6HstwSr5Y8yg2MYY/mtaCP330yFd9
/tjEGEi+P+yKR5No2kHNkCadybxgrPq7rVekVmJbZ8DqlJE3KNvuFqjblpKt
3daueNEZRQUHvuNlRpHAGf/63dPRNtlXMhOgXrQEVh7Ll6NOBclhS484AMkn
PvAVPzCwXR34qQ0qA9Xcq7cn+y/fDg5fHrVBreCVHrgR+6/UpR196RhuG/yi
rj6jq2CGh/tvX/f2/j443Fe/fEW/9Ae9V4dHp4NTdfVrunry0+Hh4PDVW36O
f3muWjqBS69+VRe/4U4PBm/0bS/oyrCnh/WtuuNg8La8uP1UD/aNucquPdqO
nGKGZRLkGBTKEIh0WiXSqaRkoCKQIsfh4dFPh3v74DcP0fno7x8fHP2K3zR1
0LPfPx1qsqivb2F0mh69vR81EQ57P+pZ9+iymixd52me0HWe4glcXzkHo34r
zDGJMmCMZwIuICAJvhM2p0Glk/3D/Z9p9jilJC264iU9ALfvKs5IgMf5PmZk
TRD7Ggb7YKpD+7my96YWyjvctoazKKs1FQeXtEQ3OA1BDGsZCiTMs52SMjGb
DxfS2mVkQ9s+cAxQsUBLNY1vN2d8RQwl9BN1Be2OICK4qIQpbQcPXLnlSKMS
bfHPJbhnlHJWzpZyafBhiO2XUvttUTLOwFsDzwfcoCJNOJHQFX2DMrBCyAXF
ppQVgEbQJ4ZItj5iXAsICaYzHu8kknHYJucZkZI4xVy7dggtxTKD4JiSDTDc
ND4DT+oc/LJpzBGiAv1EhCvktSE2oRj3pKh8EsUxtjVTNQYst/gzSQqJDgsT
ixELkJKerjhClj+PkHjQaOnpqmZhzE9hQLh62P+bIIvAD5UdxSc0966iH81D
da/gOaApoUIlwPKzZ5yWEtlttTpiMNEtfucqXLJn1KdQET6MFH1wDaKpuKlb
b8RR0Ze3c+xtx6fUL21LRU/VtkrV7GhqUVXSa/SAt1IPPuoqjStc5Vuj81WI
rILpy6iM4/A2lqjW1mnUR/KNNKzM8KVtBkroRBgF0wTh7UyC6skRwQhljQaW
XW4cYoMY7BlJVXbuRov0+UjCuiuBTdXXglX/pheD1Sb9X6nK9QYms4zC41DS
4m2r7EgWzDFLwy4KqX1lIND5cNIqYEIwHaRshDC5IJwbe1RzSUa313+cP9FA
u2ZJnZtJJWeV5PsoL/RNoWTEPzrzucfYAftoQTxNs6iYzdn9tEEkQu5GFybR
yDYPe8qXiwXmtkcX9RzV3mkXwRcND/hBGPA4I50RH4ERfTeeIWiPwGGYLgrG
rMuEgsY5FMzvYGE+AEWbZ/IaOG+tQCKVHai0YXC2Xl82oDJ28Z7C8uxGavil
p1Pyq9wZdwlA7gFRl9AH2v+2+E92dbC/E83wGAM5S2MFMUDLJlxO43ePlTA+
gQsw+Bz6cfiQH2DEh3yLoIr1AYfJaVpEhBhpCKjM3BB0KkMCF4mAvb6uVoBl
sH9VP9otGvSqku6aMc/RAzrbm89hQUggBn1BmRqTLXNjztI9rLURB9lUN0FI
pKKOm3WushrnWJBEbeB/kOYgVwOIeeT1BJ0WrbaaWoHeJSWXOFcDjmtbyGLc
paqiIOPyCw0HE7DGCrlthoj1mEA4GRLEvv9+EWVIvmE0pzwccFykR4sT2IcF
Ghf6ji4/wKOjRyi7l5f+pLXIdQZIBaa5gXKUTLu/YJ8Ca3rjQoN3twhC6doT
nXNo+tzeGPpO+n7VMG6VDko9Faye+p+EDj1jvOwenP4Gp3WU9FbBuIHSCUyQ
xs8mwLiGtRiWamag1MwnWIvqx1U9jXT4uBLmXudzu7NwNOw9n4ULzubzqJOh
VWNkVqW9wBI2pvGUu8AALatPC0tj9xYsDDrJXHjCmIjx9FsVZbgCRDiR4DmQ
tdMa68MHpwL6998RifCotis1CibR127Fl+pXgTF2DMJaNV3FQzF5QPA6wNWk
tLWpVTJeDzqM6PigPZ9m6XnuQlM4RuhMJ851vyGny5e6uCVHpx/90JGcYHhF
dTsTrA60snnKnZ0v4yJaAHnc0lLCz5XCxBlvP+cZlyEAdY7FQ50f0vddteI/
Dk5PO99+awi041x9ToCx+A/EfDTuezQ87uzsvPhWvO5/vRKyNcrZHk4VmZQV
lcqLjQV+1tVGrvAinRzTYRWNdvcoOW6Go7FLV4lWuWQeQWyQE+prggbt15Vy
Vjp90KqrFLHB5wpwVy6YPbinhNLpoBEFzY3ODHwnE5y2zQ+EBLu3S9RkxASO
TrPHgE9iCbEmk9MAhSqPmsMQJ4pZFZME1n0YmVDM3tFPP8GZY4DC4ZIVe5J3
7gaaxvuCnxHDzHX0O0njOD3HORI4TBWRQsJgmLq7WJbzkuj8EcuFQXbLShxT
ggOXFAr+cRvLNFQk+HG4MuMEd5rUMM8NiyrUFRv9RJtRpow/isOfDg527Qmz
jkVcPiu8JRhf1Op2agSibIC3VSzCqbV4aYNYn2FlFIgWFeGaQ8gbTCXeWksZ
0P1lEY6yHCZnoGQbO6kB8dwV8rUn74tWabtL8zsnqTCIQSCmcTqCAXuesotZ
ieWwGPMcq9k0rETWrUyfle2/k3JBwDynG5DTjFanIiUD6ks7M/zxKa46TfXj
UR0swwIczHE6hKkgUUrsKXERaMuDg+yrgFvHPYgy9rmQm34Wo2g6Jf0QJE6y
lbQ+3cLIieoBaUpxtesvhFghqQAaZfidfmvdguGCqFVQ9ebqHudp6LW0dp9l
p0eYEMF7ff4udu/6bogHjST3EYH1EZwNMZF1qU5VpbQqoPYAXPperKeBNUD8
UHO9DrxLgdOQI/hWMjrD4QSeJF40QW6q4IG2OLXFGiNZPRBeploTXPGreyyx
SQ1GkhVi/BP05rYBK0rau1KlK1TtMv3qrfpeJgrWGWlsLA/mrKfYz3FyVj4C
KHlUa+b0rEueECnRZuZEYadAHQ2jEo/zhk8ftuhwYrfWEDkRzJ3gXYO3WbkB
/E2EqVn22rXh/8xk3QHdNR7LRSEk1aEZuAcLuNUOBhjMHEEntm05buMjBJyw
bJK0UiS10DXIXHUUTEPj0/tUQ3dld0CFdbSLv19WNFGlZI2c7yK3TDm15N4D
/lfRbT3z7GPA1rF4v8oAmHO5mrBeWVAvlVNrNOtI7H0Q2I3J60bEdW1pfZA8
7pd3et6K9Il9ingxlG1XnUm9tRA/mZynyDlZNJ1hGcu5QZ0vKDBEecIG2czz
XJUThDuo8BYVKW9W3ofk75F4nKdU75RzSmgRR7wdsxqi6OZoh2hQWE4i92Zy
LKQ/JpNI7fIWQcUp1D6S0QTOk4mceh+jyec85DJQ8smaR6Eg3SgZZQcVSgAp
9qRCEH9ezxGBuwmgiL6sgjFXuIK2qpKsvLmRnL447KZhztM/cQgz9JsGxUtW
jt7OiCrt3S3Dn1OTuMfiB3GYkndlLsLa7ZblGGWm3Y4FPnywSvh/x9jpMC1m
LDuYIeOUXZjyHtLEjoKVIcsbVcX5LIqlVSWVSbNTAvx3eV7d90taR+mHety8
Xv+WM3Ap2qIt44dHVYdzdT6Yn3pceaiCurhaQ+uRzx19URVRftzFLB7iIs0I
OZDCUqcPamItpANl+6NVeXOJHGjWNg41SqFMQvcmj+dcFTrQ/Xk6V4ixVY5T
c1KtAZ17/fQTjxdRs46Ox2g5BZX5OHKjtMt4PQ/dKKeru+jV0Ta46zVKeDx1
x63eFPnW8sS0B+znkq4dnl/bETvZgCO2hu5c2xGz2rL8r7rYdu0y0Ku4SSfr
uUmWzsSSOVCaKjytVKBSTWMFs6RjGyZgNC3M13m6fNxXfEeP1zwBT6zu57hN
B+0Vzqu72bw3/Z/LiPJ0vF+vEpiuFdjrDu4wsrcm9RDg3+MA/7OE1vzW/G7F
te7bb0BY17Xvf1051RkMpL7eHbNiAR22gjhJ31Itmu3r0nG3XhaFB08ecUfS
hv715NBhVnXnkZsUfYwV7PXgSddtYAORWmmXxcYzOX5HcjdOk0k0XVrnuOg7
90/yL7DsGv2O3HEUSeJUQM0Mgi3BhWUMtrlfoek9DMcM2dYKyP5ckZWZ+xVi
K9q2tl58JXoenMRKTOH5VOd4RkPLlg2zraKRu/neJ8YDX6Mi4854CWzPAx9d
h482BOetz4OtH7iCzUT15O1Xlepapr5Uqbh5s65Wp8sAZlZIWaYZlHHB+jHy
MkoA4rIx1KJc7l1vJCbHzNnsYrQ0Dg6PdNO3agOnNhyTJ0+j+SJngKJd7wxl
8ELvYKgLqTGOwGaqLBE6VjEURpJlTEltcBEfHTKsHa0RrjZWKqrChyAOsnm5
lWUeJXheEB6Oy4IPfKwclYgOFBvFct5Fd1tPhTI9nqlwQlXXH2Vyyu3ytgij
itq+bTZkK1eBc9gqWlGQP1UMF1SGwHYUiUnlmjcnpaqLxWaXSS6sA/1oBEzT
ck8U8EHTnqiSRKDFojRUBaJ8UCTWkTbTyrsrqX0JvWo7nywC0tlARnzwqv0k
kIBdP9ZztCtFOZQ8WFxZOvDQvzzOBNmF69ODvAVKyV99ExRM86SBBgyYl634
bne8QGYQfbwObtLD1aRz83BO9vGcK9oRj/U+zQ73/USdn+VO0VLi+n4bsLFr
Jz1Ii04fYKod1umL6lrgjmvclxTLSVFWZ7MYO42x6PEWL1wKX2M8cayQquxM
x5JUDgddbMa7ExX0q73DHI8UDkkaTdrXwvrUU5U6wFzUt9RxuQHEu9jpPLjA
U3ZRlZqscrnvi3EX/j1XwrgI+IDE6r4oLmCDRTPmwA03kVhsEefWpGB4oA3L
Q3MrfgtG0GyooWE6bcDBG6g+HFmj3AqpT+TXN5pzMM3JCroMXJ8KoMINRVri
VbV9TJopqh80alBgNZw+MoLoaTaZmtI/c+IfuHwsShrHItbCVsuV3kx5GxJp
bBezGbnyxH86XLdi0BXqUY+RunDCdgtTvyflM1agjMPl4DiwASx7f2ADgOUE
/+R5rBHs1wiOhairae4Yk2T1EoBjcKxG68zDgG31+tGS9z2bnOk0l/JsO4/s
2VM3QJhqTyFgnqe6a42HhpGvNw6qX8E17pVn5OJ5d1NU2dcZojo+OpYKUlRn
OMf6yVW6zrCrkV/vdK87VXvTrTVdXDnPlMMUf8GMvWcY/f2Dm1Dd7odrjxzq
kgQ20vdKBHxGUhuoCfK5gCHdlxcQl+1w+KAgYKVh8WB7bbvc3vBet0e90ShA
O5ZWD1HvauS4OkyQsyCDuN0DHJMJwOOneRsAbzQhz9geVzSfyxA3A5OLhtSk
EZRqhk15U62ktqqYiDUbtekGO6OrHnEymzxdgq70UUw6Hi29GeN+bOszUPXx
S433qkOGlFUdgapKEn0kKavSEA9IxvCfQxTFfYU+jWnNltUeGl+b7C/rY3FL
zVuS7TokeIrMRo2gKPn8DQ7RahNEzmsZq4S8YA8lX2k471fZacVuKpX6OdjN
yXXtpskZ3dxGouhfxURWu76yOfTYiHtkEm80veubQN2tiowo3rN8f2devp4p
BuAGLRe+kkwHDcBmxoSDShj4tG9Ts8vEDF0r8NcwdY+sjBKfo7gCRhjOyhN5
dBHd6IJWGIEAVevhL2yhp/LL+rDqjUkb06k2mn7Vk6FJ96hwrvGAYbpWgSNs
7UWwSzX80kmu88vGgBUtuDH3snF8omSBnkgt77RLhDcz8QzbOuOuPFyNTlRz
H3WpfisVxaflsWBq8EjQciul3vJe3Uspqg/y8J/eYJOl0V3XT2ywZNTyG3qp
DGqysRLEOvl8x8blTeSi6mRdwmi9aAPXoCooj+GJJxauUYHwze1Y8qCgQoZH
ZiliXnbFIil0q2zxJSZu+VWEbQVXKRVCZ5MrB0eZAdsZqFUDmFE4Nc/6TVBJ
fo5HF3St/Lz2mJw9ACrN9amKHHDGPn+vhM3LQbI9qjl0PJl1HbpKjSkdcb7D
cy4ROuWV6ZMHtY0ChX7FcNVKGNJB+aXfA/PZOkHu2XIntPqJQ13Kpx+1d+pQ
vkL5Fuca0MRmdFpDdVieDeWJOywZMb5BcgGhQm75BOwlWA1XxmXPA98TAcRB
T6FxFUzyhqiMB9ZbJAn8nB3lZdO6TsNupdkBd41q7iWRNRbtPDSnLNwcxIqO
TeoV1F68DDG21N5DufHIma1jtunA13rGi8P4yqv57KqXxvF4PJu7MuC0Y2Td
6t6uoL0k65X0Vkw37w1oQqLN8QoeH+rGewPKrTA42Yqx9+ZLbsPWb6CIQTHd
alt//3YlIdU9mS3bRbh0jxK+ZsTdo6RiAT5Oz7xLpnL89ah8i3RedqxjI5Xy
sV4AF6FDgNRwKvBMMgmRG20ZqexL2QjOJRVkEMQS/oht9KrCoXeUznvI5t2j
bJ7PtLYd55XG7d1zs0aC73LcbBVQ5ofuAnQlSnyPXVb49ZO5rJdBlPcJibw8
g1e60IsVmORDJu8hk/eQybu38OYVMnk+jf+Q1/s88nr2cv5lE3sNMNC9zutZ
u8E+fWav3vmfLLd3wwneyCw+pPfug/2rh4d+sJHaukrEUtlLuGbgcln1MwJ3
rEyOucJ7cGnRs+9G/3srwvLRx8cvf3ELmSP7TBA1OQJcr7HF7JMghe4Lb0QJ
GJavqoNrxtAqeA9mRe8ay2cmB6hYvKLPyxTfF4qWCMUqDNBqxU0HWvdu9vRU
9XKIe3V6agPYV1mYWz1LVZPlWljb8V8IawtWY20RnbeiJEFrOS5V6PPrHw9s
WMqcPV1F45ykZTSpq2/o6GvdtzUzbRq9r9ZRquy4Xe7S8VgOKrIg+p9sU0jB
BiywA+T2JQ9S/uobQ5vAjmrp2YR5F3d6FDan6CGS/8PzhbWnd6douoHHzY4v
9rlNfYyg2zmdw8x3BopI31hhF67BtdHNqDS7I8zTaVm0d8+z9wztnPPOdzQH
FIFsGNw8/kTg5rHZlLIC3ayYv6sDnBOH0YtSeZCvpU480HP2JOkFv14Bb6Qe
FAPRnbi3MY7QbbLeAV7aGA+6mq27a6LuFXx+WKqLSW4i+DPccAMo1UNZDaLW
ygeON7kZQnW8JnRq3X1DyLSh342Bgw3trwIFrUeUjarYpw0FPfc12LkC2Neg
AB/wvrvE+5RyXSYRKhFwIEyNEyy7dr+1bnUC/rVQwPuqwq+kvTXT3R/1fXvK
+qag3foqek2kylawG0Co8rKnB6jKqUS/KrRjznr1yEIV2zElXfgPvzWVFt1G
MVZ6jGxo7uGxQ42QkFMiZSq5S6jrEh+5XmzfFZ7isTs8f+b2yrR9aM4mi7Xt
82JtN2WFUr9CGQqe3WYHSqZVqpj0ltdWIh/2U/R73kxhKW/VKGYpvw7MtKtL
M+2OaEShzMdZNNKHWVvT42o1elfdbdVYn8/oXDSzqLr3axRfrx99rXnunEsq
cyT2OqXXTtk1Dv7uy66PEVQeL2MwDJXCa1zJlTXX3s0nmy+19pF7jVJrh8PX
L7W+TJler8i6bhjFh0d1kWo0lmsUW6+UaDpm1F9WbVVOtxsPpW5Xi7Vp9nQc
rgNxusdrbZnXzfMPW8otQliL5AC7LkEzeAJNXSTVexErjVmDBvKXj7k+7Jb1
5ktT6ZrbL6akWZRnSkk8jIa1ZukUoFzS2y+LLA2XYxVyOSTWi3KthNOdOhe3
V6BedTJU9olYxmK9la6LSuPdaoW6gjmbCtRpxnd7uN6nTFUN/Tb4ZtXpdtJL
rXcpvBrzvkK1ev2NGp9vBm0dnL/yug9WaDSWFF8neCZdy2Vvkinlypcgv0FN
9GeM2l/ZofyEpdFNm5xXRBT55TjRA5r/gObffzT/stJdHFMFh3uA9TcP69fI
/Fnj+xtU9psE/u9Gz8OPeJimUoKJVZjFCpcR75a7+g+pgnuZKtAs9dmZBl9V
qw/XqVa1XldkrlXsyuFUQwZh7VOAG9+K5yuHXXFz83vy7LJY/RqK26iK/YTv
wfNWw/pSFk4pK4VDblGs7wUfttpQLw/FU69NZNbrqzckcuGS+lo/mtgto0Ur
E0tSKZvse8NluOY1tQ7WcR+hjVt7wZ+NRJTv97oGeHC/t7rXWS+qFtpC/7QT
XLKaw5Pf2f1tVDVzYAe6HwFicsw1AL3yMeVeMX9Tx5WawPIg7EsaqT3JgAe1
bAUMlkokFzHT1OSzxrGsOFZZY7URht5vIM/xJPwwrL5fKlcZMH3WeKWf3LbJ
apWdUERXlSYSFxs5i15KQIVLaDPJq+Gay9Cch+6gJS/tutLKorWVS1O+GgHT
AVUWF0tTPECNmHd3uW4MeAAJFXZiv7plXeXM0symQbXL505E7JiG6jVMyuNW
XTS/E6zy3iUr9OIG52kYTS6wTUMhlz/sfnyvOuMYs9LND6nWnQjVwNT4PuUS
gw/cFX/HWZ9LLdPMLqTQInUuDogB2ElasP33iygzrhJK9UhzQ7j6jALXWpfu
3I1gOqey1wU7aNnUmuRz4LxLF0XQa8yjG8B/9xj00ybm7kt4m/zaColvEv5p
edVhkCs0M1mRmpou5rkoU2O9ItDDLrLrdrKuBnC6WP02QPPCv79AsHQFHM2v
UB6QtAck7X5r0JtW0F7dFF2iJrt/JjW5GvgCBq44uzy6DaFelbYfwK9qney1
MB9TL1t572hjrSxz+2eB+JhTb51zmyt8dDmO4oszSWecRTAQEPY80C9Ft09R
zky1pApzVcGeXXlQDZn85bnIEJeMmkfq3SV3KxW66x7M3FgK8xmcy+wAR7d7
LPPRVY5lTlIV414VZ9IN3zHQ1HL2RoP2NvxL/99WXiYWepZslGuIyCM3bbsg
r9ffId05l7D4PDNzJIz9EufT14+hL3yH4M4TPvIcL+zghe0nlqOrXgNb6mO7
PCZnOMMVztXv/NbHZeN2hPtbxm3ebq5qPvX3hiLucnZ3UMN9me/4CUu4E4dQ
DyXct1zC7SX35SXcicPea5Zwr3yh6JXKuGt13I2Om/jwqCZZq525Neq5V4i2
B9L8zJN+96UkeeXre2+7LNmfq6vVJd/dGTprZO7uzSu/m8/KrlUjawjgk1cj
3xNHb42ExTWrkXnzy10WIzcK9Jq5ic+uRO3muYm6F3yl/ekPCYm/YkGvR1E8
ZCEeshB/6izELenJK9Xtelb6z6RfHzIZ98ogeMp4vbF97XDay0SluV632YGj
klydV6lW4f4IEUgniNEztTMsAxhI702v84u1oRlUaJSGHJhoJWw9bsBIffYI
Di44C6I4GEVxVPD5t/iePAWpUPswOWSFKJ/XE0ANY7MuezM/vYPBm/2G5I8q
z0P3WwOnZ5E7PhuDL1+4xXh6BQSt91TadIY2kxzMXGbhtjPQpVOMsshdV169
2TKg2IW8drVGJl2Fih9I9/ypstq5qQCFJ0s7irmccA6OBFVupyYgnMBCoFG1
SQbUkBDhxnbESyEpri6VftUnqCKXSbCMeUa6pBItSkFnhQ7JAsexBZ/AIEr0
RHMAw9GKL1Fv2W8l/CQ7v8306lm2+3UMzO0AEtb8N4NJ1I9/aX2ucqDH7A4Z
LeoZ1ZjSeHRj56W+p+xKNb43b2FQwLnMsPO8AjWiBaRHlfmDBvlVDajx2A7l
F8l4BhSLfnOBEhJEJgP5S6rOacUmjrZ/BwcXHF8G7yHFzoMLdtidYMRzrEeD
Gm/W4+pRV5HzRVeTcxLfBcebVXILrZppHSdSu7d95WIAfZtu9y41F8SU9sHo
d660bpjKbjq36hMorer2o2EwrbwvHC40bTUa9l6ttdfIJOKBXuBLg1oh7dVW
Ba64f5o1RBEg/P6lCd6YSgo24CDFwzQxREnoo06Vguy/fUPf2goajeYIvAbq
7RdhiovEalTKkNRQiIojGi05vlG5YWpQCxseY81q1SC5lQYpEje7GJKV9xpP
s95x2WmUkaypg7fdFvIvkJ46J1wnCRIyUi9Aj6qxARXIZyk2FoFPT75/ZYBE
UtW8pueKBs/1seL2+tuhRaV5RdUG8nQxr4Y/hEJz2Iq+ba+MOYG2UCShtPZL
hBFaJdwGYo9GZVOGBOJkUpbvuqdl4LjRnORtTpSfB5Vq9T/w0xJPRf2z7bm2
47n2DB/fhp+eia/E1+K5+Ea8EN9e5Vrrb53KfyDs+FGAAXw+1u+56n+qzfrn
NF1m4zKD0XDXbY6hL3F/SKC2cKwaxubGgNoRzM2G2vyjkWrUV+/Vyt+F+OP2
1te38+XWaMvy9GFXPJpE0w7IYmcyR3iiiOV3Wy9ZAFlIK/4UGvLu1u/ojBPT
77Z2xQvK2IGng9u2tsn4otl+3Ov3v9vmAqIduqpe2fS4v3/w3c4TEOsKS2Nj
b4IMguhYdpRjoav/5AS1TepUz334kAdnwfsO+NdFlsZUWePj0au022WDDCyH
T7keDvAH6zIE+BgBxiRlEGMhiN4D9Fhz7N8ETP5fQHkAdZSid5piFBpfsg7h
b7SIOeQl5Wg/Mw/eR/PlXD+LgPsO/27wcQxN3Fue7agWTlPnDuV/4PAQtn66
vY3z7b1aQSEcA3hXS/S04FHjWYk8mgKdIWTBJurMi01yMrethgCmU4dZytJH
mtENqliYhgz0BZYcN90tkzFtYWcPxnrtBQFf97DiQltWCAQODgZvjaGl06Le
vjEXLKf78PDop8O9/epriTbjfQ+dwgfsvV6E6nfQNwEZlG8pqTrhhjBXcMFF
6YDb/jfy9DV2KCtaXGuHssLF77KcALgXooxTCa4gQo97Cm2g/nKQzR/6VFkl
Br3DXtOvwPBiBGuG97m0zcFMMNvI8LutSRDnEvX/8Kh/ZBf+dFv/B1LVDaQO
9wAA

-->

</rfc>
