<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.29 (Ruby 3.4.4) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-lake-edhoc-psk-04" category="std" consensus="true" submissionType="IETF" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.29.0 -->
  <?v3xml2rfc silence="Found SVG with width or height specified"?>
  <front>
    <title abbrev="EDHOC-PSK">EDHOC Authenticated with Pre‑Shared Keys (PSK)</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-lake-edhoc-psk-04"/>
    <author initials="E." surname="Lopez-Perez" fullname="Elsa Lopez-Perez">
      <organization>Inria</organization>
      <address>
        <email>elsa.lopez-perez@inria.fr</email>
      </address>
    </author>
    <author initials="G." surname="Selander" fullname="Göran Selander">
      <organization>Ericsson</organization>
      <address>
        <email>goran.selander@ericsson.com</email>
      </address>
    </author>
    <author initials="J." surname="Preuß Mattsson" fullname="John Preuß Mattsson">
      <organization>Ericsson</organization>
      <address>
        <email>john.mattsson@ericsson.com</email>
      </address>
    </author>
    <author initials="R." surname="Marin-Lopez" fullname="Rafael Marin-Lopez">
      <organization>University of Murcia</organization>
      <address>
        <email>rafa@um.es</email>
      </address>
    </author>
    <date year="2025" month="July" day="07"/>
    <area>Security</area>
    <workgroup>LAKE Working Group</workgroup>
    <abstract>
      <?line 73?>

<t>This document specifies a Pre-Shared Key (PSK) authentication method for the Ephemeral Diffie-Hellman Over COSE (EDHOC) key exchange protocol. The PSK method enhances computational efficiency while providing mutual authentication, ephemeral key exchange, identity protection, and quantum resistance. It is particularly suited for systems where nodes share a PSK provided out-of-band (external PSK) and enables efficient session resumption with less computational overhead when the PSK is provided from a previous EDHOC session (resumption PSK). This document details the PSK method flow, key derivation changes, message formatting, processing, and security considerations.</t>
    </abstract>
    <note removeInRFC="true">
      <name>About This Document</name>
      <t>
        The latest revision of this draft can be found at <eref target="https://lake-wg.github.io/psk/#go.draft-ietf-lake-edhoc-psk.html"/>.
        Status information for this document may be found at <eref target="https://datatracker.ietf.org/doc/draft-ietf-lake-edhoc-psk/"/>.
      </t>
      <t>
        Discussion of this document takes place on the
        LAKE Working Group mailing list (<eref target="mailto:lake@ietf.org"/>),
        which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/lake/"/>.
        Subscribe at <eref target="https://www.ietf.org/mailman/listinfo/lake/"/>.
      </t>
      <t>Source for this draft and an issue tracker can be found at
        <eref target="https://github.com/lake-wg/psk"/>.</t>
    </note>
  </front>
  <middle>
    <?line 77?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>This document defines a Pre-Shared Key (PSK) authentication method for the Ephemeral Diffie-Hellman Over COSE (EDHOC) key exchange protocol <xref target="RFC9528"/>. The PSK method balances the complexity of credential distribution with computational efficiency. While symmetrical key distribution is more complex than asymmetrical approaches, PSK authentication offers greater computational efficiency compared to the methods outlined in <xref target="RFC9528"/>. The PSK method retains mutual authentication, asymmetric ephemeral key exchange, and identity protection established by <xref target="RFC9528"/>.</t>
      <t>EDHOC with PSK authentication benefits use cases where two nodes share a Pre-Shared Key (PSK) provided out-of-band (external PSK). This applies to scenarios like the Authenticated Key Management Architecture (AKMA) in mobile systems or the Peer and Authenticator in Extensible Authentication Protocol (EAP) systems. The PSK method enables the nodes to perform ephemeral key exchange, achieving Perfect Forward Secrecy (PFS). This ensures that even if the PSK is compromised, past communications remain secure against active attackers, while future communications are protected from passive attackers. Additionally, by leveraging the PSK for both authentication and key derivation, the method offers quantum resistance key exchange and authentication even when used with ECDHE.</t>
      <t>Another key use case of PSK authentication in the EDHOC protocol is session resumption. This enables previously connected parties to quickly reestablish secure communication using pre-shared keys from a prior session, reducing the overhead associated with key exchange and asymmetric authentication. By using PSK authentication, EDHOC allows session keys to be refreshed with significantly lower computational overhead compared to public-key authentication. In this case, the PSK (resumption PSK) is provisioned after the establishment of a previous EDHOC session by using EDHOC_Exporter (resumption PSK). Therefore, the external PSK is supposed to be a long-term credential while the resumption PSK is a session key.</t>
      <t>Section 3 provides an overview of the PSK method flow and credentials. Section 4 outlines the changes to key derivation compared to <xref target="RFC9528"/>. Section 5 details message formatting and processing, and Section 6 describes the usage of PSK for resumption. Section 7 defines the use of EDHOC-PSK with OSCORE. Security considerations are described in Section 8, and Section 9 outlines the IANA considerations.</t>
    </section>
    <section anchor="conventions-and-definitions">
      <name>Conventions and Definitions</name>
      <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
      <?line -18?>

<t>Readers are expected to be familiar with the terms and concepts described in EDHOC <xref target="RFC9528"/>, CBOR <xref target="RFC8949"/>, CBOR Sequences <xref target="RFC8742"/>, COSE Structures and Processing <xref target="RFC9052"/>, COSE Algorithms <xref target="RFC9053"/>, CWT and CCS <xref target="RFC8392"/>, and the Concise Data Definition Language (CDDL) <xref target="RFC8610"/>, which is used to express CBOR data structures.</t>
    </section>
    <section anchor="protocol">
      <name>Protocol</name>
      <t>In this method, the Pre-Shared Key identifier (ID_CRED_PSK), which allows retrieval of the CRED_PSK, is sent in message_3. CRED_PSK is an authentication credential associated with the PSK. Although it may use a COSE_Key representation for compatibility, the format is not restricted to COSE_Key and can vary depending on the implementation. Through this document we will refer to the Pre-Shared Key authentication method as EDHOC-PSK.</t>
      <section anchor="credentials">
        <name>Credentials</name>
        <t>The Initiator and Responder are assumed to share a PSK (external PSK or resumption PSK) with good amount of entropy and the following requirements:</t>
        <ul spacing="normal">
          <li>
            <t>Only the Initiator and the Responder have access to the PSK.</t>
          </li>
          <li>
            <t>The Responder is able to retrieve CRED_PSK and the PSK, using ID_CRED_PSK.</t>
          </li>
        </ul>
        <section anchor="idcredpsk">
          <name>ID_CRED_PSK</name>
          <t>ID_CRED_PSK is a COSE header map containing header parameters that can identify a pre-shared key. For example:</t>
          <artwork><![CDATA[
ID_CRED_PSK = {4 : h'0f' }; 4 = 'kid'
]]></artwork>
          <t>The purpose of ID_CRED_PSK is to facilitate retrieval of the correct PSK. It is <bcp14>RECOMMENDED</bcp14> that ID_CRED_PSK uniquely identifies the corresponding CRED_PSK, since ambiguity may require the recipient to try multiple keys.</t>
        </section>
        <section anchor="credpsk">
          <name>CRED_PSK</name>
          <t>CRED_PSK is an authentication credential that identifies and encapsulates the PSK. It substitutes the public-key based credentials CRED_I and CRED_R defined in <xref target="RFC9528"/>.</t>
          <t>While CRED_PSK may adopt encoding and representation patterns from Section <xref target="RFC9528" section="3.5.2" sectionFormat="bare"/> and Section <xref target="RFC9528" section="3.5.3" sectionFormat="bare"/> of <xref target="RFC9528"/>, it differs fundamentally in that:</t>
          <ul spacing="normal">
            <li>
              <t>CRED_PSK contains or identifies a symmetric key, not a public authentication key.</t>
            </li>
            <li>
              <t>Authentication is achieved implicitly via the successful use of the PSK to derive keying material and encrypt and posteriorly decrypt protected messages.</t>
            </li>
          </ul>
          <t>A common representation of CRED_PSK is a CBOR Web Token (CWT) or CWT Claims Set (CCS) <xref target="RFC8392"/> whose 'cnf' claim uses the confirmation method 'COSE_Key' to carry the PSK. An example of CRED_PSK would be:</t>
          <artwork><![CDATA[
{                                               /CCS/
  2 : "mydotbot",                               /sub/
  8 : {                                         /cnf/
    1 : {                                       /COSE_Key/
       1 : 4,                                   /kty/
       2 : h'0f',                               /kid/
      -1 : h'50930FF462A77A3540CF546325DEA214'  /k/
    }
  }
}
]]></artwork>
          <t>Alternative formats for CRED_PSK <bcp14>MAY</bcp14> be used, as long as they allow the recipient to identify and retrieve the correct PSK. When the authentication credential includes only a COSE_Key (e.g., a raw key reference), it <bcp14>SHOULD</bcp14> be wrapped as a CCS by prefixing it with a 'cnf' claim. In this case, the resulting CRED_PSK contains no identity beyond the key itself.</t>
          <t>Implementations <bcp14>MUST</bcp14> ensure that CRED_PSK values used by the Initiator and the Responder carry distinct identities in their sub claims (e.g., "42-50-31-FF-EF-37-32-39" and "23-11-58-AA-B3-7F-10"). This enables correct identification of parties and prevents misbinding attacks, as per <xref section="D.2" sectionFormat="of" target="RFC9528"/>. Note that sub is used solely for identity binding and <bcp14>MUST NOT</bcp14> be included in the key derivation function, such as EDHOC_Extract(), where only the cryptographic key material (e.g., cnf) is used.</t>
        </section>
        <section anchor="encoding-and-processing-guidelines">
          <name>Encoding and processing guidelines</name>
          <t>The following guidelines apply to the encoding and handling of CRED_PSK and ID_CRED_PSK.</t>
          <ul spacing="normal">
            <li>
              <t>If CRED_PSK is CBOR-encoded, it <bcp14>SHOULD</bcp14> use deterministic encoding as specified in Sections <xref target="RFC8949" section="4.2.1" sectionFormat="bare"/> and <xref target="RFC8949" section="4.2.2." sectionFormat="bare"/> of <xref target="RFC8949"/>. This ensures consistent identification and avoids interoperability issues due to non-deterministic CBOR variants.</t>
            </li>
            <li>
              <t>If CRED_PSK is provisioned out-of-band and transported by value, it <bcp14>SHOULD</bcp14> be used as-is without re-encoding. Re-encoding might cause mismatches when comparing identifiers such as hash values or 'kid' references.</t>
            </li>
            <li>
              <t>ID_CRED_PSK <bcp14>SHOULD</bcp14> uniquely identify the correspoding CRED_PSK to avoid ambiguity. In cases where ID_CRED_PSK is a reference to a key identifier, care must be taken to ensure that 'kid' is globally unique for the PSK.</t>
            </li>
            <li>
              <t>When ID_CRED_PSK consists solely of a 'kid' parameter (i.e., { 4 : kid }), the compact encoding optimization defined in <xref section="3.5.3.2" sectionFormat="of" target="RFC9528"/> <bcp14>MUST</bcp14> be applied in plaintext fields (such as PLAINTEXT_3A). For example:  </t>
              <ul spacing="normal">
                <li>
                  <t>{ 4 : h'0f' } encoded as h'0f' (CBOR byte string)</t>
                </li>
                <li>
                  <t>{ 4 : 21 } encoded as 0x15 (CBOR integer)</t>
                </li>
              </ul>
            </li>
          </ul>
          <t>These optimizations <bcp14>MUST NOT</bcp14> be applied in COSE header parameters or other contexts where full map structure is required.</t>
          <ul spacing="normal">
            <li>
              <t>To mitigate misbinding attacks, identity information such as a 'sub' (subject) claim <bcp14>MUST</bcp14> be included in CRED_PSK. If no such identity is present, the authentication credential binds only to the key.</t>
            </li>
            <li>
              <t>Guidelines in <xref target="RFC9528"/> related to certificate chains, X.509 DER encoding, or public key validation do not apply to CRED_PSK, since it encapsulates a symmetric key and is not used for explicit signature or certificate validation.</t>
            </li>
          </ul>
        </section>
      </section>
      <section anchor="message-flow-of-edhoc-psk">
        <name>Message Flow of EDHOC-PSK</name>
        <t>The ID_CRED_PSK is sent in message_3, encrypted using a key derived from the ephemeral shared secret, G_XY, calculated from the Initiator's ephemeral public key G_X or from the encapsulation G_Y and the private key corresponding to G_X. When ECDHE is used, the encapsulation G_Y is the Responder's ephemeral public key. The Responder authenticates the Initiator first. <xref target="fig-variant2"/> shows the message flow of the EDHOC-PSK authentication method.</t>
        <figure anchor="fig-variant2">
          <name>Overview of Message Flow of EDHOC-PSK.</name>
          <artset>
            <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="288" width="560" viewBox="0 0 560 288" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                <path d="M 8,48 L 8,272" fill="none" stroke="black"/>
                <path d="M 552,48 L 552,272" fill="none" stroke="black"/>
                <path d="M 8,64 L 544,64" fill="none" stroke="black"/>
                <path d="M 16,128 L 552,128" fill="none" stroke="black"/>
                <path d="M 8,192 L 544,192" fill="none" stroke="black"/>
                <path d="M 16,256 L 552,256" fill="none" stroke="black"/>
                <polygon class="arrowhead" points="552,192 540,186.4 540,197.6" fill="black" transform="rotate(0,544,192)"/>
                <polygon class="arrowhead" points="552,64 540,58.4 540,69.6" fill="black" transform="rotate(0,544,64)"/>
                <polygon class="arrowhead" points="24,256 12,250.4 12,261.6" fill="black" transform="rotate(180,16,256)"/>
                <polygon class="arrowhead" points="24,128 12,122.4 12,133.6" fill="black" transform="rotate(180,16,128)"/>
                <g class="text">
                  <text x="40" y="36">Initiator</text>
                  <text x="520" y="36">Responder</text>
                  <text x="184" y="52">METHOD,</text>
                  <text x="256" y="52">SUITES_I,</text>
                  <text x="316" y="52">G_X,</text>
                  <text x="356" y="52">C_I,</text>
                  <text x="400" y="52">EAD_1</text>
                  <text x="280" y="84">message_1</text>
                  <text x="204" y="116">G_Y,</text>
                  <text x="244" y="116">Enc(</text>
                  <text x="284" y="116">C_R,</text>
                  <text x="328" y="116">EAD_2</text>
                  <text x="360" y="116">)</text>
                  <text x="280" y="148">message_2</text>
                  <text x="180" y="180">Enc(</text>
                  <text x="252" y="180">ID_CRED_PSK,</text>
                  <text x="328" y="180">AEAD(</text>
                  <text x="376" y="180">EAD_3</text>
                  <text x="408" y="180">)</text>
                  <text x="424" y="180">)</text>
                  <text x="280" y="212">message_3</text>
                  <text x="248" y="244">AEAD(</text>
                  <text x="296" y="244">EAD_4</text>
                  <text x="328" y="244">)</text>
                  <text x="280" y="276">message_4</text>
                </g>
              </svg>
            </artwork>
            <artwork type="ascii-art" align="center"><![CDATA[
Initiator                                                   Responder
|                  METHOD, SUITES_I, G_X, C_I, EAD_1                |
+------------------------------------------------------------------>|
|                             message_1                             |
|                                                                   |
|                      G_Y, Enc( C_R, EAD_2 )                       |
|<------------------------------------------------------------------+
|                             message_2                             |
|                                                                   |
|                   Enc( ID_CRED_PSK, AEAD( EAD_3 ) )               |
+------------------------------------------------------------------>|
|                             message_3                             |
|                                                                   |
|                           AEAD( EAD_4 )                           |
|<------------------------------------------------------------------+
|                             message_4                             |
]]></artwork>
          </artset>
        </figure>
        <t>This approach provides identity protection against passive attackers for both Initiator and Responder.
message_4 remains optional, but is needed to authenticate the Responder and achieve mutual authentication in EDHOC if not relying on external applications, such as OSCORE. With this fourth message, the protocol achieves both explicit key confirmation and mutual authentication.</t>
      </section>
    </section>
    <section anchor="key-der">
      <name>Key Derivation</name>
      <t>The pseudorandom keys (PRKs) used for the PSK authentication method in EDHOC are derived using EDHOC_Extract, as done in <xref target="RFC9528"/>. EDHOC_Extract allows to derive fixed-length uniformly pseudorandom keys (PRKs) from ECDH shared secrets.</t>
      <artwork><![CDATA[
PRK  = EDHOC_Extract( salt, IKM )
]]></artwork>
      <t>where <tt>salt</tt> and input keying material (<tt>IKM</tt>) are defined for each key.
The definition of EDHOC_Extract depends on the EDHOC hash algorithm selected in the cipher suite, see <xref section="4.1.1" sectionFormat="of" target="RFC9528"/>.</t>
      <t>To maintain a uniform key schedule across the different EDHOC authentication methods, the same pseudorandom key notation (PRK_2e, PRK_3e2m, and PRK_4e3m) is retained. In the case of EDHOC with PSK-based authentication, no MACs are used. Consequently, while the naming convention suggests involvement in both encryption and MAC operations, only the parts related to encryption (2e, 3e, and 4e) are relevant. The index notation does not fully reflect the functional role of the keys in this method but is preserved for consistency with other EDHOC authentication variants</t>
      <t>The transcript hash TH_2 = H( G_Y, H(message_1) ) is defined as in <xref section="5.3.2" sectionFormat="of" target="RFC9528"/>, the others are modified as specified below.</t>
      <t><xref target="fig-variant2key"/> lists the key derivations that differ from those specified in <xref section="4.1.2" sectionFormat="of" target="RFC9528"/>. The following data is used as in <xref target="RFC9528"/>:</t>
      <ul spacing="normal">
        <li>
          <t>PRK_2e is extracted with
          </t>
          <ul spacing="normal">
            <li>
              <t><tt>salt</tt> = TH_2, and</t>
            </li>
            <li>
              <t><tt>IKM</tt> = G_XY.</t>
            </li>
          </ul>
        </li>
        <li>
          <t>SALT_4e3m is derived from PRK_3e2m and TH_3, see Figure 6 of <xref target="RFC9528"/>.</t>
        </li>
      </ul>
      <figure anchor="fig-variant2key">
        <name>Key Derivation of EDHOC-PSK.</name>
        <artwork align="center"><![CDATA[
PRK_3e2m     = PRK_2e
PRK_4e3m     = EDHOC_Extract( SALT_4e3m, CRED_PSK )
KEYSTREAM_3A = EDHOC_KDF( PRK_3e2m, 11, TH_3, plaintext_length_3a )
KEYSTREAM_2A = EDHOC_KDF( PRK_2e,   0, TH_2,  plaintext_length_2a )
K_3          = EDHOC_KDF( PRK_4e3m, 3, TH_3, key_length )
IV_3         = EDHOC_KDF( PRK_4e3m, 4, TH_3, iv_length )
]]></artwork>
      </figure>
      <t>where:</t>
      <ul spacing="normal">
        <li>
          <t>KEYSTREAM_3A is used to encrypt the PLAINTEXT_3A, a concatenation of ID_CRED_PSK and CIPHERTEXT_3B, in message_3.</t>
        </li>
        <li>
          <t>KEYSTREAM_2A is used to encrypt PLAINTEXT_2A in message_2.</t>
        </li>
        <li>
          <t>TH_3 = H( TH_2, PLAINTEXT_2A ).</t>
        </li>
        <li>
          <t>plaintext_length_2a is the length of PLAINTEXT_2A in message_2.</t>
        </li>
        <li>
          <t>plaintext_length_3a is the length of PLAINTEXT_3A in message_3.</t>
        </li>
      </ul>
      <t>Additionally, the definition of the transcript hash TH_4 is modified as:</t>
      <ul spacing="normal">
        <li>
          <t>TH_4 = H( TH_3, ID_CRED_PSK, PLAINTEXT_3B, CRED_PSK )</t>
        </li>
      </ul>
    </section>
    <section anchor="message-formatting-and-processing">
      <name>Message Formatting and Processing</name>
      <t>This section specifies the differences in message formatting and processing compared to <xref section="5" sectionFormat="of" target="RFC9528"/>.</t>
      <section anchor="message-1">
        <name>Message 1</name>
        <t>Message 1 is formatted and processed as specified in <xref section="5.2" sectionFormat="of" target="RFC9528"/>.</t>
      </section>
      <section anchor="message-2">
        <name>Message 2</name>
        <section anchor="formatting-of-message-2">
          <name>Formatting of Message 2</name>
          <t>Message 2 is formatted as specified in <xref section="5.3.1" sectionFormat="of" target="RFC9528"/>.</t>
        </section>
        <section anchor="responder-composition-of-message-2">
          <name>Responder Composition of Message 2</name>
          <t>CIPHERTEXT_2A is calculated with a binary additive stream cipher, using a keystream generated with EDHOC_Expand, and the following plaintext:</t>
          <ul spacing="normal">
            <li>
              <t>PLAINTEXT_2A = ( C_R, ? EAD_2 )</t>
            </li>
            <li>
              <t>CIPHERTEXT_2A = PLAINTEXT_2A XOR KEYSTREAM_2A</t>
            </li>
          </ul>
          <t>Contrary to <xref target="RFC9528"/>, ID_CRED_R, MAC_2, and Signature_or_MAC_2 are not used. C_R, EAD_2 are defined in <xref section="5.3.2" sectionFormat="of" target="RFC9528"/>. KESYTREAM_2A is defined in <xref target="key-der"/>.</t>
        </section>
        <section anchor="initiator-processing-of-message-2">
          <name>Initiator Processing of Message 2</name>
          <t>Upon receiving message_2, the Initiator processes it as follows:</t>
          <ul spacing="normal">
            <li>
              <t>It computes KEYSTREAM_2A, following <xref target="key-der"/>, where plaintext_length_2a is the length of PLAINTEXT_2A.</t>
            </li>
            <li>
              <t>It decrypts CIPHERTEXT_2A using binary XOR, i.e., PLAINTEXT_2A = CIPHERTEXT_2A XOR KEYSTREAM_2A</t>
            </li>
          </ul>
          <t>Compared to <xref section="5.3.3" sectionFormat="of" target="RFC9528"/>, ID_CRED_R is not made available to the application in step 4, and steps 5 and 6 are skipped</t>
        </section>
      </section>
      <section anchor="message-3">
        <name>Message 3</name>
        <section anchor="formatting-of-message-3">
          <name>Formatting of Message 3</name>
          <t>Message 3 is formatted as specified in <xref section="5.4.1" sectionFormat="of" target="RFC9528"/>.</t>
        </section>
        <section anchor="initiator-composition-of-message-3">
          <name>Initiator Composition of Message 3</name>
          <ul spacing="normal">
            <li>
              <t>CIPHERTEXT_3A is calculated with a binary additive stream cipher, using a keystream generated with EDHOC_Expand, and the following plaintext:  </t>
              <ul spacing="normal">
                <li>
                  <t>PLAINTEXT_3A = ( ID_CRED_PSK / bstr / -24..23, CIPHERTEXT_3B )      </t>
                  <ul spacing="normal">
                    <li>
                      <t>If ID_CRED_PSK contains a single 'kid' parameter, i.e., ID_CRED_PSK = { 4 : kid_PSK }, then the compact encoding is applied, see <xref section="3.5.3.2" sectionFormat="of" target="RFC9528"/>.</t>
                    </li>
                    <li>
                      <t>If the length of PLAINTEXT_3A exceeds the output of EDHOC_KDF, then <xref section="G" sectionFormat="of" target="RFC9528"/> applies.</t>
                    </li>
                  </ul>
                </li>
                <li>
                  <t>Compute KEYSTREAM_3A as in <xref target="key-der"/>, where plaintext_length_3a is the length of PLAINTEXT_3A.</t>
                </li>
                <li>
                  <t>CIPHERTEXT_3A = PLAINTEXT_3A XOR KEYSTREAM_3A</t>
                </li>
              </ul>
            </li>
            <li>
              <t>CIPHERTEXT_3B is the 'ciphertext' of COSE_Encrypt0 object as defined in Section <xref target="RFC9528" section="5.2" sectionFormat="bare"/> and Section <xref target="RFC9528" section="5.3" sectionFormat="bare"/> of <xref target="RFC9528"/>, with the EDHOC AEAD algorithm of the selected cipher suite, using the encryption key K_3, the initialization vector IV_3 (if used by the AEAD algorithm), the parameters described in <xref section="5.2" sectionFormat="of" target="RFC9528"/>, plaintext PLAINTEXT_3B and the following parameters as input:  </t>
              <ul spacing="normal">
                <li>
                  <t>protected = h''</t>
                </li>
                <li>
                  <t>external_aad = &lt;&lt; ID_CRED_PSK, TH_3, CRED_PSK &gt;&gt;</t>
                </li>
                <li>
                  <t>K_3 and IV_3 as defined in <xref target="key-der"/></t>
                </li>
                <li>
                  <t>PLAINTEXT_3B = ( ? EAD_3 )</t>
                </li>
              </ul>
            </li>
          </ul>
          <t>The Initiator computes TH_4 = H( TH_3, ID_CRED_PSK, PLAINTEXT_3B, CRED_PSK ), defined in <xref target="key-der"/>.</t>
          <t>There is no need for MAC_3 or signature, since AEAD's built-in integrity and the use of PSK-based key derivation provides implicit authentication of the Initiator.</t>
        </section>
        <section anchor="responder-processing-of-message-3">
          <name>Responder Processing of Message 3</name>
          <t>Upon receiving message_3, the Responder performs the following steps:</t>
          <ul spacing="normal">
            <li>
              <t>Derive the decryption key K_3 and IV_3 as defined in <xref target="key-der"/>.</t>
            </li>
            <li>
              <t>Parse the structure of message_3, which consists of a stream-cipher encrypted structure, CIPHERTEXT_3A = PLAINTEXT_3A XOR KEYSTREAM_3A, where PLAINTEXT_3A = ( ID_CRED_PSK, CIPHERTEXT_3B ) and CIPHERTEXT_3B is the inner AEAD-encrypted object.</t>
            </li>
            <li>
              <t>Generate KEYSTREAM_3A with the same method the initiator used.</t>
            </li>
            <li>
              <t>Decrypt CIPHERTEXT_3A using binary XOR with KEYSTREAM_3A, resulting in PLAINTEXT_3A = ( ID_CRED_PSK, CIPHERTEXT_3B ).</t>
            </li>
            <li>
              <t>Validate or match ID_CRED_PSK to identify which PSK to use. If the ID is unrecognized, the Responder aborts.</t>
            </li>
            <li>
              <t>AEAD-decrypt CIPHERTEXT_3B using:  </t>
              <ul spacing="normal">
                <li>
                  <t>K_3, IV_3</t>
                </li>
                <li>
                  <t>external_aad = &lt;&lt; ID_CRED_PSK, TH_3, CRED_PSK &gt;&gt;</t>
                </li>
                <li>
                  <t>protected = h''</t>
                </li>
                <li>
                  <t>AEAD algorithm from cipher suite</t>
                </li>
              </ul>
            </li>
          </ul>
          <t>If verification fails, this indicates either the Initiator does not know the correct PSK, or the message was tampered with. Contrary, if verification succeeds, the Responder conlcudes that the Initiator knows the correct PSK, has correctly derived the transcript hash TH_3 and is actively participating in the protocol.</t>
          <t>Lastly, the Responder computes TH_4 as defined in <xref target="key-der"/></t>
          <t>No MAC_3 or signature is needed, as the AEAD tag guarantees both integrity and authenticity in this symmetric setting.</t>
        </section>
      </section>
      <section anchor="message-4">
        <name>Message 4</name>
        <t>Message 4 is formatted and processed as specified in <xref section="5.5" sectionFormat="of" target="RFC9528"/>.</t>
        <t>Compared to <xref target="RFC9528"/>, a fourth message does not only provide key confirmation but also Responder authentication. To authenticate the Responder and achieve mutual authentication, a fourth message is mandatory.</t>
        <t>After verifying message_4, the Initiator is assured that the Responder has calculated the key PRK_out (key confirmation) and that no other party can derive the key. The Initiator <bcp14>MUST NOT</bcp14> persistently store PRK_out or application keys until the Initiator has verified message_4 or a message protected with a derived application key, such as an OSCORE message, from the Responder and the application has authenticated the Responder.</t>
      </section>
    </section>
    <section anchor="psk-resumption">
      <name>PSK usage for Session Resumption</name>
      <t>This section defines how PSKs are used for session resumption in EDHOC.
Following <xref section="4.2" sectionFormat="of" target="RFC9528"/>, EDHOC_Exporter can be used to derive both rPSK and rID_CRED_PSK:</t>
      <artwork><![CDATA[
rPSK = EDHOC_Exporter( 2, h'', resumption_psk_length )
rID_CRED_PSK = EDHOC_Exporter( 3, h'', id_cred_psk_length )
]]></artwork>
      <t>where:</t>
      <ul spacing="normal">
        <li>
          <t>resumption_psk_length is by default the key_length (length of the encryption key of the EDHOC AEAD algorithm of the selected cipher suite) of the session in which the EDHOC_Exporter is called.</t>
        </li>
        <li>
          <t>id_cred_psk_length is by default 2.</t>
        </li>
      </ul>
      <t>A peer that has successfully completed an EDHOC session, regardless of the used authentication method, <bcp14>MUST</bcp14> generate a resumption key to use for the next resumption in the present "session series", as long as it supports PSK resumption.
To guarantee that both peers share the same resumption key, when a session is run using rPSK_i as a resumption key:</t>
      <ul spacing="normal">
        <li>
          <t>The Initiator can delete rPSK_i after having successfully verified EDHOC message_4.
In this case, the Responder will have derived the next rPSK_(i+1), which the Initiator can know for sure, upon receiving EDHOC message_4.</t>
        </li>
        <li>
          <t>The Responder can delete rPSK_(i-1), if any, after having successfully sent EDHOC message_4.
That is, upon receiving EDHOC message_3, the Responder knows for sure that the other peer did derive rPSK_i at the end of the previous session in the "session series", thus making it safe to delete the previous resumption key rPSK_(i-1).</t>
        </li>
      </ul>
      <section anchor="cipher-suite-requirements-for-resumption">
        <name>Cipher Suite Requirements for Resumption</name>
        <t>When using a resumption PSK derived from a previous EDHOC exchange:</t>
        <ol spacing="normal" type="1"><li>
            <t>The resumption PSK <bcp14>MUST</bcp14> only be used with the same cipher suite that was used in the original EDHOC exchange, or with a cipher suite that provides equal or higher security guarantees.</t>
          </li>
          <li>
            <t>Implementations <bcp14>SHOULD</bcp14> maintain a mapping between the resumption PSK and its originating cipher suite to enforce this requirement.</t>
          </li>
          <li>
            <t>If a resumption PSK is offered with a cipher suite different from the one used in the original EDHOC session, the recipient can fail the present EDHOC session according to application-specific policies.</t>
          </li>
        </ol>
      </section>
      <section anchor="privacy-considerations-for-resumption">
        <name>Privacy Considerations for Resumption</name>
        <t>When using resumption PSKs:</t>
        <ul spacing="normal">
          <li>
            <t>The same ID_CRED_PSK is reused each time EDHOC is executed with a specific resumption PSK.</t>
          </li>
          <li>
            <t>To prevent long-term tracking, implementations <bcp14>SHOULD</bcp14> periodically initiate a full EDHOC exchange to generate a new resumption PSK and corresponding ID_CRED_PSK. Alternatively, as stated in <xref section="H" sectionFormat="of" target="RFC9528"/>, EDHOC_KeyUpdate can be used to derive a new PRK_out, and consequently a new CRED_PSK and ID_CRED_PSK for session resumption.</t>
          </li>
        </ul>
      </section>
      <section anchor="security-considerations-for-resumption">
        <name>Security Considerations for Resumption</name>
        <ul spacing="normal">
          <li>
            <t>Resumption PSKs <bcp14>MUST NOT</bcp14> be used for purposes other than EDHOC session resumption.</t>
          </li>
          <li>
            <t>Resumption PSKs <bcp14>MUST</bcp14> be securely stored with the same level of protection as the original session keys.</t>
          </li>
          <li>
            <t>Parties <bcp14>SHOULD</bcp14> implement mechanisms to detect and prevent excessive reuse of the same resumption PSK.</t>
          </li>
        </ul>
      </section>
    </section>
    <section anchor="edhoc-psk-and-oscore">
      <name>EDHOC PSK and OSCORE</name>
      <t>When PSK authenitcation is used and the Initiator is able to derive PRK_out before sending message_3, then the optimization described in <xref section="3" sectionFormat="of" target="RFC9668"/> applies. In this scenario, the Initiator <bcp14>MAY</bcp14> concatenate EDHOC message_3 and the first OSCORE request in a single CoAP message.</t>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>The EDHOC-PSK authentication method introduces changes with respect to the current specification of EDHOC <xref target="RFC9528"/>. This section analyzes the security implications of these changes.</t>
      <section anchor="identity-protection">
        <name>Identity protection</name>
        <t>EDHOC-PSK encrypts ID_CRED_PSK in message 3 with a keystream derived from the ephemeral shared secret G_XY. As a consequence, contrary to the current EDHOC methods that protect the Initiator’s identity against active attackers and the Responder’s identity against passive attackers (See <xref section="9.1" sectionFormat="of" target="RFC9528"/>), EDHOC-PSK provides identity protection for both the Initiator and the Responder against passive attackers.</t>
        <t>In symmetric key setups, using the same CRED_PSK for both parties or omitting role identity (e.g., sub) makes the protocol vulnerable to reflection or Selfie attacks. Separate identities in sub serve as non-cryptographic role binders and <bcp14>MUST</bcp14> be distinct.</t>
      </section>
      <section anchor="mutual-authentication">
        <name>Mutual Authentication</name>
        <t>EDHOC-PSK provides mutual authentication, assuming the PSK remains secret. However, if the optional fourth message (message_4) is omitted, mutual authentication is not guaranteed—unless the Responder is later authenticated through an OSCORE message or other application data demonstrating possession of the PSK. When message_4 is included, the protocol ensures both mutual authentication and explicit key confirmation.</t>
      </section>
      <section anchor="external-authorization-data-protection">
        <name>External Authorization Data Protection</name>
        <t>Similarly to <xref target="RFC9528"/>, EDHOC-PSK provides external authorization data protection. The integrity and confidentiality of EAD fields follow the same security guarantees as in the original EDHOC specification.</t>
      </section>
      <section anchor="post-quantum-considerations">
        <name>Post Quantum Considerations</name>
        <t>Recent advancements in quantum computing suggest that the development of a Cryptographically Relevant Quantum Computer (CRQC) is likely feasible long-term. If realized, such a machine would render many currently deployed asymmetric cryptographic algorithms—such as Elliptic Curve Diffie-Hellman (ECDH)—insecure.</t>
        <t>By leveraging a symmetric PSK for both authentication and key derivation, EDHOC-PSK provides quantum-resistant key exchange and authentication, even when used with ECDHE. However, if a cryptographically relevant quantum computer (CRQC) is realized, the ECDHE component would be broken and contribute only randomness. Consequently, EDHOC-PSK with ECDHE does not offer identity protection or Perfect Forward Secrecy (PFS) against quantum-capable adversaries. If the PSK is compromised, a passive quantum attacker could decrypt both past and future sessions. In contrast, EDHOC-PSK combined with a quantum-resistant Key Encapsulation Mechanism (KEM), such as ML-KEM, provides identity protection and PFS even in the presence of a quantum attacker.</t>
      </section>
      <section anchor="independence-of-session-keys">
        <name>Independence of Session Keys</name>
        <t>NIST mandates that an ephemeral private key shall be used in exactly one key-establishment transaction (see Section 5.6.3.3 of <xref target="SP-800-56A"/>). This requirement is essential for preserving session key independence and ensuring forward secrecy. The EDHOC-PSK protocol complies with this NIST requirement.</t>
        <t>In other protocols, the reuse of ephemeral keys, particularly when combined with implementation flaws such as the absence of public key validation, has resulted in critical security vulnerabilities. Such weaknesses have allowed attackers to recover the so called “ephemeral” private key from a compromised session, thereby enabling them to compromise the security of both past and future sessions between legitimate parties. Assuming breach and minimizing the impact of compromise are fundamental zero-trust principles.</t>
      </section>
      <section anchor="unified-approach-and-recommendations">
        <name>Unified Approach and Recommendations</name>
        <t>For use cases involving the transmission of application data, application data can be sent concurrently with message_3, maintaining the protocol's efficiency.
In applications such as EAP-EDHOC, where application data is not sent, message_4 is mandatory. Thus, the EDHOC-PSK authentication method does not include any extra messages.
Other implementations may continue using OSCORE in place of EDHOC message_4, with a required change in the protocol's language to:
      The Initiator <bcp14>SHALL NOT</bcp14> persistently store PRK_out or application keys until the Initiator has verified message_4 or a message protected with a derived application key, such as an OSCORE message.</t>
        <t>This change ensures that key materials are only stored once their integrity and authenticity are confirmed, thereby enhancing privacy by preventing early storage of potentially compromised keys.</t>
        <t>Lastly, whether the Initiator or Responder authenticates first is not relevant when using symmetric keys.
This consideration was important for the privacy properties when using asymmetric authentication but is not significant in the context of symmetric key usage.</t>
      </section>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <t>This document has IANA actions.</t>
      <section anchor="edhoc-method-type-registry">
        <name>EDHOC Method Type Registry</name>
        <t>IANA is requested to register the following entry in the "EDHOC Method Type" registry under the group name "Ephemeral Diffie-Hellman Over OCSE (EDHOC)".</t>
        <table anchor="tab-method-psk">
          <name>Addition to the EDHOC Method Type Registry.</name>
          <thead>
            <tr>
              <th align="left">Value</th>
              <th align="left">Initiator Authentication Key</th>
              <th align="left">Responder Authentication Key</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">4</td>
              <td align="left">PSK</td>
              <td align="left">PSK</td>
            </tr>
          </tbody>
        </table>
      </section>
      <section anchor="edhoc-exporter-label-registry">
        <name>EDHOC Exporter Label Registry</name>
        <t>IANA is requested to register the following entry in the "EDHOC Exporter Label" registry under the group name "Ephemeral Diffie-Hellman Over OCSE (EDHOC)".</t>
        <table anchor="tab-exporter-psk">
          <name>Additions to the EDHOC Exporter Label Registry.</name>
          <thead>
            <tr>
              <th align="left">Label</th>
              <th align="left">Description</th>
              <th align="left">Change Controller</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">2</td>
              <td align="left">Resumption CRED_PSK</td>
              <td align="left">IETF</td>
              <td align="left">Section 7</td>
            </tr>
            <tr>
              <td align="left">3</td>
              <td align="left">Resumption ID_CRED_PSK</td>
              <td align="left">IETF</td>
              <td align="left">Section 7</td>
            </tr>
          </tbody>
        </table>
      </section>
    </section>
  </middle>
  <back>
    <references anchor="sec-normative-references">
      <name>Normative References</name>
      <reference anchor="RFC9528">
        <front>
          <title>Ephemeral Diffie-Hellman Over COSE (EDHOC)</title>
          <author fullname="G. Selander" initials="G." surname="Selander"/>
          <author fullname="J. Preuß Mattsson" initials="J." surname="Preuß Mattsson"/>
          <author fullname="F. Palombini" initials="F." surname="Palombini"/>
          <date month="March" year="2024"/>
          <abstract>
            <t>This document specifies Ephemeral Diffie-Hellman Over COSE (EDHOC), a very compact and lightweight authenticated Diffie-Hellman key exchange with ephemeral keys. EDHOC provides mutual authentication, forward secrecy, and identity protection. EDHOC is intended for usage in constrained scenarios, and a main use case is to establish an Object Security for Constrained RESTful Environments (OSCORE) security context. By reusing CBOR Object Signing and Encryption (COSE) for cryptography, Concise Binary Object Representation (CBOR) for encoding, and Constrained Application Protocol (CoAP) for transport, the additional code size can be kept very low.</t>
          </abstract>
        </front>
        <seriesInfo name="RFC" value="9528"/>
        <seriesInfo name="DOI" value="10.17487/RFC9528"/>
      </reference>
      <reference anchor="RFC9052">
        <front>
          <title>CBOR Object Signing and Encryption (COSE): Structures and Process</title>
          <author fullname="J. Schaad" initials="J." surname="Schaad"/>
          <date month="August" year="2022"/>
          <abstract>
            <t>Concise Binary Object Representation (CBOR) is a data format designed for small code size and small message size. There is a need to be able to define basic security services for this data format. This document defines the CBOR Object Signing and Encryption (COSE) protocol. This specification describes how to create and process signatures, message authentication codes, and encryption using CBOR for serialization. This specification additionally describes how to represent cryptographic keys using CBOR.</t>
            <t>This document, along with RFC 9053, obsoletes RFC 8152.</t>
          </abstract>
        </front>
        <seriesInfo name="STD" value="96"/>
        <seriesInfo name="RFC" value="9052"/>
        <seriesInfo name="DOI" value="10.17487/RFC9052"/>
      </reference>
      <reference anchor="RFC9053">
        <front>
          <title>CBOR Object Signing and Encryption (COSE): Initial Algorithms</title>
          <author fullname="J. Schaad" initials="J." surname="Schaad"/>
          <date month="August" year="2022"/>
          <abstract>
            <t>Concise Binary Object Representation (CBOR) is a data format designed for small code size and small message size. There is a need to be able to define basic security services for this data format. This document defines a set of algorithms that can be used with the CBOR Object Signing and Encryption (COSE) protocol (RFC 9052).</t>
            <t>This document, along with RFC 9052, obsoletes RFC 8152.</t>
          </abstract>
        </front>
        <seriesInfo name="RFC" value="9053"/>
        <seriesInfo name="DOI" value="10.17487/RFC9053"/>
      </reference>
      <reference anchor="RFC8742">
        <front>
          <title>Concise Binary Object Representation (CBOR) Sequences</title>
          <author fullname="C. Bormann" initials="C." surname="Bormann"/>
          <date month="February" year="2020"/>
          <abstract>
            <t>This document describes the Concise Binary Object Representation (CBOR) Sequence format and associated media type "application/cbor-seq". A CBOR Sequence consists of any number of encoded CBOR data items, simply concatenated in sequence.</t>
            <t>Structured syntax suffixes for media types allow other media types to build on them and make it explicit that they are built on an existing media type as their foundation. This specification defines and registers "+cbor-seq" as a structured syntax suffix for CBOR Sequences.</t>
          </abstract>
        </front>
        <seriesInfo name="RFC" value="8742"/>
        <seriesInfo name="DOI" value="10.17487/RFC8742"/>
      </reference>
      <reference anchor="RFC8949">
        <front>
          <title>Concise Binary Object Representation (CBOR)</title>
          <author fullname="C. Bormann" initials="C." surname="Bormann"/>
          <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
          <date month="December" year="2020"/>
          <abstract>
            <t>The Concise Binary Object Representation (CBOR) is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation. These design goals make it different from earlier binary serializations such as ASN.1 and MessagePack.</t>
            <t>This document obsoletes RFC 7049, providing editorial improvements, new details, and errata fixes while keeping full compatibility with the interchange format of RFC 7049. It does not create a new version of the format.</t>
          </abstract>
        </front>
        <seriesInfo name="STD" value="94"/>
        <seriesInfo name="RFC" value="8949"/>
        <seriesInfo name="DOI" value="10.17487/RFC8949"/>
      </reference>
      <reference anchor="RFC8610">
        <front>
          <title>Concise Data Definition Language (CDDL): A Notational Convention to Express Concise Binary Object Representation (CBOR) and JSON Data Structures</title>
          <author fullname="H. Birkholz" initials="H." surname="Birkholz"/>
          <author fullname="C. Vigano" initials="C." surname="Vigano"/>
          <author fullname="C. Bormann" initials="C." surname="Bormann"/>
          <date month="June" year="2019"/>
          <abstract>
            <t>This document proposes a notational convention to express Concise Binary Object Representation (CBOR) data structures (RFC 7049). Its main goal is to provide an easy and unambiguous way to express structures for protocol messages and data formats that use CBOR or JSON.</t>
          </abstract>
        </front>
        <seriesInfo name="RFC" value="8610"/>
        <seriesInfo name="DOI" value="10.17487/RFC8610"/>
      </reference>
      <reference anchor="RFC9668">
        <front>
          <title>Using Ephemeral Diffie-Hellman Over COSE (EDHOC) with the Constrained Application Protocol (CoAP) and Object Security for Constrained RESTful Environments (OSCORE)</title>
          <author fullname="F. Palombini" initials="F." surname="Palombini"/>
          <author fullname="M. Tiloca" initials="M." surname="Tiloca"/>
          <author fullname="R. Höglund" initials="R." surname="Höglund"/>
          <author fullname="S. Hristozov" initials="S." surname="Hristozov"/>
          <author fullname="G. Selander" initials="G." surname="Selander"/>
          <date month="November" year="2024"/>
          <abstract>
            <t>The lightweight authenticated key exchange protocol Ephemeral Diffie-Hellman Over COSE (EDHOC) can be run over the Constrained Application Protocol (CoAP) and used by two peers to establish a Security Context for the security protocol Object Security for Constrained RESTful Environments (OSCORE). This document details this use of the EDHOC protocol by specifying a number of additional and optional mechanisms, including an optimization approach for combining the execution of EDHOC with the first OSCORE transaction. This combination reduces the number of round trips required to set up an OSCORE Security Context and to complete an OSCORE transaction using that Security Context.</t>
          </abstract>
        </front>
        <seriesInfo name="RFC" value="9668"/>
        <seriesInfo name="DOI" value="10.17487/RFC9668"/>
      </reference>
      <reference anchor="RFC8392">
        <front>
          <title>CBOR Web Token (CWT)</title>
          <author fullname="M. Jones" initials="M." surname="Jones"/>
          <author fullname="E. Wahlstroem" initials="E." surname="Wahlstroem"/>
          <author fullname="S. Erdtman" initials="S." surname="Erdtman"/>
          <author fullname="H. Tschofenig" initials="H." surname="Tschofenig"/>
          <date month="May" year="2018"/>
          <abstract>
            <t>CBOR Web Token (CWT) is a compact means of representing claims to be transferred between two parties. The claims in a CWT are encoded in the Concise Binary Object Representation (CBOR), and CBOR Object Signing and Encryption (COSE) is used for added application-layer security protection. A claim is a piece of information asserted about a subject and is represented as a name/value pair consisting of a claim name and a claim value. CWT is derived from JSON Web Token (JWT) but uses CBOR rather than JSON.</t>
          </abstract>
        </front>
        <seriesInfo name="RFC" value="8392"/>
        <seriesInfo name="DOI" value="10.17487/RFC8392"/>
      </reference>
      <reference anchor="SP-800-56A" target="https://doi.org/10.6028/NIST.SP.800-56Ar3">
        <front>
          <title>Recommendation for Pair-Wise Key-Establishment Schemes Using Discrete Logarithm Cryptography</title>
          <author initials="E." surname="Barker">
            <organization/>
          </author>
          <author initials="L." surname="Chen">
            <organization/>
          </author>
          <author initials="A." surname="Roginsky">
            <organization/>
          </author>
          <author initials="A." surname="Vassilev">
            <organization/>
          </author>
          <author initials="R." surname="Davis">
            <organization/>
          </author>
          <date year="2018" month="April"/>
        </front>
        <seriesInfo name="NIST" value="Special Publication 800-56A Revision 3"/>
      </reference>
      <reference anchor="RFC2119">
        <front>
          <title>Key words for use in RFCs to Indicate Requirement Levels</title>
          <author fullname="S. Bradner" initials="S." surname="Bradner"/>
          <date month="March" year="1997"/>
          <abstract>
            <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
          </abstract>
        </front>
        <seriesInfo name="BCP" value="14"/>
        <seriesInfo name="RFC" value="2119"/>
        <seriesInfo name="DOI" value="10.17487/RFC2119"/>
      </reference>
      <reference anchor="RFC8174">
        <front>
          <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
          <author fullname="B. Leiba" initials="B." surname="Leiba"/>
          <date month="May" year="2017"/>
          <abstract>
            <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
          </abstract>
        </front>
        <seriesInfo name="BCP" value="14"/>
        <seriesInfo name="RFC" value="8174"/>
        <seriesInfo name="DOI" value="10.17487/RFC8174"/>
      </reference>
    </references>
    <?line 469?>

<section anchor="CDDL">
      <name>CDDL Definitions</name>
      <t>This section compiles the CDDL definitions for easy reference, incorporating errata filed against <xref target="RFC9528"/>.</t>
      <sourcecode type="CDDL"><![CDATA[
suites = [ 2* int ] / int

ead = (
  ead_label : int,
  ? ead_value : bstr,
)

EAD_1 = (1* ead)
EAD_2 = (1* ead)
EAD_3 = (1* ead)
EAD_4 = (1* ead)

message_1 = (
  METHOD : int,
  SUITES_I : suites,
  G_X : bstr,
  C_I : bstr / -24..23,
  ? EAD_1,
)

message_2 = (
  G_Y_CIPHERTEXT_2 : bstr,
)

PLAINTEXT_2A = (
  C_R : bstr / -24..23,
  ? EAD_2,
)

message_3 = (
  CIPHERTEXT_3 : bstr,
)

PLAINTEXT_3A = (
  ID_CRED_PSK : header_map / bstr / -24..23,
  CIPHERTEXT_3B : bstr,
)

PLAINTEXT_3B = (
  ? EAD_3
)

message_4 = (
  CIPHERTEXT_4 : bstr,
)

PLAINTEXT_4 = (
  ? EAD_4,
)

error = (
  ERR_CODE : int,
  ERR_INFO : any,
)

info = (
  info_label : int,
  context : bstr,
  length : uint,
)
]]></sourcecode>
    </section>
    <section anchor="test-vectors">
      <name>Test Vectors</name>
      <section anchor="message1">
        <name>message_1</name>
        <t>Both endpoints are authenticated with Pre-Shared Keys (METHOD = 4)</t>
        <artwork><![CDATA[
METHOD (CBOR Data Item) (1 byte)
04
]]></artwork>
        <t>The initiator selects cipher suite 0. A single cipher suite is encoded as an int:</t>
        <artwork><![CDATA[
SUITES_I (CBOR Data Item) (1 byte)
00
]]></artwork>
        <t>The Initiator creates an ephemeral key pair for use with the EDHOC key exchange algorithm:</t>
        <artwork><![CDATA[
Initiator's ephemeral private key
X (Raw Value) (32 bytes)
09 97 2D FE F1 EA AB 92 6E C9 6E 80 05 FE D2 9F 70 FF BF 4E
36 1C 3A 06 1A 7A CD B5 17 0C 10 E5
]]></artwork>
        <artwork><![CDATA[
Initiator's ephemeral public key
G_X (Raw Value) (32 bytes)
7E C6 81 02 94 06 02 AA B5 48 53 9B F4 2A 35 99 2D 95 72 49
EB 7F 18 88 40 6D 17 8A 04 C9 12 DB
]]></artwork>
        <t>The Initiator selects its connection identifier C_I to be the byte string 0xA, which is encoded as 0xA since it is represented by the 1-byte CBOR int 10:</t>
        <artwork><![CDATA[
Connection identifier chosen by the Initiator
C_I (CBOR Data Item) (1 byte)
0A
]]></artwork>
        <t>No external authorization data</t>
        <artwork><![CDATA[
EAD_1 (CBOR Sequence) (0 bytes)
]]></artwork>
        <t>The Initiator constructs message_1:</t>
        <artwork><![CDATA[
message_1 (CBOR Sequence) (37 bytes)
04 02 58 20 7E C6 81 02 94 06 02 AA B5 48 53 9B F4 2A 35 99
2D 95 72 49 EB 7F 18 88 40 6D 17 8A 04 C9 12 DB 0A
]]></artwork>
      </section>
      <section anchor="message2">
        <name>message_2</name>
        <t>The Responder supports the most preferred and selected cipher suite 0, so SUITES_I is acceptable.</t>
        <t>The Responder creates an ephemeral key pair for use with the EDHOC key exchange algorithm:</t>
        <artwork><![CDATA[
Responder's ephemeral private key
Y (Raw Value) (32 bytes)
1E 1C 8F 2D F1 AA 71 10 B3 9F 33 BA 5E A8 DC CF 31 41 1E B3
3D 4F 9A 09 4C F6 51 92 D3 35 A7 A3
]]></artwork>
        <artwork><![CDATA[
Responder's ephemeral public key
G_Y (Raw Value) (32 bytes)
ED 15 6A 62 43 E0 AF EC 9E FB AA BC E8 42 9D 5A D5 E4 E1 C4
32 F7 6A 6E DE 8F 79 24 7B B9 7D 83
]]></artwork>
        <t>The Responder selects its connection identifier C_R to be the byte string 0x5, which is encoded as 0x5 since it is represented by the 1-byte CBOR int -10:</t>
        <artwork><![CDATA[
Connection identifier chosen by the Responder
C_R (CBOR Data Item) (1 byte)
05
]]></artwork>
        <t>The transcript hash TH_2 is calculated using the EDHOC hash algorithm:
TH_2 = H( G_Y, H(message_1) ), where H(message_1) is:</t>
        <artwork><![CDATA[
H(message_1) (CBOR Data Item) (32 bytes)
19 CC 2D 2A 95 7E DD 80 10 90 42 FD E6 CC 20 C2 4B 6A 34 BC
21 C6 D4 9F EA 89 5D 4C 75 92 34 0E
]]></artwork>
        <artwork><![CDATA[
TH_2 (CBOR Data Item) (32 bytes)
5B 48 34 AE 63 0A 8A 0E D0 B0 C6 F3 66 42 60 4D 01 64 78 C4
BC 81 87 BB 76 4D D4 0F 2B EE 3D DE
]]></artwork>
        <t>PRK_2e is specified in <xref section="4.1.2" sectionFormat="of" target="RFC9528"/>.
To compute it, the Elliptic Curve Diffie-Hellman (ECDH) shared secret G_XY is needed.
It is computed from G_X and Y or G_Y and X:</t>
        <artwork><![CDATA[
G_XY (Raw Value) (ECDH shared secret) (32 bytes)
2F 4A 79 9A 5A B0 C5 67 22 0C B6 72 08 E6 CF 8F 4C A5 FE 38
5D 1B 11 FD 9A 57 3D 41 60 F3 B0 B2
]]></artwork>
        <t>Then, PRK_2e is calculated as defined in <xref section="4.1.2" sectionFormat="of" target="RFC9528"/></t>
        <artwork><![CDATA[
PRK_2e (Raw Value) (32 bytes)
D0 39 D6 C3 CF 35 EC A0 CD F8 19 E3 25 79 C7 7E 1F 30 3E FC
C4 36 20 50 99 48 A9 FD 47 FB D9 29
]]></artwork>
        <t>Since the Responder authenticates using PSK, PRK_3e2m = PRK_2e.</t>
        <artwork><![CDATA[
PRK_3e2m (Raw Value) (32 bytes)
D0 39 D6 C3 CF 35 EC A0 CD F8 19 E3 25 79 C7 7E 1F 30 3E FC
C4 36 20 50 99 48 A9 FD 47 FB D9 29
]]></artwork>
        <t>No external authorization data:</t>
        <artwork><![CDATA[
EAD_2 (CBOR Sequence) (0 bytes)
]]></artwork>
        <t>The Responder constructs PLAINTEXT_2A:</t>
        <artwork><![CDATA[
PLAINTEXT_2A (CBOR Sequence) (1 byte)
05
]]></artwork>
        <t>The Responder computes KEYSTREAM_2 as defined in <xref section="4.1.2" sectionFormat="of" target="RFC9528"/></t>
        <artwork><![CDATA[
KEYSTREAM_2 (CBOR Sequence) (1 byte)
EC
]]></artwork>
        <t>The Responder calculates CIPHERTEXT_2B as XOR between PLAINTEXT_2A and KEYSTREAM_2:</t>
        <artwork><![CDATA[
CIPHERTEXT_2B (CBOR Sequence) (1 byte)
E9
]]></artwork>
        <t>The Responder constructs message_2 as defined in <xref section="5.3.1" sectionFormat="of" target="RFC9528"/>:</t>
        <artwork><![CDATA[
message_2 (CBOR Sequence) (35 bytes)
58 21 ED 15 6A 62 43 E0 AF EC 9E FB AA BC E8 42 9D 5A D5 E4
E1 C4 32 F7 6A 6E DE 8F 79 24 7B B9 7D 83 E9
]]></artwork>
      </section>
      <section anchor="message3">
        <name>message_3</name>
        <t>The Initiator computes PRK_4e3m, as described in Section 4, using SALT_4e3m and CRED_PSK:</t>
        <artwork><![CDATA[
SALT_4e3m (Raw Value) (32 bytes)
A7 C6 8F ED 7C F9 BB BC A3 83 F0 2B A4 27 45 51 EE DD 07 4A
1C F3 DB ED 4A 41 1F 33 1B 3A AA 59
]]></artwork>
        <artwork><![CDATA[
CRED_PSK (Raw Value) (38 bytes)
A2 02 68 6D 79 64 6F 74 62 6F 74 08 A1 01 A3 01 04 02 41 10
20 50 50 93 0F F4 62 A7 7A 35 40 CF 54 63 25 DE A2 14
]]></artwork>
        <artwork><![CDATA[
PRK_4e3m (Raw Value) (32 bytes)
6B 99 69 23 A8 81 B6 6E C4 05 AD 03 53 94 1A FB 2C DA A5 E2
AC 65 1D A0 57 9A 08 C7 86 50 2A 66
]]></artwork>
        <t>The transcript hash TH_3 is calculated using the EDHOC hash algorithm:</t>
        <t>TH_3 = H( TH_2, PLAINTEXT_2A )</t>
        <artwork><![CDATA[
TH_3 (CBOR Data Item) (32 bytes)
BC 3B C6 10 D7 25 16 CD 70 3E F7 4C 3A 98 20 17 E5 5D 70 D2
7F 57 01 E8 91 BD 35 11 9E B9 79 88
]]></artwork>
        <t>No external authorization data:</t>
        <artwork><![CDATA[
EAD_3 (CBOR Sequence) (0 bytes)
]]></artwork>
        <t>The Initiator constructs firstly PLAINTEXT_3B as defined in Section 5.3.1.:</t>
        <artwork><![CDATA[
PLAINTEXT_3B (CBOR Sequence) (0 bytes)
]]></artwork>
        <t>It then computes CIPHERTEXT_3B as defined in Section 5.3.2. It uses ID_CRED_PSK, CRED_PSK and TH_3 as external_aad:</t>
        <artwork><![CDATA[
ID_CRED_PSK (CBOR Sequence) (1 byte)
10
]]></artwork>
        <artwork><![CDATA[
CRED_PSK (Raw Value) (38 bytes)
A2 02 68 6D 79 64 6F 74 62 6F 74 08 A1 01 A3 01 04 02 41 10
20 50 50 93 0F F4 62 A7 7A 35 40 CF 54 63 25 DE A2 14
]]></artwork>
        <artwork><![CDATA[
TH_3 (CBOR Data Item) (32 bytes)
A5 0B 64 8C E2 A6 23 BF C9 72 15 B2 6C 7C EE BD C4 4F 6F 79
EF AA BE 27 E8 A0 2A 25 C0 C4 93 CC
]]></artwork>
        <t>The initiator computes K_3 and IV_3</t>
        <artwork><![CDATA[
K_3 (CBOR Sequence) (16 bytes)
D8 57 B9 46 46 34 25 35 3C 3C DE BD CB 90 CB 26
]]></artwork>
        <artwork><![CDATA[
IV_3 (CBOR Sequence) (13 bytes)
A1 F6 BE AF 84 64 83 2A 8D 02 C8 5F 04
]]></artwork>
        <t>It then computes CIPHERTEXT_3B:</t>
        <artwork><![CDATA[
CIPHERTEXT_3B (CBOR Sequence) (9 bytes)
48 D0 A4 37 3C 49 C1 76 9B
]]></artwork>
        <t>The Initiator computes KEYSTREAM_3 as defined in Section 4:</t>
        <artwork><![CDATA[
KEYSTREAM_3 (CBOR Sequence) ()
D0 1B 7A AD 4C AB BD 14 89 50
]]></artwork>
        <t>It then calculates PLAINTEXT_3A as stated in Section 5.3.2.:</t>
        <artwork><![CDATA[
PLAINTEXT_3A (CBOR Sequence) (10 bytes)
10 48 D0 A4 37 3C 49 C1 76 9B
]]></artwork>
        <t>It then uses KEYSTREAM_3 to derive CIPHERTEXT_3A:</t>
        <artwork><![CDATA[
CIPHERTEXT_3A (CBOR Sequence) (10 bytes)
C2 47 AA 2F 94 B8 F9 41 21 C5
]]></artwork>
        <t>The Initiator computes message_3 as defined in Section 5.3.2.:</t>
        <artwork><![CDATA[
message_3 (CBOR Sequence) (11 bytes)
4A C2 47 AA 2F 94 B8 F9 41 21 C5
]]></artwork>
        <t>The transcript hash TH_4 is calculated using the EDHOC hash algorithm:
TH_4 = H( TH_3, ID_CRED_PSK, ? EAD_3, CRED_PSK )</t>
        <artwork><![CDATA[
TH_4 (CBOR Data Item) (32 bytes)
E5 67 45 39 75 66 CF F9 A6 93 DF 29 8D A4 F9 9E 1F 92 57 54
44 6B 5B 11 09 61 59 E5 C4 FC 0B FD
]]></artwork>
      </section>
      <section anchor="message4">
        <name>message_4</name>
        <t>No external authorization data:</t>
        <artwork><![CDATA[
EAD_4 (CBOR Sequence) (0 bytes)
]]></artwork>
        <t>The Responder constructs PLAINTEXT_4:</t>
        <artwork><![CDATA[
PLAINTEXT_4 (CBOR Sequence) (0 bytes)
]]></artwork>
        <t>The Responder computes K_4 and IV_4</t>
        <artwork><![CDATA[
K_4 (CBOR Sequence) (16 bytes)
BC 34 CE B4 E3 58 36 06 A0 81 6A 53 A5 0A E1 07
]]></artwork>
        <artwork><![CDATA[
IV_4 (CBOR Sequence) (13 bytes)
12 2B 58 9D EB 77 81 A1 A5 9D D4 42 7C
]]></artwork>
        <t>The Responder computes message_4:</t>
        <artwork><![CDATA[
message_4 (CBOR Sequence) (9 bytes)
48 69 C1 F1 2E 13 44 A3 93
]]></artwork>
      </section>
    </section>
    <section anchor="change-log">
      <name>Change Log</name>
      <t>RFC Editor: Please remove this appendix.</t>
      <ul spacing="normal">
        <li>
          <t>From -03 to -04  </t>
          <ul spacing="normal">
            <li>
              <t>Test Vectors</t>
            </li>
            <li>
              <t>Editorial changes</t>
            </li>
          </ul>
        </li>
        <li>
          <t>From -02 to -03  </t>
          <ul spacing="normal">
            <li>
              <t>Updated abstract and Introduction</t>
            </li>
            <li>
              <t>Changed message_3 to hide the identity length from passive attackers</t>
            </li>
            <li>
              <t>CDDL Definitions</t>
            </li>
            <li>
              <t>Security considerations of independence of Session Keys</t>
            </li>
            <li>
              <t>Editorial changes</t>
            </li>
          </ul>
        </li>
        <li>
          <t>From -01 to -02  </t>
          <ul spacing="normal">
            <li>
              <t>Changes to message_3 formatting and processing</t>
            </li>
          </ul>
        </li>
        <li>
          <t>From -00 to -01  </t>
          <ul spacing="normal">
            <li>
              <t>Editorial changes and corrections</t>
            </li>
          </ul>
        </li>
      </ul>
    </section>
    <section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>The authors want to thank
<contact fullname="Christian Amsüss"/>,
<contact fullname="Scott Fluhrer"/>,
<contact fullname="Charlie Jacomme"/>,
<contact fullname="Marco Tiloca"/>,
and
<contact fullname="Francisco Lopez-Gomez"/>
for reviewing and commenting on intermediate versions of the draft.</t>
      <t>This work has been partly funded by PID2023-148104OB-C43 funded by MICIU/AEI/10.13039/501100011033 (ONOFRE4), FEDER/UE EU HE CASTOR under Grant Agreement No 101167904 and EU CERTIFY under Grant Agreement No 101069471.</t>
      <t>This work was supported partially by Vinnova - the Swedish Agency for Innovation Systems - through the EUREKA CELTIC-NEXT project CYPRESS.</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA9V9W3MbS5Lee/+KMvUg8gwA4cabPJoZEBeJqws1JHUusbHB
aQBNslcAGtPdIMWjI8f8BUf4xRF22L/CT37y/JP5Jf4ys6q6qtEApTPr9a5i
RgdqdFVlZeU9sxL1ej3I43wWPVc7w8Grs77qrfLbaJHHkzCPpuo+zm/V+zT6
21/+88VtmOLJ6+ghU7vvL17v7QTheJxGd88Vj6zjWTBNJotwjtmmaXid1+Mo
v67Pwo9RPZreJpP6MvtYb3YDmvsmSR+eqyyfBsFd59N81k6vJ88DpbJ4Fi0m
EX2sq1GyWkzVxfcvBZD7eIq/k1TdRvHNba6yZTSJr+MIc2Sr8TzOsjhZ5A9L
rH86vBwp9USFsyzB3uLFNFpG+GuR79TUTjSN8ySNwxn947R3gv9g1p3T88vR
TjBJFlm0yFbZc5WnqyjABjsB9h4+VxfRZJXG+UNwn6Qfb9JktXyu3vReD9UP
+He8uFEv6RntT7Z2Fy1WvBXnXfxLQPTHKDUP49lzRdj6A+GtkaQ3eBqmk9vn
6jbPl9nzZ8/oHXoS30UN89IzevBsnCb3WfSMhj+jBYGv1Vimq9/fPAPm8XQG
xGd5MZ3+tiFvN+KE3nv25CZpbDy/xm0+nwVBCDJJUmytjmmVkkMfzrJQvUmW
0c/191Ea/cxfAcJwEf8c5jgbnMsCaOfnkew3wpjGjMcsacwfYnqjcZ36U7/8
6/9KwwUOYBbiFNOKmYdpPMmyZOFODiILF41MD/pDpF9pTJK5P/0/JLcL9QtR
+uqv/0O9DfPcTvX4Kv+MwY25HrNlkfPwOoxmmD2NF3VGU8UCHxY42zQDkank
Wr1dpRMfXziX8A+reSPKgmCRpFgW7z8P8Mr5qH+83z56rj8299vFx47+eHTY
NU+PjrvH5uNBq2nePTgwMxx1jvndi/f1o2azvn/Qe86A5GF6EzlENE1iJsNW
s3HQbB89e3d6cdm4eN/Qg9KOjBIpcx4BLXNwIm9XXYPt3odxWv8hziKSLfVh
lofjWZzd4qVcXUxuo3mUqQ8ZccogziZplEegsRsgMb+dq376sMyTmzRc3j7w
OhnwH+Ht60SgVWqHANqBELggcRHO1PsVFpgIABpIwHUXk/RQnR0eZumb/9T1
f5WKFxALw4Y6CdOPmgzXvn7TUH3I0Oovew11ntzg48eHjS98H2YkBu+qXzhv
qEEIaPkp8Ais9pZpPFPtZusoCGjrBVnU63UVjrM8DSd5EFzexpmCjF4xco34
zFRIlF8vJLwIeEaC1gWEmnkEnEz5zPBcDZd0NikQOoivMU39VTSbzcGkZyBg
1T+7GKpd1gx76iOmjD5NbsPFTaSWaZInk2TWUJeYBQuZiaMFXpgAHJDIcpXz
opg9wuSTGErhQd3fAi00wV08JYKYr/IV3vDhrKnIQuYuXFMxyX/iLAIhmsjL
EA3qz6twka/mKgXlgP4AREOd5grIWoYp5l1B6M4eVLaKSSkSArKHLI/mGSCC
0FKLZAqwM8If4RJbEhjxcrLK68l1fUzL7Eaf8iilPQl6F7RnUDvGmk3iVCJW
YwTLar5kxLPyw1tlzCRA9G0UTgmKBZ8JLU1Qm9Wv02QOiJZQ03GyykRT2yV2
nTUIIjoRl0CmUQ6Zk9mZDQHMkvsaoxZCNb4T4hAcZzW8lGUhjlmoMMcx1Qie
Ca1Jn2nXmdajinQtAE15jqwh9DqPp9NZFARPoC3yNJmu+KTK1DuNruPF/y/a
VZ8/a3H75csaHY/DmdAxrUQnNos+aXkO8cU0iIWnoLQ0Hq+KE95E9g31A9N9
9gDJiTETTdjeDEDNPEntelgbuwndIeES0IcQqDgkgraEoeT6GnoHlkoEkZJu
5kH6gnGdJ7xB2XRGhD7DgUwhpLZiJyWiWmSbeLcAeSMbEwVVsLKKjOoAEOMH
D4ggEMoXe3Z98+NoAXLKM7WCGpqEYBDN2fl9UubuKmr7CnbXzIVTmJHIBfay
Cbg/jZNMzeKPESPTt75p/rfhAtzEFN8jw482uwIgu73Xb3t7hOx5MhbqEImk
Kfx9hEMkKJwp8RXeHwIqcB3EjvsdywBD3bvD3vs9M2OFnBaZRcsIbrAZGG/E
8ZsPDbBDCEFowzS8xiZg3Kf3YTolozqNJoTJ0YXBEtnfKS8R5iqCGa3ia1fA
ERFCtMFomEK6hFlOT+arhd5JBiqDubQQQYNTuyGSywEEqUUFsRROoL7BCKJR
rleM09IcdN6avIwoXZJmdmdoqN4UzgRzyeyhRnQHxY3939BWDcQkdsYJSK9E
dnQ+vhytOTxlWHJdO/lCiWYpTcwoY60AgtZu3LA/eDUEJ/QWgATEQXMYcifZ
VMEWsWgV4R0r+4D/dSVlD05ow2icGcv4haCQlamQy59X8eQjvkwjy7XmsLxT
AISESExXz4TpPpIDavVaTLpYgKlhMugKg3erHHFkCew+686u464QOf7+YeY9
aADWkVPTaMG5w/OyGGHwsMFxBHCugZ9bs24W3yxgbk1wmNg4Bq1JWQuyK2OX
bK3WCeoydKd0PMQNOMGaJbayVrcGAcGHOeHYRSIjIs/WBglstBTGBg/8+Gr4
aZmkNEuVBQGxCXrXALkikAlntVwmmexsTOJ0lixu6nhn7upG4Uoa789PM4Qu
qkHOF1r6d4wQxisLRuVdHN3TrirMFz73YkGwsZmmaxSZVt9i1hC4ZYPHOSNP
35mZ9q39tG4S8fplq8gMPMBAODrxWMOw4sGaQ0mUuFxnBh1ag0iG8AAbmBEK
PLvon50PGzaMUTK/WOCZpVmPm8mPfACPfRyd9t711i25J6qfLO4Ivzw1hg8I
QJaVGRlzIsXukxTGw87bD/DRavJf9e6MP58P//jh9Hw4oM8Xr3pv3tgPgX7j
4tXZhzeD4lMxsn/29u3w3UAG46nyHgU7b3s/7cimds7eX56eveu92RFx59qY
hBAh1HgBGl2S80nyIvCwdNJ//3/+Z6sLKvgPIIN2q3X85Yv+x1HrsIt/kCSW
1ZLF7EH/E6h7CGAORCGrZcgRMPIyzkGOZAbB4EjuF4rYCdj87h8JM//0XP12
PFm2ur/TD2jD3kODM+8h42z9ydpgQWLFo4plLDa95yVM+/D2fvL+bfDuPPzt
74mqVL119PvfBUFwDllICpCOIfq0FCUi53EdzuNZDMwxYRMVkgwROgMpTqIl
jDnvlESgOZxaU/2Ts3N5QsEQ++Qi+vMqYgNevjvstvk78gou8nTFBpgs9d6y
sJ65uV+825vdJBylyOyXHf7yh0se3O9f6BU6xzyKHtJWwDgTiocMwjx0uEa9
gSxakSzY7Q8Gb/b04INWkwZDZk5uSUCutHgFxlLyGXlPU5oqs8AzfxpzLwiM
IhEJqVWJb+eKwQ1XCUL/dHDVB41dkcQ3C2s1mJIeje5ImYngNS/WxGwAU5HJ
KgLxqtOw37NoX5QNEEcnlNW4luowwGYAenWDvedqHopNE/IJXBHgaURowCRF
xIlFdx7DbIYQlN2KaCYgYB2RgCVzQJObnYqJC0DehSmpAgoo08knYiXF5HjN
zUKkCVMGyxcp9xHAB6tDSZIWTqpwXe27hlkhz+n8IGALBSYC9ZQIhe18AvU8
ypYJBT6ZgYA/QMAbcgMVnpOiPOUi1gMj+yYhAObJSuyEiPzy5YMl2OuETp9w
kYJ34pTRkFH4SZ2RwMvXYKMnBXy3IdnUE2IlixLaZJ1dj+I9ohHyW/COJrSC
wOy0TGxirTiEyhh74j4B2Rf/EMuC2faWpQ5IaUmShJxVmko/hcoPcR4kldg3
IXLQrPEg5pNjpzbIxwEfhkQZwMZ/cv54i79Qn7vqubp92rx+qr78RxghL9TT
j/H0qT+Ez3i5SsmComMowQ+sXIcTImpwyTonTpI0Jb+LmUaiW46olu24M8IG
hxycOayfFfPwiRBeCv4GxuGZhPNxfLMi44J4UZODNuUm8ZJDXHTE4KD5apbH
wAzbzPp8isP5asHAgDswSlgNqjRbcb6jkBTYdLYaZ3mcr8xzx7oehyQ4HaNQ
gDkVWU0fz7WNtRbjCAKJ0FiYae/hNFnmBEkyNRZfSRZBCBHvaXfm82dryjb2
G23P4qInHTpIR3tB3E1j8RCvV4tpyKJnRue1YJww+1mINClzfMBFVhFVomOo
sfgLNVrKSBeDu14OG9ABsXdPiAGpx5OYPJy7OGQUZytm7OvVzJilxiAHHbBB
zRTA8VwKPbGwlzOk4L6YyklG3yQUhZ1G8rxwzbU6IRrqsfvInqmHaqxaYnXS
ij9EY3WZfISbvAulvEe4IeXcn4UxlPZFlON5/2LP1dJQd8R9TycLsOqEXqRd
Gc5YXMccey+k9lOjPZ7Sdidhmj44qmthpIMH4H2ymk1h5ZRFxmf1bX+eAXhK
BrYhW3bmD9MkHyeU/3xkFHiERh1h1Nev+AwIecYpidY3jHtmsPPM5DhodPcx
EHnox7wY1TbS89HNQaqaUfUWj9pvHneao1H3oN07POx19rvN/mi/e9Bp7w+G
vXar+5RGyZgvAf3/S0kqwwAhDcqhJbEjMjYz7HnC8iWbdcXRKqhx8nnpv+QB
iOG0LiALpcJyQyu7NTn+g4n8b5aPEMuzFbnF7Hs4ltFu1LhpACCVhvfsi7FN
QpbvHksXbfsD8vuU/BQ2QUI2W8cUeIUs/ERci1fZSAhdrqiKTpBpMctdrVGI
pUVSxHTH0UOilTmBFedZNLsGc596Flam2AOSUKFoATst1N4q0qbw+HH7Q9iS
4ulAllEmHKqSCFickuKQjWUGbzvddn2/We+06qNRfTiqdw7rnXa9c7wjbmW7
U2+16vtH9V6vftKpH47qrebOXilMZs7SSGQbi7exMgkUUDwPVDWPs3Eselci
kOIpLrGFz597SzZIP6kBlIerKhrqHSSlYIi2YXyELJmRer+2GoFQb6bHssbB
FP+XiWhqQoKlYAgUkE6nQdrfWlP1aviJM4+77CZQPD0x5uCkSNyK6imEv8Yv
aGnPwKqtg6GrTIvwiYLBMY04ICE2UmGPFt9w5P3BmJeeWr7FXzO25K99c9K3
H+vq1NcipEPqPBMxdsExpOamZCTOYTuCpibOcllRtSJWhFbxmeo22o0WL0uf
2g19huKaluLiHG2BSlyskQ4HNO+SeJpJzCIBcYTi6QDkjLhiumILepEs6j6U
rBPh3MQhiK1qw24Y0c10MEel4SLjsCCzHHNgSYww1YVZHTORwMAMEAl1g5sG
GNL+A6ROFT6TkHAJsgdxUOZKYtoSemPRY73SzFLebZjdGgEA0mY7uhBtel+O
nWsOrWTuPnjGrmfrEvYYx4W1y+LOTRyt+RYWAh4tgs1CXyMRhI2uspwQlYdk
k5AP7wg32QjmupklYzb0BGSb1DRUyjrBXV9TS2Y4niO9Mp31Z9Ru3IjAdZ8V
eSL4Tn3Zq9kMJni4oGGYtfFcF6z4FrFnrpakkIgTivlyBoxHLCFQQaSfcgUk
zECyu+YQ37/pnb67HP54edXp7ZX8KKoMEzC1w6Q0D/Lp86NdJuXxA8QeefKL
mz1nVLvlD2l+au3rEQTNTZTusRghY9XZauYJRGcXrtfo+IcAWRItpOOwR0MZ
MIRn7F3acAwdqvaUpnyClwloPo9vyI+rkvlWXNtiDyDdoA5HCyn/lHA5/mcc
yJ42Uw3+XVFupRtxOlQwz1HMznkcMqJrj9gYBKE2MLSANb7Cy0IA+04TdjwL
dYRlEqVahHHEHfZATf3YgGGmBsNzS3hcpKc9E2If8His64imiTguRsSXvdI4
913CktsjKWWJ/bCQumZ6E1eGEzchnxPFjhxQCwCwVQrIvNWB/hGZdG78XYdn
fJmwFg2rGZ8HEEgAIywUrUlBsvaySVYdbMgoh4pTenn1408kS2aTlSDXDrHm
z9PMGe5gE0Npf8UaFl+E4JdXP1m7aclqX2wAPxgAzGMabZVyvtEo8NqGOePM
N8U2QNcoBYIcSjRJCGvewQXL8gZI7Tq+qWttRo4bxdMznV7V+Rh9TDbHWa/I
gYof1/BdMRWG2d1NUCz67X/sZoJf1r98O7x8dTaoqYsPp5fDi6tTPtma6tOn
YW9w1SoP+CX4Tf3v/vO7X6pgcf4YSl1bvgTL9lm+7s/GWUA2NbIEd4GOc0FH
W+1tnuW3fz9ifvOVeGn/uh1905/qWRgfjnypqR4Qs8vY6QA7Zfz869JL51fs
6Fv/bJ+lwEZ3I63oWf4V6aX7yI786M9z9cQVaVJS+2LnzEl1b1RADXilaU5l
63UorZvFi51JRO7BzhddV2eqw4oselWJlSmkWauDKUpcNuQgGkGxaSnOydi6
osKHmhqvJPcSRVOxCFwBX3LW2eGQeGN1EVmR7YuvdTpn9qATNTbbwfabrvQp
vFaTIf9BMkwx7WuV4rMGvqYVoK6E0WBksnNrMIhidGKBBHIlqJyHo1jMoPCl
Pz/BeHhm6Rcd8M+i1ZQK2afQzB/l+sX562yvsFRMPLU6b2SxIel9MSX8ag52
0jmUMIVvt1bB571mMn1F8PY6/hRN67NocQMkwCchkxRm2Ea42cQg68C3XrKS
jg3wtlIvSpEElYUzgHr6+q3aK8XhxLz+E73wJ7HoFstVvhZb3v0TBv9pT6ND
vBe294j62WwlrE+LtKvhI4sBSf1lJvEn2GW3MzQpX+xpJsFpHTCZxEvyBbiE
GPQWRY671G204Pl7IRscfUI3Qjg6BjNQo5VJK4MnPF3NKGOWJpmYNJIJIINS
n3UVKWRCvhk8lLXTIUaRd+mUrtoAkv7bidpzSUzTv7pRZ74n3grBBW9FonxF
EZlfZlmXnEq5cAqOxtteX/L6HN2hjHfGWfeciuiK8p9FOKezm9hKEiDw5iYi
XzZe3CWzO6mMBIqEA8V8NiyHRRTHPzSX2+ATBdcy1wFxBu7S1ju6zLQbCZ3g
1egOQlfsULpN9KlA2DSJxHUgz46jqHT0khjVcTGQXZrMbPKDuSH2ku5GBLLD
ld5pmrRxHip+J6SKR1l5xiZwI1KDwzGTNF7mQpmXr2CdvFCvdsV+erVrbTky
DihDrVkhzHxfft2TFypiSOQM53DPOKDlRbfGEeQECNk3xLF12OIzDkesBxJ1
VlWo2fgilG+pDpox55SDnX4AkAsfTMQzLDuhnCMTeqeXImFwXWJAIf+6kScv
GINMFfo5SRE8JpeLMtUXvTeXzCCCTMdjM3zEFIVZOsL/o/iGfMoDAt9PJpal
oIymPy80sIHhRv20JCMtLLUiZrUXvB7+dHF5Puy9ver07JjXg9Guw+mtVk2D
aGMzVyLZrzqhN0e7Yg5iHaWaNY2r9TnaPIdrD67NIWB3DBigDz0YI0+/d4Zu
GNk1I+O7YuBWQ4pIUNtSJVX8tRYUax6mJQ/HbjGOTmayqnZiW5R+oXolCKKF
XdONE3Dy+fT9q+G5jDip+QU03prtyjWL9ej7YnCbCyyAK5ELcmbey3v0RtUh
ardd45dKE7etUUVKW2bo9EpbDPwa63xNPefVAq8rtyKscOIT4udmwyATz2ly
gDjxeCdwgjt+FWdRAqYt6UzLpuJ6laugJxIIe7QktFRfWhSVlswEJ+rUCgL7
UbHpynNHU3fqspQuyfr2lvnbkoRx9u94HO1i8XZp8S3LddbtHlqiMPb7wEKS
2YN2VnOYQsjeiXrpdOQ4XlClVsjUc8eh4Cica1Os5obY9Dc30YKsBVsxb4qd
gb+iOq/QLZauQVjf+SzwQunwxO9NgAJv+CC/8Ef8eHbucTJ2mCxA1OlDqcK4
IFlMDxNHayV1YcKUV0l6xc9ZOZuYZsMNl7i27yPavgGoLn5y5Ys30Pgq5ugK
98+pjfRP7sOS6zMmUcz3QayoqJUCeYZiMwrfhplGfMbIPs117Ty+dbFWc47H
Ac6kH79ZljVkLV1zkpWOUChIkxkOELKZkyglUvAHVR10JavjKMo1P/bkTbR6
Hk7hB9zRtXBdGMeB+sK5pVOCAbkkvchX7/A5gxihzwdMB9nHmJL7Hqt3trF6
p2D1ztezerea1Yvj3sDqncDnnM6/AWaH9fGdr7CI3121/UzRpVv8p97uNhpt
6BlPiZNGESvmO8q8lJJ1UhERUu7iBodaytQZIisVEJq8Hf9bbPRFdf7O3kKb
lh3Rqrxdw4N0i86OPk2iaCrMlKxycr2t5wwbTUPk1Cm89POD+mZcQ6O3L+zt
W1TGgH+csR8zMewyHmW98Lfks2qnVybFE7PGUyEzAuApVxFQjc1Q7K+mSjgP
x+GVapnrF/utl/rZgmfdowNC3Ak1aAPIRhz8UIMQvs6+GCeXTN7XZP1w4TKz
4MxkdO8wC9iRbe3d+NorovFX1gliJ+fpVdxvtisc78IzuarYrpicDx80wQxY
d+r/Xqjbp0/5mQnvXYUhPf7tb33zTiw+yzW/+x0PIn+Eqz1ox+VDspTGr3rA
Es//3kTYywXYVjv9KnuztlnJXjK9s/jneCnHCUjddyh9Z3OVJvNJJ/Y0U+NV
PMvr8UIy3Hz5x+B6Za//6XBNqbanCAjr2s71m8O+4l4z4qotgc5GS0DTZTGB
vlyalWiDdRmbAwOJRIpnUKbyrzjcBhtwYZrJHEVmHvA6UMlVB1tOwXUUok3q
mumKBK6do/ZtMsZItG3qZU2brLuJRjLFC2g5poJ6AZsIJN70S60FfTlrBQ7H
CnWEqpAVROC6LItwL26mv8uyaSRT+hst6gFxGt+0X174e0m/c1qe64M8lejW
UMq56acAvGFU2emAHeYFaDC5WcQ/m0S1k20YJymHpr8TJE4rdnsiu9VyieUq
kduvl0hVoq0k9Dmy5Er6IMCe7sAHthTsmi4f1iTISBUkkiyPYg4h+qa2DWF+
XOhiVKfKtGbulBun9Z5qV8M59esR44kDuOyr1Cjn4kHB5d+RiT07NZfJAibc
1Fzy9uEhMLJ1OODYmwezoixig/ffMVUdcuubMhLczCOmuz9Cc24yB0f8Jsxy
E2BwAXUl+Wb9ELxLKuRwkdaq6ZJfOck8pOJEKDfIY5NA8mWzlbJS6CPnWJSt
ZBEb5r6L3i1M8+6vDQGshRj61TddKXTlZ8cKMuJIu1Yc6+kwCnVTY67qgg65
PPX3pQArYKNQUEh9h5KUKpN6fAuaKfXB1T3dshdKBJRRFd60IFT35pLni5iI
NoUjqbxxt7z3Pa12MRH0t0TziSwf+CbRtFBjtuilgMSWny2pQRRXf1JTmpza
fpgFKe3qOH+caFgBLbPSrghuYdPi/gSom4ZbjBVSSLtYhuFKKxTpU2qgwhnU
Il9q64n80yt7qQRP6DW/8MbIfUW6lGSiZrCW5Rb4eXFf7fMTajBXXGD7UorI
mRvSt5BxmKxIQElLn/XGOyZ12ghGTlShSD6UrdrS7Xg6UlP2WqRLmdVTE9tN
HXVQvu+Rimvnz7qr2jVSCjUH0Cvsuwh2p75nWB7e0cPhKlIFnz+2IqPKau27
DasBu2OSxNchNLkhXPPlbuF6VfgfbuHVt7g0e8W3cmDxQit4O11xBBIqmLGp
Qruo2LS/hTZfIlpGrCJD1ibODabZg26wIyLV75JAJ3ITplPu1KRhXK3nP+0t
W+ZnE4XgCmFLeJySYFPFJvgX5Cz5tCnqiws01Y7BhjRA2/EumlARIzVeoKwn
EYXTQIDyzFYPyZaZQAkDpumNNQR9CGtSjV00ZKDE8Mq07CDivYqlINUfpwmq
5C+x+CPE2pEsoW9Ddg28I7CCS9BvxVeDIxXr904K0cNXb/m2qWs8CGpp1d34
Ny17pTlfA5CtI5YVbNevfPdlDRq7Tfemib/N3bhOC8JoChdA6OY9Z0Vuv7Tf
S77/mD0CzppPJSaW2Uyh27ROIgaYxlMjtMyZ5JqTp4bAbcMQhxvp+To95rcr
UsEf9ZWhLLyORCoyNry5SpxQYErX2fZFHFyQOMCWiivHvJ9CI9C9zGhhY3+l
ZiJeknat9YlpEcPU2hJdXJqAGZhNHSPlfb/JlVqCYLKc+UWNJYi7m5iqA/w1
2eLWSnd9EuuQY+N0vRcEE9/wO6avR2FYEom04e6Ubk7pOw9Ogckc2pg9tii/
j3TksLRdNqfJ7RWg2Yj2oaOcI06A7jjcFjXttC7B0WG3a+0Y4kwaHRV2hjdp
UdliTQmqUdqCRSuOc+9SHbEeuUSe2PTb3IQTeBemktkxT+raWJ6oZUIhEGmg
QB0U4rtw8sDlK04flS1E6O89c0QhU0ypQjyNeJtcmZTHc6MsuVIBZ+2YZhZA
f4GGTJ+YK2ROux0qFfjIVfVxNXEs6cIteY1yp5jlIKkpvr/g0yuhy1Fki+i+
inb8WnH3bpVyrlCSA0Y6Nw9z45vYiPGrSnvrdfTwYcmBgGqDSwDSFnLNtAix
9Ub6+00XvzbYhloS2VY6j5DAd66dyrane5nE2qD6cn+mpTA38fNJ1IVgw6Tj
SLfSMt5BWS5RhzJuC+BWdmY+K7n9rBoSHOP7iJo4LM1AwRANxNlclwTmHOou
bi1yXkCqRZmcrfVWMih0jwa9XXMQ4k5oFipqHOO8uHsuJpb2KXy/TafENB0Y
H2nM/alIo07Xo45aovhXnCqD2jZIf3Dgpi+s/WHa+5UdSroNXJR8RGU9XcTA
6R6D8adIlEYZV7rZvFA/6b0345gcN1GjxKYfueFA0QdutknXC3XXKyYb4lmu
Z5PcIlZIne6xE79Sptz60fG+QpDVw8+6HMKqKgkqa64R0shs2y2Rsqfrhci6
nyPvRrsVmS88ixKLjpGRRervay/USHGX6mVSpZPpxkA1TtKZ1LyLFHOW0hLT
aOvclANaIvjbX/6rU2C9qT3h+k3l6nHr1di7F15e77iUe92rOdSwteDblnX7
NLx+hXojLA1uL+Rft8qifLXM3NwUSwNP5IoXoqUO3aWbx5KJ5kJKC6u+LJyt
xntkXJq2HqZC+241I7Vkm8ZwaSYTLEUQZvAizK06aotGyaY8Kt3/pivTXJJJ
MpIuzfpXlxkcuv9mDszIYHOdXEfoJEzlt85wydgew8bGqBCVblNJU0UvpNpQ
r5J76jxZM60yTXV9ORBmKz+7XPfJeKXo5IZaegnoWYty+re//JfVgl1cnwDw
4ow7x5bDONIFaS00VNyPdONAXK45jeZgtjwVExMK0SijoneIvmNWRK44xi0X
G0tF+ubONBNU9Sa53cim6n05v6G5ONDjzuBGN3CLrveOXLqA3pBu0eVoacVR
F7cRvEkZCQUTmqJjNzjMAOrbl7q3MEVQ9DVaSZEVjFXhGOhUepX57Ap2becm
4Ow/6jakZd1yHk24V970jlqTihuGmU3XUgmfiz/LpduFqzklOyRZFt0n+y5n
sd15rguvndU5Gp+q3f75H/tMwdQ9l/oYRKF0tbU2LvsbEPgzSexIlBJSYnJL
Xeaky0oaLaTb0+LBSHFOLSxnyUPk9Qb12d7GqjIwhG16MJvFS75JvyJ5Ueot
vUt3HvbwOriW7TMg98TrF+teS/3WvrEV5KWPoG4ax+aP9Y2tbWkc68mX0MdG
KHXv+qj8k/eOqjgMjtXxDVF6DR4d9UbTfW/UOOWmPJrQpcm17h0hNxYW4Pvy
rYFSs0uZvMhIcEV5lYqjUrVtLYmtajPonIRLViigeMj8MBWrb3N/4tAqRYMZ
oxzxHu3Y5BS1ysvEftZNibXsE8NS7I4sd3eLtcacj9JmzvqpU1Xz0Lt6+9YY
7Wr39fDtXhHBf/umjge1R26BUdnr6EI3ZnbjkJNIGLm8UW3I2V9hkfdMCJ9+
UyYI6GcadIrGJAXBNM5tYOfaMaw0OKHjIgwQfQo5J0ihAUrJ+a1tOTsYCvC7
VPJUZLsOTJUdrCX7QxewkLTx6oQw2O3OMn3jnb01uavBsq1wl1TsblM6WUED
0VvXmr4yoS8R7B7jisriGHNsDHD2Jhg7XkCFzCodrNPjMhPy0G6W14s7q/k/
ZmA6aTi04wcC1PUsvC/aanDGZmzPuPIevmRoJa0v5wLHKefu81YFGYuMWpIw
51zQAvdR+HEhxZ7SDJAUGMlfa9Ky+Tahvr6i1xId2Fd/+8t/sxv921/+u0cn
OrTnsKMXHUqj8YP04tGG1Zy7Edi3fVcFu97KoTZ2NotusDe6cGYMWPIhtPk2
Tjmcw1cC4wV5mcaoi6VOj34moIAg5I4Rtr2b+jlKk3qeUqMQbHQxoQZ62k/6
sJCoeM9c5ZQLmO4ProDNRlK7oZuVyC0qAwHzif4dJWbkkmVWW7fVdMiFg2nk
1VoVyhTl+NYm1mjWMkT7NHN/6oCI2r2aWfQT6r2vM6eY+pg1SLSlKu0qPMOw
yPuC4VaaSx5zh63m0GYlBejlgpDTb+6M+a8cQKPufySp48Uq0j6Otn2l58nE
uSrn5J21/DadQLQTXK5TeEp2tu4Dm9sfufGTKba977+jVHFDJ2v1rr1fAHDb
Q0nWlm0BHdxKuKkOd+naUkERprZBn7Y/NPfTj85Ij3kJ5kpvM75viKeR/PIL
VtJNuJdJLipA5wKNXNFNLE0NCYi0os5GooKVTSwk3GMb0Gpb6r4IHXsudNbQ
2HKNcU4vgBiTlNW+yRyajS25GRS7tc60G7vf20vZSe72rrcXWqWrDaHEd+5X
+jSfSGPw9VCU2w6XiItfE+2sJZmwxlthxMuHJfmZN/RrJw/QevS21szQ8hLp
Tflrje6iQJD61D7YjNTarDt6XEqtlKZ6NP9UG/9iF0Zs/ZmYs37xMzE7APwX
qkgDx//iHHipVSZZYr84JFD1NeaRvgC/sDW5uT3AI1/zPTdYQXURaPTjbeaa
m7lPZcJXm/HdoOtt9kRsWv1NOI5m/4KH4k/8L34uAu4vahBJjRht3cNkX4QO
V7EBUExCp2QadtGRtPWbTsTdhqv4C/nFQX/aojk/TdFZn8INWT4+hTnQSGOr
6kgz/0w3nBgfa71eV2NYV9yrfzB44zboV5+f0KNyBQ0JvNj89guPmTpj5BZ9
5jSSpMuKkyQFDBLLidKUVPV1TIab8as2Xn7lFQJOA2bqhfpH1f6OJLz6J/WM
/hsEEddU7kIH4tPVjLf4nL6q4dHv+SE3gsNDuo5RC/aCQNrnYFTrO3phL5Ab
UaUHnfKDrvvA9rJo6eWlX0+xtunbgycCPj2kDksGEEW9fPS/nFsiDDZDyLAW
fWVkmZdXP125l4ncfZWvn/ES51uWaHtLdMwYp661evqOmd4l3ue6AdoVNTZb
u/xSmvdkw8QnemJdVO+C110Hr1s9S9ebpMvfguxAmvJ8eH5+1T8bDIvDoien
70ZneEJFGDSA+qrp9+ljmbSM7itOU9cSPVcrfsUrpCL+uqTA1/d8syJjgWop
KAhOpHXBdJnEFDvj3uyVv8Ja936DVdPcC9XdK9WN6W+kpR1HKE/zaL4H+uWW
eHtBs1vRWLwo7Zayq8zPwzfhw5jMk/cFt6W0zfRCvmJQrmSz/LAFpmYFTE75
Df8uWeaHBMjcWIaw+661U1O6KOOHu0zEbq0Te3VrtMKNDH5Uu+fhvah3gNxp
M8wZgD5Wx4eqPVCjoRq1QHGqd6KO2+pgqPrH9PdRUzX36dtBWx2P1GFTjUbq
ZKS6w6BzoFp9BW5q4kNPHcJUGqiTfdU6VM2+ajXVcL+Eka+B2rrlAYmbDWAf
ArwDddRSTUDVJQDwodej1btHar+jjk/UqKsgSDr76viYNni8rw7bqnscDE/U
4Ui1jtTRkeo21cGAAD7CLrq05VZbDU62HqQhLqok0T8NxXmG4vclSDLKr3zQ
STpNHFXzU8/5oQuvhWOv6PTHdogu8CiuLrXqPJNp86joJ099QPuV0Eyo/8Ri
rYtw0N9Ozb0SEt4l26L9JUhER+16v0aCyZvm/LYyCqdOVoRiK2PKOy3U19oa
nUNL212iiv0j1W6qbySYwCEY9RUEo9bQ5UjItuywMJptKSMdyDzhSAgZHKmu
A6isGqWuFFlSKGa+F0A/E0Oh3EZ5if+H0mZDq0NH2vy0iW1bQ5IYRyMWOC3C
/2GLBMVJh2RLp6NOemp/qHpHatBXfTxpqS5eGOKFoDNQ3ZE6BtqPVbevRgdq
v0WSatChI+sdql5nm7R5rEFjQM0cN4A9xInvq4OeOgA9dNSwqXojNeyrY8jM
E6Yi2KmgDZDWQO331GBfDbtq2FL9boBZRoc8FiJ0SHs/hDjqqsMTdXKsDgfq
qAx2iVa+Qtqcb5Q2+5ukzf63Spv6rxM3RZNIAnOLuCmrisvqOzHt0t3pIgFf
1cTqebC1a5CJxHlP46y8T+/r9S045H2s+n2ibYgRkh448QEpUFD4cZPIYzRQ
wwN+p6n6oKUTIoxOF/QTtFskoAZdYgRo4aNjtT8gOj/cJyLHO83hNvLmfW6D
bf+EBB3m6Q3VQQfyiiUYIAT3NWnpUUcdHBCQBwB1oJotdQAqPSIaBnlDch4d
qhNIwgP6FnA2wcUnajhUYMxBGbaiI9HX9z2iQm6dcQNZ6hjnV+QjKypeijtL
jUB+KEZPrCtmyLIgQfsTxbNMZ9gfy+fOM3kiYb3nm4fjNsyiHvE3pBTEAOEV
YgPmVZsMopMD0ifNIyaBEUkCHG+PbavOUYDTbp2oVotohIYfEl4h/HAaOBlM
ddJe55BFzen95HDFpova61iv6NWE2TbIQdBK51gNAH6HpfM+CcFek8y+0ZEC
9Q87qr1PCOgfEvW38A6GQEr2g35XwV4E3e83ySADLfaOaa/dQ5KhA8jE49L+
LmIdFt0YcbS/bFm0erMNpjZ2ofo3sbftxlSZEMXB/xZryrulaKwp18EuL+E5
32srbZXSFRcNne4gv54W3Uk2QjTsb4fI8ITf+OSEoKI7vSbh5W2fhIGz+Jra
8ybaDFn5zDeeSxEk2dxgodxnaJNBXIEqkLLRAUfUOv5XWTMBWzPqK6wZtbZx
xxTubOwyUPQ/C0tdGCzBmHK7olGd/WGrirtnxVsbOB4mI7kEI0LIIQzKY1Jv
2HuvQ7sYNUm99eASHKruPtmaQ1bnTfyzF8CKhVSG3Y+xEPlkpLL9ChEOfxg4
3C8jwSchE3XyQTuyoLXJPTk4Il8DCIYiPgCmu3Ri8gFapNciHQ1g8bd4OgRF
MxAxRJKoQzp6xKOw10N2beC/QLrtd8kGgDjDGWKtVjma4osG06lvAx4PTkjo
HYAOOmS5w1KApqP4QZciBz2grMMOVpeCBKCwdl8NeqT4hu2g11cH+6o1IEkL
lUfW/REJ2KMD2gF48eDg6+zCzjfahcH2tnHr1lVnq3UFsumcEDnB1BscEmZb
B6Q6DkVFHJKqB2Ecsy8K73G4T+Ydvh20A/iW2DpOEUx3DOQN6JxgCIAfiaeO
4Xb+3dqj8/f74pzemz2U2p14AssTV43NKqZTITY3gHOaS027lRN+GHbz+m3+
tTz+ZTO/D4N7S0Iu2Wdej4NtP3O4Udi3yrG/f7/s/iitg3ObJwTkEfQE1jog
xj8ZUSwE9i1UywnA7pNIhcQENUMOwHGnjRwHwxErmCFJVZB7j3kcgPWb9Bq2
0K/S5/G6unC7opTthipqBzsaQ++I2A2c1T2g/8EjwvpAVadP/xsIyCfksOHv
dln8+KTxfeVSHYupFoUpsFso2KMuo6xDGz4a0Pn1AchIrUWyt1P8FmOkiquO
DSiwSWHhQp11DmmbXZixLfLljrfHOissunITGquey6C5Q9YAY4Mb2hJk2mM/
t3dCiG912fMtc5PFSWHOeekc77qVLwW2SKEqQ9eKIXz6apwZ8FjauNsuru54
vWW2HeJWoChmcEgcBE8T+vTkiKwWyAEKHlSZ5hUH6VzT2SI7N5mXVeTesjTW
U98K4Kaep98W4dncnkon4vxOqB4YPHybuBuyCw8TEO7h4T7FSCBRsSvIPcir
wQjOHTE0yAQPj9kxPG6TiNnvBl0w/YnaZ7++CcHegl1Iuh+ybtQnKToabLaV
u79G0Xf/Jd3ENZZ2k5S/dh0rwLtGgHfXBHjF7IUAJ1urq/oQ1F1yyuHUwPlu
HpAyge0J3wTGJumoHkVgm4ePCPCqpawAb7XJCcAK8IQoC3BIK0CqY/pjDoLB
STp8xAMtM94aUosM8VbxfcDiZwReAo11FEgLxsBxOXj8xFSCvEluggDuohpO
YwiA5+r9LKIW92k0T+709eZQX0vl5lAjCozVmyy06tBKcvHWzfrSA5mN6of1
DTdnaFuGdmSo3GidUsmt/tkFOm19RY+vmnD3Qp5l6oglzHFLTXe4oNTUbuvs
NAfv1i5oyUSl+g9+aK8TTvzLrfCk422l3I/ttCU7bQfOHrhupdjGxr7IzjRN
maYVVC9Y3Dme6NKzJ6o3obYHs2h6w/dUgs/PF6v5mO6ev9i5DmdZtKN/dEPE
RabuQ/171ZjzY/D58+f+bUr3usKF6s2zv/7vLPvy5UuNvriYJHmuRrPVbUrt
oOQh9pbO4kj9Q8hVuObx2zCdJOoyniWTkJ9RV3k8H6VUi5jhuzfJMvq5/jKZ
Rz/jheCaf5idfuXFYESqenP9syb8U4/zaMpXtOlWgnOdUk3T8JrqxaWUhzqY
c9ndmCI3VJ9Md2eozoqTF+9PB+0m/XZp96jV7J6d1PvdjvP129P+6YdnveHp
s1az0eo0O8fP9putVrNJf8GD3z17dzY6H3b3amo0HAzPn30YquEH9Qr+bO/i
EuwpBV0v6RaS6t2kkZTWQ1K3MMPB4XFT5BrG9KHTT0c/bR3RPDjuHrYa7tbu
uWHLUv8SJddfc60mgP8+XiySu1DVGS0X98AXlGHvhn9egVB8yt+zhrh4yKDK
Mn5XbrCxDv1wPnwNPT18c3nar7+DKCfS5O6e/Z/enw8vLhrB/wVtz6nSVJcA
AA==

-->

</rfc>
