<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.17 (Ruby 3.0.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-xu-savax-protocol-03" category="info" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.15.2 -->
  <front>
    <title abbrev="SAVA-X-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-03"/>
    <author initials="K." surname="Xu" fullname="Ke Xu">
      <organization abbrev="Tsinghua University">Computer Science, Tsinghua University</organization>
      <address>
        <postal>
          <street>Qinghuayuan street, Haidian District</street>
          <city>Beijing</city>
          <code>100084</code>
          <country>China</country>
        </postal>
        <email>xuke@tsinghua.edu.cn</email>
      </address>
    </author>
    <author initials="J." surname="Wu" fullname="Jianping Wu">
      <organization abbrev="Tsinghua University">Computer Science, Tsinghua University</organization>
      <address>
        <postal>
          <street>Qinghuayuan street, Haidian District</street>
          <city>Beijing</city>
          <code>100084</code>
          <country>China</country>
        </postal>
        <email>jianping@cernet.edu.cn</email>
      </address>
    </author>
    <author initials="X." surname="Wang" fullname="Xiaoliang Wang">
      <organization abbrev="Tsinghua University">Computer Science, Tsinghua University</organization>
      <address>
        <postal>
          <street>Qinghuayuan street, Haidian District</street>
          <city>Beijing</city>
          <code>100084</code>
          <country>China</country>
        </postal>
        <email>wangxiaoliang0623@foxmail.com</email>
      </address>
    </author>
    <author initials="Y." surname="Guo" fullname="Yangfei Guo">
      <organization abbrev="Tsinghua University">Institute for Network Sciences and Cyberspace, Tsinghua University</organization>
      <address>
        <postal>
          <street>Qinghuayuan street, Haidian District</street>
          <city>Beijing</city>
          <code>100084</code>
          <country>China</country>
        </postal>
        <email>guoyangfei@zgclab.edu.cn</email>
      </address>
    </author>
    <date year="2022" month="November" day="21"/>
    <area>Operations and Management Area</area>
    <workgroup>Network Working Group</workgroup>
    <keyword>Internet-Draft</keyword>
    <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. The inter-domain source address validation architecture is an effort to enhance the Internet by using state machine to generate consistent tags. When communicating between two end hosts at different ADs of IPv6 network, tags will be added to the packets to identify the authenticity of the IPv6 source address.</t>
      <t>This memo focus on the packet formats and processing flow of the SAVA-X mechanism.</t>
    </abstract>
  </front>
  <middle>
    <section anchor="introduction">
      <name>Introduction</name>
      <t>The Inter-Domain Source Address Validation Architecture (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 are addresses in the trust alliance, however the tag is not added or incorrectly added, 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 address. You could 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>
      <t>The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in RFC 2119, BCP 14 <xref target="RFC2119"/> and indicate requirement levels for compliant CoAP implementations.</t>
    </section>
    <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">AD</td>
            <td align="left">Address Domain, the unit of a trust alliance, which is an address set consisting of all IPv6 addresses corresponding to an IPv6 address prefix.</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">ACS</td>
            <td align="left">AD Control Server, the server that matains state machine with other ACS and distribute information to AER.</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">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">ARI_Rec</td>
            <td align="left">The record with relavent information of an AD or STA.</td>
          </tr>
          <tr>
            <td align="left">API_Rec</td>
            <td align="left">The record of prefix 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">Tag</td>
            <td align="left">The authentic identification of source address of a packet.</td>
          </tr>
        </tbody>
      </table>
    </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>
      <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                      |
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
 |                     Acknowledgement Number                    |
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
 ~                              Data                             ~
 +-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
]]></artwork>
      <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 means 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. And different I Types MUST have its own Transaction Number. Through this field, ACS can locate which information has been resolved wrongly and corrected it.</t>
        </dd>
        <dt>Acknowledgement Number:</dt>
        <dd>
          <t>32-bit, it is only be filled when S Type is ACK, NAK, AACK, ANAK, RACK or RNAK. Otherwise it is 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 S Type is ANNOUNCEMENT:</t>
      <ul spacing="normal">
        <li>If I Type = AD_REG_INFO, Data field SHOULD be one or more ARI_Rec.</li>
        <li>If I Type = AD_PREFIX_INFO, Data field SHOULD be one or more API_Rec.</li>
        <li>If I Type = STATE_MACHINE_INFO, Data field SHOULD be one or more SMI_Rec.</li>
        <li>If I Type = TAG_INFO, ALLI_TAG_INFO or AD_V_TAG_INFO, Data field SHOULD be one or more TAG_Rec.</li>
      </ul>
      <t>When S Type is REQUEST or REQUEST_ALL:</t>
      <ul spacing="normal">
        <li>If I Type = REG_INFO, Data field SHOULD be one or more ADID_Rec.</li>
        <li>If I Type = AD_PREFIX_INFO, Data field SHOULD be none or one or more ADID_Rec.</li>
        <li>If I Type = STATE_MACHINE_INFO, Data field SHOULD be none or one or more ADID_Rec.</li>
        <li>If I Type = DIAGNOSE_INFO, Data field SHOULD be a 32-bit diagnose reqeust code.</li>
        <li>If I Type = ALIVE_INFO, Data field SHOULD be none.</li>
      </ul>
      <t>When S Type is ACK, AACK or RACK:</t>
      <ul spacing="normal">
        <li>If I Type = REG_INFO, Data field SHOULD be one or more ARI_Rec.</li>
        <li>If I Type = AD_PREFIX_INFO, Data field SHOULD be one or more API_Rec.</li>
        <li>If I Type = STATE_MACHINE_INFO, Data field SHOULD be one or more SMI_Rec.</li>
        <li>If I Type = DIAGNOSE_INFO, Data field SHOULD be one 32-bit diagnose response code.</li>
        <li>If I Type = ALIVE_INFO, Data field SHOULD be none.</li>
      </ul>
      <t>When S Type is NAK, ANAK or RNAK, Data field SHOULD be one 32-bit error code:</t>
      <ul spacing="normal">
        <li>1 for parameters are wrong which means the packet cannot resolve correctly.</li>
        <li>2 for member AD(s) in request packet does not exist in the designative sub-trust alliance.</li>
        <li>3 for algorithm for State Machine set by source ACS cannot support by the destination ACS.</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 state machine is negotiated between different ordered pairs of ADs. When an ordered pair of ADs is negotiating the state machine, ACS of AD with smaller ADID initiates the  communication and ACS of AD with larger ADID uses SMI_Rec determines 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>
        <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>
        <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="SAVA-X-Control"/>.</t>
          </dd>
          <dt>Destination ADID_Rec:</dt>
          <dd>
            <t>Variable-length field. Refer to ADID_Rec in <xref target="SAVA-X-Control"/>.</t>
          </dd>
          <dt>State Mathine 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 Initial State field.</t>
          </dd>
          <dt>Initial State:</dt>
          <dd>
            <t>Variable-length field, the length of this filed is determined by IS Length.</t>
          </dd>
          <dt>Transition Interval:</dt>
          <dd>
            <t>32-bit, the milliseconds of 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 expired.</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 machines 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 Data field should have an unique SM_ID. When Action  is ADD and SM_ID bigger than 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 Transition Interval and Expiring Time can be modified.  Other SMI_Rec should be discarded and destination ACS should send a  NAK message to source ACS.</t>
          <t>When receiving a non-RENEW packet, if it cannot resolve this message,  destination ACS should send a NAK message to source ACS. When  destination ACS can resolve the packet correctly, it SHOULD:</t>
          <ol spacing="normal" type="1"><li>Compare the Transaction Number in this packet with Transaction  Number received from the same ACS before. Otherwise, destination ACS  would discard this packet and send a SM_INFO-Request to request the  lastest information of state machine. SM_INFO-Request is defined at  <xref target="SM_INFO-Request"/>. If bigger, destination ACS WOULD:</li>
            <li>Accept every SMI_Rec and process them as following: 
  - 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 bigger than current used SM_ID, destination ACS would add this state machine to its following used state machine list.</li>
            <li>And then destination ACS will send an SM_INFO-AACK message to source ACS.</li>
          </ol>
          <t>When receiving a RENEW packet, if it cannot resolve this message, destination ACS should send a SM_INFO-ANAK message to source ACS. When destination ACS can resolve the packet correctly, it SHOULD:</t>
          <ol spacing="normal" type="1"><li>Compare the Transaction Number in this packet with Transaction Number received from the same ACS before. Otherwise, destination ACS would discard this packet and send a SM_INFO-Request to request the lastest information of state machine. If bigger, destination ACS WOULD:</li>
            <li>Accept every SMI_Rec and process them as following: 
  - 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 bigger than 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 they are in using.</li>
            <li>And then destination ACS will send an SM_INFO-AACK message to source ACS.</li>
          </ol>
          <t>There are two types of reply of SM_INFO-Annouce message. That is SM_INFO-AACK representing affirmative acknowledgement and SM_INFO-ANAK representing negative acknowledgement. These are sent from destination ACS to source ACS. The mainly part of packet is filled by 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 do when source ACS receives an SM_INFO-AACK message while it should regenerate a new state machine and announces 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 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">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 source ACS receives a SM_INFO-Request message, it would send a SM_INFO-RNAK message to destination ACS if some fields are wrong. Otherwise, source ACS would send an SM_INFO-RACK message to destination ACS and process this SM_INFO-Request message. Source ACS should compare the Transaction Number in this message with Transaction Number received from the same destination ACS before. Otherwise, source ACS would discard this packet. If bigger, source ACS would send an SM_INFO-RACK message to destination ACS.</t>
          <t>There are two types of reply of SM_INFO-Request message, i.e. SM_INFO-RACK representing affirmative acknowledgement and SM_INFO-RNAK representing negative acknowledgement. These are sent from source ACS to destination ACS. The mainly part of 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 S Type is RACK, Data field is a few of SMI_Recs. When S  Type is RNAK, Data field is a 32-bit error code.</t>
          <t>When receiving a SM_INFO-RACK message, if it cannot resolve this message, destination ACS should send a SM_INFO-Request message to source ACS to acquire another state machine. When destination ACS can resolve the message correctly, it SHOULD:</t>
          <ol spacing="normal" type="1"><li>Compare the Transaction Number in this packet with Transaction Number received from the same source ACS before. Otherwise, destination ACS would discard this packet and send a SM_INFO-Request to request the lastest information of state machine. If bigger, destination ACS WOULD:</li>
            <li>Accept every SMI_Rec and process them as following: 
  - 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 bigger than current used SM_ID, destination ACS would add this state machine to its following used state machine list.</li>
            <li>And then destination ACS will send an SM_INFO-AACK message to source ACS.</li>
          </ol>
          <t>When receiving a SM_INFO-RNAK message, if it cannot resolve this message, destination ACS should send a SM_INFO-Request message to source ACS to acquire new state machine. When destination ACS can resolve the message correctly, it SHOULD compare the Transaction Number in this packet with Transaction Number received from the same source ACS before. Otherwise, destination ACS would discard this packet and send a SM_INFO-Request to request the lastest information of 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, request of diagnose information (DIAG_INFO-Request) is used to require the source ACS to check its configuration and source AERs' settings. Source ACS will response 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 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">a 32-bit error code defined below.</td>
            </tr>
          </tbody>
        </table>
        <t>Response of diagnose information (DIAG_INFO-Response) replys 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 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">a 32-bit error code defined below.</td>
            </tr>
          </tbody>
        </table>
        <t>Before it sends the DIAG_INFO-Request message, the destination ACS should check its own configuration and gurantee they are correct.</t>
        <t>If it receives a DIAG_INFO-Request message, the source ACS would check the communication with its own AER whether correct or not.</t>
        <ol spacing="normal" type="1"><li>If it's wrong, source ACS would reply a DIAG_INFO-Response message in which its Data filed is filled with 2 for fault cannot be repaired and alarm to administrator to deal with this problem.</li>
          <li>If it's right, source ACS would RENEW all the registration information, prefix information and state machine information to its all AERs. After that, source ACS will reply a DIAG_INFO-Response message in which its Data filed is filled with 1 for all runs correctly after repairing.</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 its all AERs to guarantee all information are latest. And ACS also would deploy the tag information to its 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 peroidically. I Type is REG_INFO. S Type is Announcement. Operation is NULL when some ADes' information are joined, left or updated and Operation is RENEW when all ADes' information are deployed. Acknowledgement is 0. 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 in the trust alliance list and AER MUST 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 SHOULD:</t>
          <ol spacing="normal" type="1"><li>Compare the Transaction Number in this packet with 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 lastest information of AD registration information.</li>
            <li>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 original record after passing Effecting Time in this ARI_Rec.
  - If Action is ADD and the record exists in its maintained trust alliance list and 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.</li>
            <li>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.</li>
          </ol>
          <t>AER acts as following when receiving a RENEW packet. When ACS initiates RENEW, it would send a RENEW meesge with which the first bit of Operation field is 1. The second bit of Operation field identifies the begin of a procedure of RENEW and the third bit of Operation field identifies the end of a procedure of RENEW. ACS MUST NOT send a RENEW packet with which the first bit of Operation field is 0 in RENEWing. AER MUST process this procedure of RENEW after 
received all RENEW packets.</t>
          <t>When AER can resolve this packet correctly, it SHOULD:</t>
          <ol spacing="normal" type="1"><li>Compare the Transaction Number in this packet with 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 lastest information of AD registration information.</li>
            <li>Process every ARI_Rec:
- If the record does not exist in its maintained trust alliance list, AER would add this record to its trust alliance list.
- If 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 original record after passing Effecting Time in this ARI_Rec.
- If the record exists in its maintained trust alliance list and 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.</li>
            <li>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.</li>
          </ol>
        </section>
        <section anchor="request-of-ad-registration-information">
          <name>Request of AD Registration Information</name>
          <t>The request is sent by AER to ACS. There are two types of request of AD Registration Information message. 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 REG_INFO-Request(ALL) message, ACS would reply REG_INFO-NAK to AER if it holds some fields are wrong. For example, AER requests one ARI_Rec that does not exist. Otherwise, REG_INFO-ACK message will be replyed. ACS WOULD process as follows:</t>
          <ol spacing="normal" type="1"><li>ACS SHOULD compare the Transaction Number in this packet with 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.</li>
            <li>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 Operation field is REQUEST_ALL.</li>
            <li>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 the AD registration information of all members marked with "Reply" to the AER.</li>
          </ol>
        </section>
        <section anchor="reponse-of-ad-registration-information">
          <name>Reponse of AD Registration Information</name>
          <t>AD registration information response includs two types. That is REG_INFO-ACK and REG_INFO-NAK. ACS will reply to AER according to the request of 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 in the trust alliance list and AER MUST 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>AER SHOULD compare the Transaction Number in this packet with 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 lastest information of AD registration information.</li>
            <li>AER WOULD processes 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 original record after passing Effecting Time in this ARI_Rec.
  - If Action is ADD and the record exists in its maintained trust alliance list and 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.</li>
            <li>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.</li>
          </ol>
          <t>AER acts as following when receiving a RENEW REG_INFO-ACK message. When ACS initiates RENEW, it would send a RENEW meesge with which the first bit of Operation field is 1. The second bit of Operation field identifies the begin of a procedure of RENEW and the third bit of Operation field identifies the end of a procedure of RENEW. ACS MUST NOT send a RENEW packet with which the first bit of Operation field is 0 in RENEWing. AER MUST process this procedure of RENEW after received all RENEW packets.</t>
          <t>When AER can resolve this packet correctly, it SHOULD:</t>
          <ol spacing="normal" type="1"><li>Compare the Transaction Number in this packet with 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 lastest information of AD registration information.</li>
            <li>Process every ARI_Rec:
  - If the record does not exist in its maintained trust alliance list, AER would add this record to its trust alliance list.
  - If 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 original record after passing Effecting Time in this ARI_Rec.
  - If the record exists in its maintained trust alliance list and 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.</li>
            <li>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.</li>
          </ol>
          <t>When AER receives an 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' prefix. RENEW: to publish all member ADs' prefix.</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 effect right now and the other is 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 to delete a API_Rec that does not exist or to add some prefix that is conflict 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>AER SHOULD compare the Transaction Number in this packet with 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 lastest information of AD prefix information.</li>
            <li>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.</li>
            <li>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.</li>
          </ol>
          <t>AER acts as following when receiving a RENEW PFX_INFO-Deploy message. When ACS initiates RENEW, it would send a RENEW meesge with which the first bit of Operation field is 1. The second bit of Operation field identifies the begin of a procedure of RENEW and the third bit of Operation field identifies the end of a procedure of RENEW. ACS MUST NOT send a RENEW packet with which the first bit of Operation field is 0 in RENEWing. AER SHOULD uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>AER SHOULD compare the Transaction Number in this packet with 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 lastest information of AD prefix information.</li>
            <li>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.</li>
            <li>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.</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', including itself, all 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>ACS SHOULD compare the Transaction Number in this packet with 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.</li>
            <li>ACS processes every ADID_Rec. If AD exists in the maintained trust alliance list, ACS would mark this record as "Reply". Otherwise, ACS wourld mark this rocord as "Negative Reply". Particularly, all records are marked with "Reply" when S Type is REQUEST_ALL.</li>
            <li>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 the AD prefix information of all members marked with "Reply" to the AER.</li>
          </ol>
        </section>
        <section anchor="PFX_INFO-Response">
          <name>Response of AD Prefix Information</name>
          <t>AD prefix information response includs 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 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 defined as before will not be repeated. The following mainly introduces 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 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 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 AD prefix information. Otherwise, AER would act as follows.</t>
          <ol spacing="normal" type="1"><li>AER SHOULD compare the Transaction Number in this packet with 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 lastest information.</li>
            <li>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.</li>
            <li>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.</li>
          </ol>
          <t>AER acts as following when receiving a RENEW PFX_INFO-ACK message. When ACS initiates RENEW process, it would send a RENEW meesge with which the first bit of Operation field is 1. The second bit of Operation field identifies the begin of a procedure of RENEW and the third bit of Operation field identifies the end of a procedure of RENEW. ACS MUST NOT send a RENEW packet with which the first bit of Operation field is 0 in RENEW process. AER SHOULD uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>AER SHOULD compare the Transaction Number in this packet with 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 lastest information.</li>
            <li>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.</li>
            <li>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 current time or is all 0, it will take effect immediately.</li>
          </ol>
          <t>When AER receives an 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 state machine maintained by the pair of this AD and another AD and Operation is RENEW: to publish wholesome update of 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 state machine is responding to a 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 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 Data field. In addition, there are two actions for SMI_Rec: one is to add a SM whose SM_ID is bigger than current using state machine. The second is to modify an existing state machine whose SM_ID equals to current using state machine. Both of them are using Action ADD. Here we requires 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 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>AER SHOULD compare the Transaction Number in this packet with 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 lastest information.</li>
            <li>AER processes every SMI_Rec:
  - If SM_ID equals to the current using state machine, AER should update the state machine in use.
  - If SM_ID bigger than the current using state machine, AER should add this state machine to its list.</li>
            <li>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.</li>
          </ol>
          <t>AER acts as following when receiving a RENEW SM_INFO-Deploy message. When ACS initiates RENEW process, it would send a RENEW meesge with which the first bit of Operation field is 1. The second bit of Operation field identifies the begin of a procedure of RENEW and the third bit of Operation field identifies the end of a procedure of RENEW. ACS MUST NOT send a RENEW packet with which the first bit of Operation field is 0 in RENEW process. AER SHOULD uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>AER SHOULD compare the Transaction Number in this packet with 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 messages to acquire the lastest information.</li>
            <li>AER processes every SMI_Rec.
  - If SM_ID equals to the current using state machine, AER should update the state machine in use.
  - If SM_ID bigger than the current using 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.</li>
            <li>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 current time or is all 0, it will take effect immediately.</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 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 including in 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 these two state machines both.</t>
          <t>When receiving a 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 secion 3.2.3.3.</t>
          <ol spacing="normal" type="1"><li>ACS SHOULD compare the Transaction Number in this packet with 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 a SM_INFO-NAK message.</li>
            <li>ACS processes every ADID_Rec. If AD exists in the maintained trust alliance list, ACS would mark this record as "Reply". Otherwise, ACS wourld mark this rocord as "Negative Reply". Particularly, all records are marked with "Reply" when S Type is REQUEST_ALL.</li>
            <li>If any case in step 2 is marked with "Negative Reply", ACS would construct a SM_INFO-NAK message to reply to the AER. Otherwise, a SM_INFO-ACK message is constructed to reply the state machine information of all members marked with "Reply" to the AER.</li>
          </ol>
        </section>
        <section anchor="response-of-state-machine-information">
          <name>Response of State Machine Information</name>
          <t>State machine information response includs 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 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 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 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 SHOULD compare the Transaction Number in this packet with 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 a SM_INFO-RequestAll message to acquire the lastest information.
2. AER processes every SMI_Rec:
  - If SM_ID equals to the current using state machine, AER should update the state machine in use.
  - If SM_ID bigger than the current using 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 following when receiving a RENEW SM_INFO-ACK message. When ACS initiates RENEW process, it would send a RENEW meesge with which the first bit of Operation field is 1. The second bit of Operation field identifies the begin of a procedure of RENEW and the third bit of Operation field identifies the end of a procedure of RENEW. ACS MUST NOT send a RENEW packet with which the first bit of Operation field is 0 in RENEW process. AER SHOULD uniformly process all packets in this RENEW process after receiving all RENEW packets.</t>
          <ol spacing="normal" type="1"><li>AER SHOULD compare the Transaction Number in this packet with 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 SM_INFO-RequestAll message to acquire the lastest information.</li>
            <li>AER processes every API_Rec. All Action in API_Recs is ADD during RENEW process.
  - If SM_ID equals to the current using state machine, AER should update the state machine in use.
  - If SM_ID bigger than the current using 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.</li>
            <li>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 current time or is all 0, it will take effect immediately.</li>
          </ol>
          <t>When AER receives an SM_INFO-NAK message, it could send a 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 Keep-alive request to query the availability of AER in 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 a 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 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 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>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 reply to the request correctly. ACS performs the following steps to update AER:</t>
          <ol spacing="normal" type="1"><li>Keep time synchronization between AER and ACS.</li>
            <li>Deploy AD registration information, AD prefix information and state machine information to AER by the way of RENEW message.</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 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 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>
        </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 would add, verify and remove the tag to 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>
      <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>
      <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="SAVA-X-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 MUST 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 interval of state transition.</t>
        </dd>
      </dl>
      <t>When ACS announce 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 monotonic. Acknowledgement 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-consideration">
      <name>Security Consideration</name>
      <t>This present memo doesnot find any security problem.</t>
    </section>
    <section anchor="iana-consideration">
      <name>IANA Consideration</name>
      <t>There are two tcp ports, 23160 and 23161, are used in implementing SAVA-X mechanism. Port 23160 is used for the communication between ACS and ACS. Port 23161 is used for the communication between ACS and AER.</t>
    </section>
    <section anchor="acknowledgements">
      <name>Acknowledgements</name>
      <t>Much of the content of this document is the expansion of the IETF <xref target="RFC5210"/> in inter-domain level. Thanks to the effort of pioneers.</t>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="RFC2119" target="https://www.rfc-editor.org/info/rfc2119" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml">
          <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="RFC5210" target="https://www.rfc-editor.org/info/rfc5210" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.5210.xml">
          <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" target="https://www.rfc-editor.org/info/rfc8200" xml:base="https://bib.ietf.org/public/rfc/bibxml/reference.RFC.8200.xml">
          <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"/>
            <author>
              <organization>RFC Publisher</organization>
            </author>
            <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>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="SAVA-X-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="" 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="2021"/>
          </front>
        </reference>
      </references>
    </references>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+1dWXPbRrZ+d5X/Q5fzEPuGZEly4iSqmqphRNnRxJY1EuMk
Ty6QbJIYgwAHACUrdua337N1oxsLF+1ypFQSEuz1dJ/tO6cb7Xb78aPHj/Iw
j/Su2ktms0UcDoM8TGJ1lCZ5Mkwi9ZPOz7SOVT7VqtuDUnGewuMTnZ7qVAXx
yPyyP5podZwscnicjNVBDB/avWQWhLE6SRbpEEqNRqnOMvUuiMIR99NNh9Mw
18N8kerHj4LBINWnu+qk+67b/r1tBoGjHCXDOJjBOEdpMM7bHxftLDgNPrbn
Uqa99RwKBTmU2Nna2Wlvb7d3trHiVyrLYZjvgyiJ4cdzneHTcJ7uqjxdZPnO
1taPWzvQd6qDXfV2rlMaWUZzexPEwUTPdJzDSHXw+NHZZFcdAkmS9IP6Df4T
xhP1Kk0W88ePPpzt8qxjnbd7OMrHj4CauyqMxwn2OUxGUHxXLbJ2kA3D8PGj
ebir4O8rNQxieKxVkKbBuXoajlUQRTjWZypJ1TTIpmqqkUJfKdVWMGH5lCVp
nupxZr6ez/ibwjIyWWVL7VJfIz0OFlGeQRFbgOtZ6gSLfJqku/gT/rXNB6V4
DX7R6vdF8TBJJ7R/5rT4J8NQx0PdUv0MpjtdBOrXOITNkoX5eVHHLPXSQhkM
WwMF/81lzhdAJn7WUj8H4SiE770QnoTDvKg1hDZ2YeOG/4FqzuNkBEPf3tra
+uFb9+kCdjSU35uGcVA817Bxo131cfFB/zOXMXb0aNEZxo1k+ReMZ4474re/
B3H+I/P955A2/Sry/B4GSQRVgD6B2/cXTKEzmOhHM+2tFzvP/zlOPuJPnWEy
ayTUH1B4rEP1apGUqHQQZyCugU5qDHLBCCIhGYusvfMB0GEeNJBQ3TsaThbJ
ORPkn39OhlEwsPvs8aM4SWcgrk81yarjl3s729s/ms/f7Wxvmc8/gJiHzyiK
3RqiaESricCzCpFV3VEUxPrCKo0IXRKnzhqEcVbd+6VFX7o+NQK5feXN13Nu
uZ+NNufqQaiVbGHVPSl61IHtdlvFSa7fH+yfvHp/CJ/oOf84iALzLz7AssEA
dm6AO/cnPQxQA6M1Y7Q4zuMsSEeZghF/0KAyg+EwSVGLo/KkokegT2HaMa99
wNuhJRVMA1ThfA7GVRSdqzz4AOSYR0AFdRbC1ljkSMA5bBlsA3YatpzxBpMW
iXoz2GTDMFnAtzyHDjKwDE61GqB9FgWLeDjVIzAjsLdsniRj+Oa3orOO6kPb
Ie3kEe/kUkenxU4OnJ2sQhyD0mOYUo6z1/E0gHX1CTY4N/3nsDYwYGgAmAeK
T3SMlpUGbo8zkBdoUuXBBAb02xSGPyysT6g9MEbnGfYzUtMkQ+LnahSOx2AH
oTnWy4gnj05fqJi3WosaBJKC6TSgCQEBZJ3MAsLXcAT1w/E5PUfWxK8osAzl
qU2fKh3cMP0p0GCmZwks6xAWIYmdphULFl4oMEphxxMhxlFyZhpmaQNNDIF0
YTbr8CachaNRxBsVKZkmowXtBO5TX0TuqKfc17OiMwXbNBhEYTZFXmTbF63M
kFYxmCUwWNMq95Wpp93es5bCzzl9D2DOup0nbfhfaYmlgR7sfbPUWN5f7RZR
Z6TnUXKeEUngoVkiqPu1GgB7gaRK2Y942t0/fsZbFj6VOAN8Dlgdmgs34i0s
fykWFUp7WwHETjghtsVFSpMZTo3ahBHCypFlD/QOQJyA6Q2/VMbhMj5UBLEV
jkOd1XEv8IXhKxQFU2SDNIW1ivFXaU+mMdIw9RnS9Gyqqe8wJ+4zI0eZAd9g
w00qHE4b9UA2Ju9CbL4ijloqbBQz5bmZ32iYoRGGsFQ4jNQRLkgvmoi3t1rA
vmcavUUzSWgDqCoMCqoijIUaIBzpYWsJmS15kNAgEmomAe0LcWi7hdL0KMyG
JM2dWfCilrqwYt/ZLrYV1G1GmpyBYKrrPXCItgDvYaRr6FLIFPBtF+RjIqdB
F1m+GJmNlOpInwbwG+oH2F9D8U4NcYI8QFXCFkp+QdleCAkjeYmRz6bhcMry
FN1sKOzJ24z5ZqCJhWp3o/ojWaB9F8EvWqtPn8QU++svouMsgc5xRcHQA6oN
UBNiDx11ABPOw/kiIjlCa+yKGxL1RtDQdGChF3M0CPgnRwIDGWA3seiRxczC
Caw2zvwAVhHKzhLbSjCfRwYFQbcc3P4o/FObMcQjZKA/A6Oqy6sgLCCiHth5
HAzDKKTBy3rCx5HS/12Ec1r0EfBGlMzh2eDcUXCzIF5AXRxlynwJFIZF+lM2
ADQ9TJI5K1X4gqbJbI7yfZNt8J8ECkbnHaNrPuhzBWsLe//Jm19P+k9a/H91
+JY+H+//+9eD4/0efj75ufv6tf1gSpz8/PbX173iU1Fz7+2bN/uHPa78pvvH
E16SJ2+P+gdvD7uvnzDtXH5A6QJTG8h05qlG0gUZMuwwDQfwBerAnlJo97fU
T3tHavtb3mb4BLYZdhHGI1xRJD5QPWU8J0Kyk6BQTDhksr2ke6RC+EZlmNId
1sx9kjpJlEzOqdEueU9hYDT1Z++J+qx6NMY5f4Pf297fN7vtuj8sCBLoc0kV
t2hNwUDKcc+VtbfhVF/yZLDRRf0iGySMKREDFxKbBC8Yi7ExaqEBtwgwhx6H
Hzs4rn4XxtWnnru2Z2swiVBgobzIhGsrJg9NcO/kcxVM5LYyBhapFbCnyOzw
LQ1Sf6KU905ExKMDOkDXw3p4aJ0lyPkdoj58oD49A8MhHJnjIyUKBSQRMjpZ
DwHpBPhw0u9KW70DXKJ+ycyggkWJ98d6KKVAdUC3vHTxYjZgiNQtf3xQLU4T
RXlxivvVnVgxqpRGRU0cURPlDnn9KjWo15M3n9UJ0faNEauWHsboY7GEtkdI
g0aSu+Y82fDcWG3/FdHtToSH0Q8mXMsa48aUM3IY2imJMCKlqPDPzKANAPZL
6kx9+mr+IW9zz389frQPm+wc6ZFNSTuBiCl2QKQD2ONkD+6dlGgC6pkZJgsH
EXu6hlTGtCMRj5JjGs5dhWrtvBLzWsMcGwCOjdkRzEo7vVXpKDsHly9NYvQI
S+qRrFgtXA1FzXqN2EcyJjdyRx+EJkwOWHZkpGGNKwYDaBt2o89QFenODvqW
qv5t1zzbqXn2vGhkGwo8V9+q79QL9b36Qf24yTNp5pv2Jf+Rdj7jf94hFAG7
yXw3co++H6j++VwDC8n/VRE9wN+vYzwNf/0kDyL1WscT2DANfzc2nkMr4I5J
CmS3O55+GsRZwNCKDO0Wx9MdfoiTs0iPJKrUPKKrHs//Gugjfz00YZf9/e/q
xvP4kfDV7uNHu+qH9iDMWfkPFynZvqf88z+2BtukeMmIIHFjGLBcM1sM2iVI
gxUtO8TEoVTnW65z4JoJ8FsLJAgKv1fvj/dfvj84fPm2BVIGn3RBke+/kkc7
5tERFDv4XZ4+p6egVvv77990934+ONyXX76lX3oH3VeHb08OTuTpd/T0+NfD
w4PDV++5Hv/yQlo6hkev/pCH33Onrw/emWI/0JN+1wzrRynx+uB98XB7ywz2
nX3KfgRqlIyM60UcZOgM6RHR6aRCpxN0oiyNhCKHh29/PdzbB2u+j/ZEb//o
9ds/8JshELoJ+yd9Qxn5+h4GaEjS3fvF0OGw+4uZeJcey3zpOc/0mJ7zLI/h
+YppWDFc3iXjMIUd8lzBA0TyQDBQkwZnOd4/3P+NSIDTipO8o15SDSi/Kxsk
TuI2l2PrwxDFfdYBsoEeH7n1iu6bWihK+G31p2FaaSoKVrREBbyGyMVzFAUR
5/lOQZ2I9YcP8+yyk28UIRgOKCmosYqg91q0ViDBQrZSVRyXxhESglJAeK4R
CCbfYmC885b67wKNOJiwWGRi92BdcHEX2hh3YTwELz4D8whspTyJGYfvqC65
DsbhZiGRKfJ3CVjHXZKcxTUqBFcFXIjJlAc8DnWEoBXYRwgZRAl5m2I3OpJm
Cq4rofUw4CQ6BYPrDMy3ScQepYBg6NTiaikF4q5WXXgUY3AwQcN0gBsoirBZ
xNSZm/FXYh/iJ+Yw5i3kKiUc1VFvkQXOwkxLi4VhLG3C2LdoCXEtaQjvgjQE
y1W3ZecQGTpCSJqSDEGwKyAuISUu6PBbaaSObNmlKI06GJsW/+ELY1JZ1KcS
rAEGi1a7QZbEq+rUtOLJ79UNHdU3VCfyVzYmjlKlsUJye4JclWX4Gl1gUe6i
QmCRxcoXyzWk3oTO4u1ejNCxNLVWi2tTfKNWRUEvbTAQjgOJEUxixH1T/V+N
FgdGtatTd9R14wBrOWBP2FSJ4rvk2twrHlhnIbCd6lKwArjitWCRiQaHiMnV
Q9JpSj70SMu6bUvEIA1mGLlgg4XEvigItkOcUAOoEAyPiI5QNjZC82IDa6ZJ
9XZ7T7NnqF4R2NSwFU2wItEcYtEfwyw3mPRIM+4dntbZy9Q622tBNEnSMJ/O
2Bp1ESJCFQfnNgbHGg+7yhbzOYaGB+fVqM3eiYCoBkWox2rIBA1NUHkAavTD
cIr4NQKbo2SeM95bYOsGEBHE2wPI6pAWo6DZcKD4r+BJApSX2rDBl25PN8A3
bgqkYG1uIxV8taZTMrD8GTO5gF5A2gX0gsq/pf5Nw8YOj81+R+/IWx/HsSFy
NkFvBqJ7Kqz4DB7A+DPoyNuMXIHRIbIqSmAe7DM9SfKQsCUDFhVGFaGtekTw
IVGw2zMhf1gH91f50W3R4lw+toWrSIUZIMtmsBbEDAc9mGFIY+E5uFiWhHdK
laMgnZi6BFoLOfwwYwVWBp5HirRg1wMHB5n0G/FQq9Epw1AtmUuOFmVIv1Fk
A8zVltL5sEPJOkHKiQsGFaZxs/htmfEFUZYAofSIMP/9j/MwRXL1wxnFoGCL
hWawOP59WJBhbkp0uAIPjqpQZCvjFcbyzqJWFzwBCzdGslEg6Z7AgB4s0x3m
Bta7IRjK5G2YwEDT382Mp+cFvJcN6cboI1IsZynWu3H6dK3Sc3vz+j44qWKs
NwbTHYiEYUI1/l0hTFdDAfvXLwTYgQiw+oI3Bjv7Eq6RPp/XgNPX+bu5eXmi
/T7NC+GLMgrH1jBoJ7SoOWGDIZTCIwCjxZeVy7CGYz3GaHFSSLFPn/yk3r/+
YtCiRuJt1jBo1Ya2y7KrgqyxcTGqJKmVDBsbaASTBUxUCsfbvB9rLKGhifYS
WgWTNDnLfFgLxwmdUQqNCethVhmnASxMfkiGHgParwM9Ro+MUl/GuWRpObYL
GEuzRZSH86g03kwAeRGbNOntFzzpwoOg/jEFp/1T8rEj6//LwclJ+8cfLY12
vKcvCHtW/0KUyEDIb/tH7Z2dH35Ub3rfrUB/rZT2RuQDnL4w5SXnzDnnefP2
qMVLxyGiZJi+YkxHCp3b4RTwpy83K7tlFoJvkRGCTCazsRApDF4yH6lRX/RR
ey8EvxeDzmCUOLwtwgyN14ms5zt4FvfTMU7c3RYEKvvFNYonobwnqrxhYGVM
5DW08toQZ+erZk/G84OWOTWBUw5dG3L626b2M8I18SdyuRwfltIufYfVWmzw
MyKgNrtxnERRcobTJJCZQwgaBsMk3uVkoJdE7s+YoAuc7OT/2MQffCaw+udt
yuAQl/Jzf2lAC4va0DPPkPIv5JGLoOJzJyj9WR3++vr1rjtxFsEI9qd5bbpG
VnZ9KnSiIENto5hvtHmDlBLixCmIHCVem4H7HEw0la2EIahCkWYjmsWGIYTd
qZsKsM+d4TaviRuj2tru0BTPiEks/hCoSZQMYMg1tdyEUdp8mOV4hsf5DEJF
6q+IzxXtf9B6TnA8BzBwz1lZz0k/9eHkz1u08jTbz2+ruFvGOTOw4RqoY6QA
hUHwbCIrJBxlT9x340IhZNnjtGn6WQ3CyYQzuGIb0CUtQD+z+y7NI0HJT/d9
zJEek/RErEfMAq/PSpegy8AfVpQTubzHWTKqVb5un0WnbzGqUmfqYte+YYaw
0kBz+yHIQ8UBFYsnFGJV0pBNdrK/+005zN2BXYUIpNnsOLuCyQq4MtVDHZ7i
QIKaiGA4xg1UghRdHmqpFWNoHgIvSqU6Z82angpY0+CYpH8YPCVhuW1RDype
w0ImMdRNgHeLmXJMCsxjMpBaFsxYJrGZ44S5WpVxC9PJ+ng9mnQqIIdRKscC
uQJJDPpKWxmFh84q+XrebutUWiGzgXdgkCs0NP0CYGkipM28VR36b0LMHZBO
w6Ge50pTgptFi4pDKTjKGUJWVo/t0kkrgswpZZNYquA9w10NzFUeChPRmva6
plJneX+rBEh9jyxLwnK2KJrcuTNZbskvA9ZW3gEiPOeQMCYhVjvBLHjeArFd
PQrTbMCeG7Pmcs60w1jForfPoVfCoFfBn+ux55fDais6XMVrctDyejhun3xb
dFpbZRvRHOLDv1TPEtwzaTiZYtLLmYWpz8n/Q/bBBll78zTFqBks8qIcOcYw
oM7Vc3qfzDnij7OEkqUyjh/No3O2QR1PZKit/ar6mOde2H/cj43EkNQYj0M5
sqyCkrlnLCArBLyasZ7UVqMzTxkPt/CGymQoyRG0iyX/2fgKwnvs+kZyfqXU
it382S37RURYlrgYTVxCVMk9Kwo30rHWvbq8+7L1Rbsm/XoFIr6nE8h3A6ci
wTuOW3Nio/uYI6EOEzKr7ENYwd0iZ6OIyruG/qdPzpmAv9gnOkzyKTMPhtbQ
PU0k7ln4t6LFskYBcTYNI8qjEn2danteAmx0fVY+O0uyhjGKrMYlXm8AjhGw
BqJi1OOnr8qW5vKgMdd6Wqr0d0BWJF2qAVMx60egR+OBl5JUfZAV68MYyOCf
rVVdywwV28/a0dD5WZ3lfFyynMuMF+LBo5kgxE7qjmemOmNxOylY87hkPFSU
pGcyOtZAaR4e54hoGa5nl1vJtJlhXh5pjZFemX2Nfe4Z1JclF5q061tc1a3Q
cd3vC5tbx5c0t1aIyDXNLacVx9KqMmTHzQDdxBI6Xs8ScgQips2BRBTP0+/W
S5+jKw3G+szFaG2tolo5646qVdR6vb9dt6Ou0O8u7S1fuPOZbDpvbC+RKHmZ
a/nmpvFbc86dKT346HfRR7+/eFidGr4N/qyY5FfAm+tq5r8XU5rOkOJCtfWW
y2TEmkLlLNieSQUvJ8Ait1SBiZadG9S1aeTu3J5iLnrVyTH5FHKVBK+It6mG
Uz38QEw2TOJxOFk4V5SYkvvH2deYSo2GQ+aZdcRX1gumXYFNwZNFBEzZKxH1
zvpPlnprelBfnCtkCXAdztAyYGOgYRPQzQqPH7kcsnqXc9lnbERn69ipt72j
QN887KZbheHW3Yl4wyIlmiEqpmO5XKsiYwsVX3OIxPq8VsLi6cyqlMUvca51
Af2LqmHX8YDsCwc2WDGKisPK/ZMx550vsNIah4U3mJmDxUbTyalisdppHF9n
jCjU+MXsy/rDk2UxKhK2liQNQq/iJEkWmjkJimPi/Dq69tnYVQNcZMwjlDyE
IArSGdlEo1kY4306QZ6kzPOwb6kZNhzSZBDpGZJyp5gDxWZq5sART5MIlOoJ
t8wHH6wYatUdnSF9uQxIwzljy6hNgeskSy0oDYP16VVRUvJXsc1FnCnn3jrq
nknKMSZ73gk2QtN5p4JQIMDCZCQpnHxDImZ6NlOs9rxRawXVKmeaSmSkq30W
gbAPPvVWJEXZh1YgOwYEO+A5FLEvedR0Rgpv+WteLW+2xrLrUXU+6dRk5cGk
jxsoYiDvopm6Cp51yFvG3LiDB/JwiemyOJyae0/lknbUU3Mcs819P5OLp3CW
SWhm6QhzU95FZdwMxxo4xYQAMFgO6/Z1ZV3wTDUeSIr0OC9yq5m3vdaYI6k5
Wo7a1njqmMZU1h+YQNop4TH1501J1OZO4hNezDsiDrUBXAfCk4qlRLRMVY/P
ccoAOL7Y7yw4x0tpUboW8WFzJo9RF/45ExadB3wtYPlEFCeYwapZxeC7nEgs
1o4zZ04wOhCTReS5ZMagJ80aGxqmiwU82IFSunFvFKcezfsMTEF7DaS9SsFk
bpuj/+KJCGVps8q5MW2nKD8Y9CDHjDVzUwSR0x4otal587kOyEsFM5B5yaBY
tLWwVXetryYVDck0dF15y1o1zqHx3tk7Jed0icRk3W9X2XflHYT8TiTBOG40
DpZd58CFstyzgfVQVuZBAmSOrAMDlCmOSaKNRK+FBFYuAtgNRzJkbzK7Fger
JnoWTFBzupmucykurKthQpcAFhmT9kQ51dTqrDcgGke23kAoJQWXultcF4t3
I07MrbebjlGySCOda3OncWRqLZN4drcWXHzlczW+ijNXXLea+Y4S/GXKllNl
HL3915cZh9sRJxN5tCU2bKTuZiR8TrwbyBT50sARFQRWmasduciT4WARtXgf
vNFhfnfVk7vmkFCACi2Rc/329tmOwZDL4wRGC9IoNChyRRfgJcxsnvHpELKa
3XGFs5ke4XlgsdeQoDQGFzlntd6U8GhULIZV7SltKlCNz3K9mdaZiVnytHN7
R9KAr0ItTBtrjWxz9CyzVzDVlpO7hUS9DkBemRuGUDKN8G5gRAPYfZGtl5ub
mNZoUU671LXHCIG5Vtefsqs61p/yFl2Diw0gA9UZG+y4VSZGu+3xI6uRcAe4
A8k6y5XmXUocLelMkaNfhs5cojFt3Og2tGO58y9FE15qXhfUeqZP8YnI13PM
fvJnzKzquiXzn1t0rHdC2QpvDfifFYv1BIURWgyWmbxbJuOoJPf/LtrtKyfQ
tApE6E+1jSWZJLjBOS0ywgCSzFGfq7JOD0XyD4lhurrGUK98JzSJHXHkGq8b
pmclJMIVXIS5lN0uE/k6WzUGzFbBE7SrxnGjoQMznWosapfcYDuhmtE719gV
16fRnWl+VZ/415UbfFJcASbjz73Djua0evm0oypX5BlsXeYYpBVjFw9zMIdU
oh1mvSx0coWhsyoF666Iy5ooRnnGRR6i856JMs88hfLPHGijhOvb4pj7IIAh
IyTTBHGvhrzDlxjS/RjgKwpaAldRb4zCGQtHdIFrCXiWje3cy1oW2U/jI+zP
Ru2NtVRK55dg100kPOBU6yy9AkAvhsjKqGLK8VTWNeVKmaF83/kOT7jA5sQa
MxcLGg0F8nxDB9WJGdJLFAqDByb05BiX5Il7SeeKCocmU8/UdM/aUPhCLIsz
g2RiMybKIf2xtK/xNxyOKKyC+Bz8g8yxBtg+cFotDcqdNb6oAgiDNkLjEjDf
uFfXOwsc1O/pMCuaNokb1AovUpPN7WvTrJY4zkAKm6ExUuEHHpb0bEOvIOWi
BcZJjc1QnBbypurpa7rKtRT3EuFSeXedY380jqbGnLllxU2nPdZN2e0oOgey
Xp5uWWVzYn8TAm0vPqixoa4gsb84yYLzLSn52lDJtej4K0hlkO23XMffnYQG
n/A1oS3XNFh5ygjfPOKfMhJvgO/Rs++ZKd11PSjeup0VHRv3SCI+zgvQ/FcW
mUnbWBLiNkY/Uj6YaAoOJeWkFtQCPkQudlXepQ/hvIdw3v5vtXq25ZmuNPJa
+3WNCN9S7Gx1kK8WvgvQrigwPmO6wu83YrquAinvHRZZWNMVS9jHJR/ieA9x
vIc43h1GOjeK49VJ/oeo3h2N6j3E9JpwoDujRlckwdyyqvxyFePNq8GHyN4d
0XdVtzCIawFHam4TR6V0pHBNf2Vl7rMcZ4c2jjjb+2CNlOe6ovXvpxgVVZ8e
vfzdT2P27vSQ+RHueqGTZzeHGvrvtlEOeFi8qq4e7IMJ0hvGsqkNBcqeLwn3
ItL3tXlFssEDnTb8mKAtedU3nMq7Ie7WDacNsF9pba75vlNDmQuhbkcPqFuB
umECAHOCkXn8cskevwHytYtO2fuiy6CcF7wMx1V5Dr18Zzp2pmWUZe3bdESq
HbWKMzw1qoSCHET+423yJ1ijBa6P3FpRkSJa31vCBK5fS3Vj3rz8tnlno5gh
ki3E84Wlp7enGLqB9c1mMPa5TX0MoNsZ3ZfMJQMh0veOz4VrcFmQE/XwACN3
hhnd0/RsS0M7Z3wgHjUDuSNXjHEe3RDGeeQeT1mCcpaU4eZA59jb67kjPhJj
zQZ22jXxesWn71AiUw+yh3IJAeKpxygc5u5LwgtVU4OzpuseoKhaCfcNVfVz
Fq7CG7S74TLeYA1hLZpawVGPrvREhHS9plvolL4smtjQ8dXBhA0dLIMHnSqi
q0p66qrcobvrBm0E+zWIwgfk7yaRPxGpizhE6YHXgpl8J1hqY3wbier5/x4e
aDIVq4DgXRTdG0ltI4/vlNi+PiF9aexuA9G8JnblCtYrwKyyoqcH8Ko+LX19
oMfe3FrDE2Wkx+Z64f/4Xam07g6U0ZL0NJwt7CsdjdnbWG5GGtVzZ28takaO
vJQqm/RdIGMrTOhqej7di1KBoG734prry+iug32uNq/bvx/WtWKWaIEN8lbw
+jfXpLGtUsqlq56KK/h8B4nNGPM6N5uWymc88mnCb/uy7ZrcTrcjuZwhG6bh
wNxh7UyPc9zkrXTXkZx9NqUr1uyymr4vkLW9vpO27gV2HqGKm7DXydn28rVx
9Fedr21rpH6VpDlj+wgB6OEiAh1SytnGdWxM1649q3INWdp11F4jS9vb3mtm
aa8SpxvkZ3tXyVS1p/r0VZWdmlXq6kztpdxMt5PW52Q7edetxluoW+VMb7or
10NBnZRUGM0T+xp6/uGJGE4Ie9H+x14LXA1qoKYLtbzwsNSYM16gfVHNN3Sf
GOvJpsRm5p2TNPLiMiqNF9awlCxsArkEOcT3bY4WeD++R1KzBheMSd2+XXF9
6ewV+0LiU7RVjKG71GaRcN81J7MLBNqUy04zvuXb+G40ltW/lkR2Nyomi17w
rkHFN0hsr74+4z6H2NYJBJRe8MFv6qXRJPh6wFPtqz7/dK9wV104/RK50/cW
09/YjrzBFOqmM9FL3IhsDTTpAet/wPrvEda/VopvAdc9AP5XBPgbkt5j1P8K
hftVhgNuS67Dj3jPpki82MnWYvEqIPjjR/76P4QQ7mwIwWytG1cG15D7Wgfj
lHNfL8o5F0qJZTeqIey2wVXBja++q8+aXVK8+XV4bvaseYvF9STP3vBr7+pz
ZmsjFl7CK7lDfuJs+R0hrvwYnEuNMLV+Wbcn70PknCb5Wr3C2OsXVE6kSbBc
Va9XnqRr30nrAR13Ete4xrf4uTBE8dKvCyAHd/1IfOkO9nIKbsCHxTWLOtiJ
YvM2ipoZWh4p7162xBFzFlu1uZpYWrzDsd+4lCrYssbxikYqNRnooJYdD8ER
iWQppoaUfB855htHEk6WczP0VgR9hnfoj0bld1FlpevIS/1krlq25r6rxnBT
aVxl3FKUekk5TKg2yawh0zge2fvSPYjkpZtvWlqwlpg0xfsUEP4v721+43TR
iH25l4t1HsQ49RD7NK2azGdmYlYJ0iZfShFmJjsU39wkNre0njW8MgxHUnpf
k+NocYuzZBSOz9EysOTxN4bbU92r0Go6+SkxMhPBGZgZlxKTGGzgjvoZJ32m
Cz6mbUJyLJT7c2D7g36kxdr/OKe3LLCVhKw8MLtgtOr6Al9PF7bcpZA5L9nX
Bzdo4WRZshnsu/K6lPmOqXNhtO/OYnxGq9x+Pm+TPVsi8OW8P8Ot1gMqs4yL
7NSwDc9GdIvz/sCa7aI7pU5c9t+km+XvDBT/8H64SjeMm9VLlQfk7AE5uwsi
87J5tNchGMsy6/4LxuVIV9kjzWSIVwRzldp+QLtKybIXwnds0mzpFaWNCbO8
4+8TumNvwfUudS7tptXgSZ1rSRLkNIShAN9ngXkPunu3cmoTIsWzlaQ8N83A
9ZTqs3BxV6wYMY+y9qzcdSXirntVc2Pmy324qdmDiq77oua3m1zUHCfi326K
LJmGbx1aUo8feQemQZLbnUz/3Rb7EpM6nd1k8/LdfdVy8++6vR0SojMNi8/z
osXjTMLinc8nb55CL/iuwZ1nfBE6PtjBB9vPHOMWE1/A+isEs03fzBjGKHHn
AHhwxRvBzR3aeDrh7iZr2xefS3an+V6bqg1mOVZ/3tnpPId/bipHe5UReZMp
2i59HjK0SxnaV5+jXUPuNVK03U29Tob20teNbpilXc3TvqDhtjo1ewnv1kCW
X0Ys725kGy99q+/1ZxzXR+IqKce3eH/OGnG5O5lknCxLMjZ+/40nGd8Zg26N
qMS9TTJu5Ol1gxD3KhPt8jGIiqm72dn0h7jD3ztPt0ZePAQbHoINX0Kw4Zrk
4mbZuA25uF+KLH0IVdylUEVtYm6N7169k3Y5rzTn3zZba5Jh25RV+ws4HO0g
QkPUc8UPYMDdd932786ZZJCfYYJ3IaJ5TAN2aluY0dwwgqMLToMwCgZhFOZ8
6y2+E8+0DDPDTRBms7r4TtPAnOe1kZ3u64N3+w3BHUm1Qz43iOhp6A/PBdeL
t20xUO7r7WpHheJmvDLOQLelDh47BVE6QZ+KTHOx4O0ZANksZKHLAtloFMp8
INyLLVHPmc3lhJqF8sQYzWgG1gIlYifW/xvDMqAmdSkGxNDgzUaud0vuJ64s
pXNVJygSchwsIp6R+FukUHK6ErRPajeKHMgEBlEgJiSjCWKWDYkCy38L4Y0d
4rYTrAmg3b3LXK4Hg3CIcAUwRO0FLmAK31N+MGP2h4xq9ZRSR2k8prGzQurX
ePT29QuCjesUu85KICPqQDJERAFCc+YdDSj4WB9l5/FwChQL//ThEWJIJgOb
TZK8tORwRqvhpgAy31ageiZ0fBacV1J1a2/o2FikS1VfpvNDX6hzvN65Y2SJ
bKYkb6d1nEyleGvjuL8pZtq9A5IMfEn8dqeE2CUj1023Ud2EECufMOoHk/Ix
JHzUdJ6o33211oGiUugdCNfCfAtO4nYOR8O/AR09YAIJWiDexGJQCaKB14RW
60REZe/9O/rWEmg0nCHwGsibMEYJrg8LVK1HfMkxSpBwsGCfRwLB1KCJ+eD9
1SxgLZJbapAccntEIV5a1tqd1Y6LTsOUOE5u3PZbyL5GOprQb5UkSL9Q3oMe
lj0FSoJPE2wsBCufvIHSAImk0ryh55IGz8x94u66u55gqXmhagN5OhhIwx9G
yuysJX27dhrvBDojEY+0cyBiFKKGwjMe7mgkmNInHCfVunjfPS0Du5H2Cm97
lTxwQDkpXdHflqr+bdc826l59rxoZBsKPFffqu/UC/W9+kH9uMkzaeabdukf
ef6Z/iuYAn5vKr/pP1771b+TZJEOiwBHQ6mbGk9P43GRQM50LBvS9YwHhSmo
qGto/3+NlKV+u6+W/g71b2Y/1J2WuW76g61O2x7Ml131A8XxwArCk1rbpI1R
jz/t9nr/2OYEoh16KvffP+3tv/7HzjNi9tJepvbeBSm425Fui7lhkgD1WNPd
+G4G3adPjBK09xK8KiySSxDrNuVGbXeMnoatRRV98wcWn2UdYoIMFmMQM4gw
LcQcA3pqtuY3CsjwfyBVgE6iCLymGKzGl7GDwxzOI3aSSXi6dWbBx3C2mJm6
iMXv8O8WQkcnxi/yfEdaOEm8EmKZ4PAQ4d7a3uYpd18toxMOA2yvBdphUNva
XSoLJ0Bu8G+4leqWpFY55NuSgYCCNW4ZjCY0e9fCkLltxYHLQNvjybuF0cxi
6vELMQgpu7OJGUYBg9fw+vXBe6uP6YUq79/ZB65tfnj49tfDvX3z6qIrN9L7
XooEjqCamtpgx18F0lC8yqRsq1vqrGmpqwYzHTf3hY4pCy0udExZEPXbzDxQ
n9kZOdFgNyJwuScgReGF8HskKccHc7USwlQQUhmHdCYe0VupDIMBYSAIrDro
Hnbr2nNPsObDuZonaQ5E2Hm+/WKL1QB82m7JWVC2QC0lcDkriK86giakAWO2
mrfBDJPZbBGXF4AFBKMbRe3tTWub20PL2yrDp28WQ5MlhthPLp4e0X+UDBfm
GDStzcc5SrFikQ/2+y9BbR2/3PtuZ3vrr7+ICCj72q6/QPlq8QfrNOnxGOcC
bcyhLQ2SiMYHkkkNgKkeP/p/GPcqu9b5AAA=

-->

</rfc>
