<?xml version="1.0" encoding="utf-8"?>
  <?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
  <!-- generated by https://github.com/cabo/kramdown-rfc2629 version 1.5.6 -->

<!DOCTYPE rfc SYSTEM "rfc2629.dtd" [
<!ENTITY RFC2119 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.2119.xml">
<!ENTITY RFC5116 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.5116.xml">
<!ENTITY RFC5280 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.5280.xml">
<!ENTITY RFC5869 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.5869.xml">
<!ENTITY RFC6090 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.6090.xml">
<!ENTITY RFC6979 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.6979.xml">
<!ENTITY RFC7252 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7252.xml">
<!ENTITY RFC7624 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7624.xml">
<!ENTITY RFC7748 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7748.xml">
<!ENTITY RFC7959 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7959.xml">
<!ENTITY RFC8174 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8174.xml">
<!ENTITY RFC8376 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8376.xml">
<!ENTITY RFC8392 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8392.xml">
<!ENTITY RFC8610 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8610.xml">
<!ENTITY RFC8613 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8613.xml">
<!ENTITY RFC8724 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8724.xml">
<!ENTITY RFC8742 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8742.xml">
<!ENTITY RFC8747 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8747.xml">
<!ENTITY RFC8949 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8949.xml">
<!ENTITY RFC9175 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.9175.xml">
<!ENTITY I-D.ietf-cose-rfc8152bis-struct SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-cose-rfc8152bis-struct.xml">
<!ENTITY I-D.ietf-cose-rfc8152bis-algs SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-cose-rfc8152bis-algs.xml">
<!ENTITY I-D.ietf-cose-x509 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-cose-x509.xml">
<!ENTITY RFC7228 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7228.xml">
<!ENTITY RFC7258 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7258.xml">
<!ENTITY RFC7296 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.7296.xml">
<!ENTITY RFC8446 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8446.xml">
<!ENTITY RFC8937 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml/reference.RFC.8937.xml">
<!ENTITY I-D.ietf-core-resource-directory SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-core-resource-directory.xml">
<!ENTITY I-D.ietf-core-oscore-edhoc SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-core-oscore-edhoc.xml">
<!ENTITY I-D.ietf-cose-cbor-encoded-cert SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-cose-cbor-encoded-cert.xml">
<!ENTITY I-D.ietf-lake-reqs SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-lake-reqs.xml">
<!ENTITY I-D.ietf-lwig-security-protocol-comparison SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-lwig-security-protocol-comparison.xml">
<!ENTITY I-D.ietf-tls-dtls13 SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.ietf-tls-dtls13.xml">
<!ENTITY I-D.mattsson-cfrg-det-sigs-with-noise SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.mattsson-cfrg-det-sigs-with-noise.xml">
<!ENTITY I-D.selander-ace-ake-authz SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.selander-ace-ake-authz.xml">
<!ENTITY I-D.selander-lake-traces SYSTEM "https://xml2rfc.tools.ietf.org/public/rfc/bibxml3/reference.I-D.selander-lake-traces.xml">
]>

<?rfc toc="yes"?>
<?rfc sortrefs="yes"?>
<?rfc symrefs="yes"?>
<?rfc tocdepth="2"?>

<rfc ipr="trust200902" docName="draft-ietf-lake-edhoc-13" category="std">

  <front>
    <title abbrev="EDHOC">Ephemeral Diffie-Hellman Over COSE (EDHOC)</title>

    <author initials="G." surname="Selander" fullname="Göran Selander">
      <organization abbrev="Ericsson">Ericsson AB</organization>
      <address>
        <postal>
          <street>SE-164 80 Stockholm</street>
          <country>Sweden</country>
        </postal>
        <email>goran.selander@ericsson.com</email>
      </address>
    </author>
    <author initials="J" surname="Preuß Mattsson" fullname="John Preuß Mattsson">
      <organization abbrev="Ericsson">Ericsson AB</organization>
      <address>
        <postal>
          <street>SE-164 80 Stockholm</street>
          <country>Sweden</country>
        </postal>
        <email>john.mattsson@ericsson.com</email>
      </address>
    </author>
    <author initials="F." surname="Palombini" fullname="Francesca Palombini">
      <organization abbrev="Ericsson">Ericsson AB</organization>
      <address>
        <postal>
          <street>SE-164 80 Stockholm</street>
          <country>Sweden</country>
        </postal>
        <email>francesca.palombini@ericsson.com</email>
      </address>
    </author>

    <date year="2022" month="April" day="18"/>

    
    
    

    <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 OSCORE security context. By reusing COSE for cryptography, CBOR for encoding, and CoAP for transport, the additional code size can be kept very low.</t>



    </abstract>


  </front>

  <middle>


<section anchor="introduction" title="Introduction">

<section anchor="motivation" title="Motivation">

<t>Many Internet of Things (IoT) deployments require technologies which are highly performant in constrained environments <xref target="RFC7228"/>. IoT devices may be constrained in various ways, including memory, storage, processing capacity, and power. The connectivity for these settings may also exhibit constraints such as unreliable and lossy channels, highly restricted bandwidth, and dynamic topology. The IETF has acknowledged this problem by standardizing a range of lightweight protocols and enablers designed for the IoT, including the Constrained Application Protocol (CoAP, <xref target="RFC7252"/>), Concise Binary Object Representation (CBOR, <xref target="RFC8949"/>), and Static Context Header Compression (SCHC, <xref target="RFC8724"/>).</t>

<t>The need for special protocols targeting constrained IoT deployments extends also to the security domain <xref target="I-D.ietf-lake-reqs"/>. Important characteristics in constrained environments are the number of round trips and protocol message sizes, which if kept low can contribute to good performance by enabling transport over a small number of radio frames, reducing latency due to fragmentation or duty cycles, etc. Another important criteria is code size, which may be prohibitive for certain deployments due to device capabilities or network load during firmware update. Some IoT deployments also need to support a variety of underlying transport technologies, potentially even with a single connection.</t>

<t>Some security solutions for such settings exist already. CBOR Object Signing and Encryption (COSE, <xref target="I-D.ietf-cose-rfc8152bis-struct"/>) specifies basic application-layer security services efficiently encoded in CBOR. Another example is Object Security for Constrained RESTful Environments (OSCORE, <xref target="RFC8613"/>) which is a lightweight communication security extension to CoAP using CBOR and COSE. In order to establish good quality cryptographic keys for security protocols such as COSE and OSCORE, the two endpoints may run an authenticated Diffie-Hellman key exchange protocol, from which shared secret key material can be derived. Such a key exchange protocol should also be lightweight; to prevent bad performance in case of repeated use, e.g., due to device rebooting or frequent rekeying for security reasons; or to avoid latencies in a network formation setting with many devices authenticating at the same time.</t>

<t>This document specifies Ephemeral Diffie-Hellman Over COSE (EDHOC), a lightweight authenticated key exchange protocol providing good security properties including forward secrecy, identity protection, and cipher suite negotiation. Authentication can be based on raw public keys (RPK) or public key certificates and requires the application to provide input on how to verify that endpoints are trusted. This specification focuses on referencing instead of transporting credentials to reduce message overhead. EDHOC does currently not support pre-shared key (PSK) authentication as authentication with static Diffie-Hellman public keys by reference produces equally small message sizes but with much simpler key distribution and identity protection.</t>

<t>EDHOC makes use of known protocol constructions, such as SIGMA <xref target="SIGMA"/> and Extract-and-Expand <xref target="RFC5869"/>. EDHOC uses COSE for cryptography and identification of credentials (including COSE_Key, CWT, CCS, X.509, C509, see <xref target="auth-cred"/>). COSE provides crypto agility and enables the use of future algorithms and credentials targeting IoT.</t>

</section>
<section anchor="use-of-edhoc" title="Use of EDHOC">

<t>EDHOC is designed for highly constrained settings making it especially suitable for low-power wide area networks <xref target="RFC8376"/> such as Cellular IoT, 6TiSCH, and LoRaWAN. A main objective for EDHOC is to be a lightweight authenticated key exchange for OSCORE, i.e., to provide authentication and session key establishment for IoT use cases such as those built on CoAP <xref target="RFC7252"/>. CoAP is a specialized web transfer protocol for use with constrained nodes and networks, providing a request/response interaction model between application endpoints. As such, EDHOC is targeting a large variety of use cases involving ‘things’ with embedded microcontrollers, sensors, and actuators.</t>

<t>A typical setting is when one of the endpoints is constrained or in a constrained network, and the other endpoint is a node on the Internet (such as a mobile phone) or at the edge of the constrained network (such as a gateway). Thing-to-thing interactions over constrained networks are also relevant since both endpoints would then benefit from the lightweight properties of the protocol. EDHOC could e.g., be run when a device connects for the first time, or to establish fresh keys which are not revealed by a later compromise of the long-term keys. Further security properties are described in <xref target="sec-prop"/>.</t>

<t>EDHOC enables the reuse of the same lightweight primitives as OSCORE: CBOR for encoding, COSE for cryptography, and CoAP for transport. By reusing existing libraries, the additional code size can be kept very low. Note that, while CBOR and COSE primitives are built into the protocol messages, EDHOC is not bound to a particular transport. Transfer of EDHOC messages in CoAP payloads is detailed in <xref target="coap"/>.</t>

</section>
<section anchor="message-size-examples" title="Message Size Examples">

<t>Compared to the DTLS 1.3 handshake <xref target="I-D.ietf-tls-dtls13"/> with ECDHE and connection ID, the number of bytes in EDHOC + CoAP can be less than 1/6 when RPK authentication is used, see <xref target="I-D.ietf-lwig-security-protocol-comparison"/>. <xref target="fig-sizes"/> shows examples of message sizes for EDHOC with different kinds of authentication keys and different COSE header parameters for identification: static Diffie-Hellman keys or signature keys, either in CBOR Web Token (CWT) / CWT Claims Set (CCS) <xref target="RFC8392"/> identified by a key identifier using ‘kid’ <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, or in X.509 certificates identified by a hash value using ‘x5t’ <xref target="I-D.ietf-cose-x509"/>.</t>

<figure title="Example of message sizes in bytes." anchor="fig-sizes"><artwork align="center"><![CDATA[
========================================================
                    Static DH Keys        Signature Keys
                    --------------        --------------
                    kid        x5t        kid        x5t
--------------------------------------------------------
message_1            37         37         37         37
message_2            45         58        102        115
message_3            19         33         77         90
--------------------------------------------------------
Total               101        128        216        242
========================================================
]]></artwork></figure>

</section>
<section anchor="document-structure" title="Document Structure">

<t>The remainder of the document is organized as follows: <xref target="background"/> outlines EDHOC authenticated with digital signatures, <xref target="overview"/> describes the protocol elements of EDHOC, including formatting of the ephemeral public keys, <xref target="key-der"/> specifies the key derivation, <xref target="asym"/> specifies message processing for EDHOC authenticated with signature keys or static Diffie-Hellman keys, <xref target="error"/> describes the error messages, and <xref target="transfer"/> shows how to transfer EDHOC with CoAP and establish an OSCORE security context.</t>

</section>
<section anchor="term" title="Terminology and Requirements Language">

<t>The key words “MUST”, “MUST NOT”, “REQUIRED”, “SHALL”, “SHALL NOT”, “SHOULD”, “SHOULD NOT”, “RECOMMENDED”, “NOT RECOMMENDED”, “MAY”, and “OPTIONAL” in this document are to be interpreted as described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they appear in all capitals, as shown here.</t>

<t>Readers are expected to be familiar with the terms and concepts described in CBOR <xref target="RFC8949"/>, CBOR Sequences <xref target="RFC8742"/>, COSE structures and processing <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, COSE algorithms <xref target="I-D.ietf-cose-rfc8152bis-algs"/>, CWT and CWT Claims Set <xref target="RFC8392"/>, and CDDL <xref target="RFC8610"/>. The Concise Data Definition Language (CDDL) is used to express CBOR data structures <xref target="RFC8949"/>. Examples of CBOR and CDDL are provided in <xref target="CBOR"/>. When referring to CBOR, this specification always refers to Deterministically Encoded CBOR as specified in Sections 4.2.1 and 4.2.2 of <xref target="RFC8949"/>. The single output from authenticated encryption (including the authentication tag) is called “ciphertext”, following <xref target="RFC5116"/>.</t>

</section>
</section>
<section anchor="background" title="EDHOC Outline">

<t>EDHOC specifies different authentication methods of the Diffie-Hellman key exchange: digital signatures and static Diffie-Hellman keys. This section outlines the digital signature-based method. Further details of protocol elements and other authentication methods are provided in the remainder of this document.</t>

<t>SIGMA (SIGn-and-MAc) is a family of theoretical protocols with a large number of variants <xref target="SIGMA"/>. Like IKEv2 <xref target="RFC7296"/> and (D)TLS 1.3 <xref target="RFC8446"/>, EDHOC authenticated with digital signatures is built on a variant of the SIGMA protocol which provides identity protection of the initiator (SIGMA-I) against active attackers, and like IKEv2 <xref target="RFC7296"/>, EDHOC implements the MAC-then-Sign variant of the SIGMA-I protocol shown in <xref target="fig-sigma"/>.</t>

<figure title="MAC-then-Sign variant of the SIGMA-I protocol." anchor="fig-sigma"><artwork align="center"><![CDATA[
Initiator                                                   Responder
|                                G_X                                |
+------------------------------------------------------------------>|
|                                                                   |
|      G_Y, Enc( ID_CRED_R, Sig( R; MAC( CRED_R, G_X, G_Y ) ) )     |
|<------------------------------------------------------------------+
|                                                                   |
|        AEAD( ID_CRED_I, Sig( I; MAC( CRED_I, G_Y, G_X ) ) )       |
+------------------------------------------------------------------>|
|                                                                   |
]]></artwork></figure>

<t>The parties exchanging messages are called Initiator (I) and Responder (R). They exchange ephemeral public keys, compute a shared secret, and derive symmetric application keys used to protect application data.</t>

<t><list style="symbols">
  <t>G_X and G_Y are the ECDH ephemeral public keys of I and R, respectively.</t>
  <t>CRED_I and CRED_R are the credentials containing the public authentication keys of I and R, respectively.</t>
  <t>ID_CRED_I and ID_CRED_R are credential identifiers enabling the recipient party to retrieve the credential of I and R, respectively.</t>
  <t>Sig(I; . ) and Sig(R; . ) denote signatures made with the private authentication key of I and R, respectively.</t>
  <t>Enc(), AEAD(), and MAC() denotes encryption, authenticated encryption with additional data, and message authentication code using keys derived from the shared secret.</t>
</list></t>

<t>In order to create a “full-fledged” protocol some additional protocol elements are needed. EDHOC adds:</t>

<t><list style="symbols">
  <t>Transcript hashes (hashes of message data) TH_2, TH_3, TH_4 used for key derivation and as additional authenticated data.</t>
  <t>Computationally independent keys derived from the ECDH shared secret and used for authenticated encryption of different messages.</t>
  <t>An optional fourth message giving explicit key confirmation to I in deployments where no protected application data is sent from R to I.</t>
  <t>A key material exporter and a key update function with forward secrecy.</t>
  <t>Verification of a common preferred cipher suite.</t>
  <t>Method types and error handling.</t>
  <t>Selection of connection identifiers C_I and C_R which may be used to identify established keys or protocol state.</t>
  <t>Transport of external authorization data.</t>
</list></t>

<t>EDHOC is designed to encrypt and integrity protect as much information as possible, and all symmetric keys are derived using as much previous information as possible. EDHOC is furthermore designed to be as compact and lightweight as possible, in terms of message sizes, processing, and the ability to reuse already existing CBOR, COSE, and CoAP libraries.</t>

<t>To simplify for implementors, the use of CBOR and COSE in EDHOC is summarized in <xref target="CBORandCOSE"/>. Test vectors including CBOR diagnostic notation are provided in <xref target="I-D.selander-lake-traces"/>.</t>

</section>
<section anchor="overview" title="Protocol Elements">

<section anchor="general" title="General">

<t>The EDHOC protocol consists of three mandatory messages (message_1, message_2, message_3) between Initiator and Responder, an optional fourth message (message_4), and an error message. All EDHOC messages are CBOR Sequences <xref target="RFC8742"/>. <xref target="fig-flow"/> illustrates an EDHOC message flow with the optional fourth message as well as the content of each message. The protocol elements in the figure are introduced in <xref target="overview"/> and <xref target="asym"/>. Message formatting and processing is specified in <xref target="asym"/> and <xref target="error"/>.</t>

<t>Application data may be protected using the agreed application algorithms (AEAD, hash) in the selected cipher suite (see <xref target="cs"/>) and the application can make use of the established connection identifiers C_I and C_R (see <xref target="ci"/>). EDHOC may be used with the media type application/edhoc defined in <xref target="iana"/>.</t>

<t>The Initiator can derive symmetric application keys after creating EDHOC message_3, see <xref target="exporter"/>. Protected application data can therefore be sent in parallel or together with EDHOC message_3. EDHOC message_4 is typically not sent.</t>

<figure title="EDHOC Message Flow with the Optional Fourth Message" anchor="fig-flow"><artwork align="center"><![CDATA[
Initiator                                                   Responder
|                 METHOD, SUITES_I, G_X, C_I, EAD_1                 |
+------------------------------------------------------------------>|
|                             message_1                             |
|                                                                   |
|       G_Y, Enc( ID_CRED_R, Signature_or_MAC_2, EAD_2 ), C_R       |
|<------------------------------------------------------------------+
|                             message_2                             |
|                                                                   |
|            AEAD( ID_CRED_I, Signature_or_MAC_3, EAD_3 )           |
+------------------------------------------------------------------>|
|                             message_3                             |
|                                                                   |
|                           AEAD( EAD_4 )                           |
|<- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - +
|                             message_4                             |
]]></artwork></figure>

</section>
<section anchor="method" title="Method">

<t>The data item METHOD in message_1 (see <xref target="asym-msg1-form"/>), is an integer specifying the authentication method. EDHOC supports authentication with signature or static Diffie-Hellman keys, as defined in the four authentication methods: 0, 1, 2, and 3, see <xref target="fig-method-types"/>. When using a static Diffie-Hellman key the authentication is provided by a Message Authentication Code (MAC) computed from an ephemeral-static ECDH shared secret which enables significant reductions in message sizes.</t>

<t>The Initiator and the Responder need to have agreed on a single method to be used for EDHOC, see <xref target="applicability"/>.</t>

<figure title="Method Types" anchor="fig-method-types"><artwork align="center"><![CDATA[
+-------+-------------------+-------------------+-------------------+
| Value | Initiator         | Responder         | Reference         |
+-------+-------------------+-------------------+-------------------+
|     0 | Signature Key     | Signature Key     | [[this document]] |
|     1 | Signature Key     | Static DH Key     | [[this document]] |
|     2 | Static DH Key     | Signature Key     | [[this document]] |
|     3 | Static DH Key     | Static DH Key     | [[this document]] |
+-------+-------------------+-------------------+-------------------+
]]></artwork></figure>

</section>
<section anchor="ci" title="Connection Identifiers">

<t>EDHOC includes the selection of connection identifiers (C_I, C_R) identifying a connection for which keys are agreed.</t>

<t>Connection identifiers may be used to correlate EDHOC messages and facilitate the retrieval of protocol state during EDHOC protocol execution (see <xref target="transport"/>) or in a subsequent application protocol, e.g., OSCORE (see <xref target="ci-oscore"/>). The connection identifiers do not have any cryptographic purpose in EDHOC.</t>

<t>Connection identifiers in EDHOC are byte strings or integers, encoded in CBOR. One byte connection identifiers (the integers -24 to 23 and the empty CBOR byte string h’’) are realistic in many scenarios as most constrained devices only have a few connections.</t>

<section anchor="selection-of-connection-identifiers" title="Selection of Connection Identifiers">

<t>C_I and C_R are chosen by I and R, respectively. The Initiator selects C_I and sends it in message_1 for the Responder to use as a reference to the connection in communications with the Initiator. The Responder selects C_R and sends in message_2 for the Initiator to use as a reference to the connection in communications with the Responder.</t>

<t>If connection identifiers are used by an application protocol for which EDHOC establishes keys then the selected connection identifiers SHALL adhere to the requirements for that protocol, see <xref target="ci-oscore"/> for an example.</t>

</section>
<section anchor="ci-oscore" title="Use of Connection Identifiers with OSCORE">

<t>For OSCORE, the choice of a connection identifier results in the endpoint selecting its Recipient ID, see Section 3.1 of <xref target="RFC8613"/>, for which certain uniqueness requirements apply, see Section 3.3 of <xref target="RFC8613"/>. Therefore, the Initiator and the Responder MUST NOT select connection identifiers such that it results in same OSCORE Recipient ID. Since the Recipient ID is a byte string and a EDHOC connection identifier is either a CBOR byte string or a CBOR integer, care must be taken when selecting the connection identifiers and converting them to Recipient IDs. A mapping from EDHOC connection identifier to OSCORE Recipient ID is specified in <xref target="edhoc-to-oscore"/>.</t>

</section>
</section>
<section anchor="transport" title="Transport">

<t>Cryptographically, EDHOC does not put requirements on the lower layers. EDHOC is not bound to a particular transport layer and can even be used in environments without IP. The transport is responsible, where necessary, to handle:</t>

<t><list style="symbols">
  <t>message loss,</t>
  <t>message reordering,</t>
  <t>message duplication,</t>
  <t>fragmentation,</t>
  <t>demultiplex EDHOC messages from other types of messages,</t>
  <t>denial-of-service protection,</t>
  <t>message correlation.</t>
</list></t>

<t>The Initiator and the Responder need to have agreed on a transport to be used for EDHOC, see <xref target="applicability"/>.</t>

<section anchor="ci-edhoc" title="Use of Connection Identifiers for EDHOC Message Correlation">

<t>The transport needs to support the correlation between EDHOC messages and facilitate the retrieval of protocol state during EDHOC protocol execution, including an indication of a message being message_1. The correlation may reuse existing mechanisms in the transport protocol. For example, the CoAP Token may be used to correlate EDHOC messages in a CoAP response and an associated CoAP request.</t>

<t>Connection identifiers may be used to correlate EDHOC messages and facilitate the retrieval of protocol state during EDHOC protocol execution.  EDHOC transports that do not inherently provide correlation across all messages of an exchange can send connection identifiers along with EDHOC messages to gain that required capability, e.g., by prepending the appropriate connection identifier (when available from the EDHOC protocol) to the EDHOC message. Transport of EDHOC in CoAP payloads is described in <xref target="coap"/>, which also shows how to use connection identifiers and message_1 indication with CoAP.</t>

</section>
</section>
<section anchor="auth-key-id" title="Authentication Parameters">

<t>EDHOC supports various settings for how the other endpoint’s authentication (public) key is transported, identified, and trusted as described in this section.</t>

<t>The authentication key (see <xref target="auth-keys"/>) is used in several parts of EDHOC:</t>

<t><list style="numbers">
  <t>as part of the authentication credential included in the integrity calculation</t>
  <t>for verification of the Signature_or_MAC field in message_2 and message_3 (see <xref target="asym-msg2-proc"/> and <xref target="asym-msg3-proc"/>)</t>
  <t>in the key derivation (in case of a static Diffie-Hellman key, see <xref target="key-der"/>).</t>
</list></t>

<t>The authentication credential (CRED_x) contains, in addition to the authentication key, also the authentication key algorithm and optionally other parameters such as identity, key usage, expiry, issuer, etc. (see <xref target="auth-cred"/>). Identical authentication credentials need to be established in both endpoints to be able to verify integrity. For many settings it is not necessary to transport the authentication credential within EDHOC over constrained links, for example, it may be pre-provisioned or acquired out-of-band over less constrained links.</t>

<t>EDHOC relies on COSE for identification of authentication credentials (using ID_CRED_x, see <xref target="id_cred"/>) and supports all credential types for which COSE header parameters are defined (see <xref target="auth-cred"/>).</t>

<t>The choice of authentication credential depends also on the trust model (see <xref target="identities"/>). For example, a certificate or CWT may rely on a trusted third party, whereas a CCS or a self-signed certificate/CWT may be used when trust in the public key can be achieved by other means, or in the case of trust-on-first-use.</t>

<t>The type of authentication key, authentication credential, and the way to identify the credential have a large impact on the message size. For example, the signature_or_MAC field is much smaller with a static DH key than with a signature key. A CCS is much smaller than a self-signed certificate/CWT, but if it is possible to reference the credential with a COSE header like ‘kid’, then that is typically much smaller than to transport a CCS.</t>

<section anchor="identities" title="Identities and trust anchors">

<t>Policies for what connections to allow are typically set based on the identity of the other party, and parties typically only allow connections from a specific identity or a small restricted set of identities. For example, in the case of a device connecting to a network, the network may only allow connections from devices which authenticate with certificates having a particular range of serial numbers and signed by a particular CA. On the other hand, the device may only be allowed to connect to a network which authenticates with a particular public key (information of which may be provisioned, e.g., out of band or in the external authorization data, see <xref target="AD"/>). The EDHOC implementation or the application must enforce information about the intended endpoint, and in particular whether it is a specific identity or a set of identities. Either EDHOC passes information about identity to the application for a decision, or EDHOC needs to have access to relevant information and makes the decision on its own.</t>

<t>EDHOC assumes the existence of mechanisms (certification authority, trusted third party, pre-provisioning, etc.) for specifying and distributing authentication credentials.</t>

<t><list style="symbols">
  <t>When a Public Key Infrastructure (PKI) is used with certificates, the trust anchor is a Certification Authority (CA) certificate, and the identity is the subject whose unique name (e.g., a domain name, NAI, or EUI) is included in the endpoint’s certificate. In order to run EDHOC each party needs at least one CA public key certificate, or just the public key, and a specific identity or set of identities it is allowed to communicate with. Only validated public-key certificates with an allowed subject name, as specified by the application, are to be accepted. EDHOC provides proof that the other party possesses the private authentication key corresponding to the public authentication key in its certificate. The certification path provides proof that the subject of the certificate owns the public key in the certificate.</t>
  <t>Similarly, when a PKI is used with CWTs, each party needs to have a trusted third party public key as trust anchor to verify the end-entity CWTs, and a specific identity or set of identities in the ‘sub’ (subject) claim of the CWT to determine if it is allowed to communicate with. The trusted third party public key can, e.g., be stored in a self-signed CWT or in a CCS.</t>
  <t>When PKI is not used (CCS, self-signed certificate/CWT), the trust anchor is the authentication key of the other party. In this case, the identity is typically directly associated to the authentication key of the other party. For example, the name of the subject may be a canonical representation of the public key. Alternatively, if identities can be expressed in the form of unique subject names assigned to public keys, then a binding to identity can be achieved by including both public key and associated subject name in the protocol message computation: CRED_I or CRED_R may be a self-signed certificate/CWT or CCS containing the authentication key and the subject name, see <xref target="auth-cred"/>. In order to run EDHOC, each endpoint needs a specific authentication key/unique associated subject name, or a set of public authentication keys/unique associated subject names, which it is allowed to communicate with. EDHOC provides the proof that the other party possesses the private authentication key corresponding to the public authentication key.</t>
</list></t>

<t>To prevent misbinding attacks in systems where an attacker can register public keys without proving knowledge of the private key, SIGMA <xref target="SIGMA"/> enforces a MAC to be calculated over the “identity”. EDHOC follows SIGMA by calculating a MAC over the whole credential, which in case of an X.509 or C509 certificate includes the “subject” and “subjectAltName” fields, and in the case of CWT or CCS includes the “sub” claim. While the SIGMA paper only focuses on the identity, the same principle is true for other information such as policies associated to the public key.</t>

</section>
<section anchor="auth-keys" title="Authentication Keys">

<t>The authentication key (i.e. the public key used for authentication) MUST be a signature key or static Diffie-Hellman key. The Initiator and the Responder MAY use different types of authentication keys, e.g., one uses a signature key and the other uses a static Diffie-Hellman key. The authentication key algorithm needs to be compatible with the method and the cipher suite. The authentication key algorithm needs to be compatible with the EDHOC key exchange algorithm when static Diffie-Hellman authentication is used, and compatible with the EDHOC signature algorithm when signature authentication is used.</t>

<t>Note that for most signature algorithms, the signature is determined by the signature algorithm and the authentication key algorithm together. When using static Diffie-Hellman keys the Initiator’s and Responder’s private authentication keys are called I and R, respectively, and the public authentication keys are called G_I and G_R, respectively.</t>

<t>For X.509 the authentication key is represented with a SubjectPublicKeyInfo field. For CWT and CCS, the authentication key is represented with a ‘cnf’ claim <xref target="RFC8747"/> containing a COSE_Key <xref target="I-D.ietf-cose-rfc8152bis-struct"/>.</t>

</section>
<section anchor="auth-cred" title="Authentication Credentials">

<t>The authentication credentials, CRED_I and CRED_R, contain the public authentication key of the Initiator and the Responder, respectively.</t>

<t>EDHOC relies on COSE for identification of authentication credentials (see <xref target="id_cred"/>) and supports all credential types for which COSE header parameters are defined including X.509 <xref target="RFC5280"/>, C509 <xref target="I-D.ietf-cose-cbor-encoded-cert"/>, CWT <xref target="RFC8392"/> and CWT Claims Set (CCS) <xref target="RFC8392"/>. When the identified credential is a chain or bag, CRED_x is just the end-entity X.509 or C509 certificate / CWT. In X.509 and C509 certificates, signature keys typically have key usage “digitalSignature” and Diffie-Hellman public keys typically have key usage “keyAgreement”.</t>

<t>CRED_x needs to be defined such that it is identical when used by Initiator or Responder. The Initiator and Responder are expected to agree on a specific encoding of the credential, see <xref target="applicability"/>. It is RECOMMENDED that the COSE ‘kid’ parameter, when used, refers to a specific encoding. The Initiator and Responder SHOULD use an available authentication credential (transported in EDHOC or otherwise provisioned) without re-encoding. If for some reason re-encoding of the authentication credential may occur, then a potential common encoding for CBOR based credentials is bytewise lexicographic order of their deterministic encodings as specified in Section 4.2.1 of <xref target="RFC8949"/>.</t>

<t><list style="symbols">
  <t>When the authentication credential is an X.509 certificate, CRED_x SHALL be the end-entity DER encoded certificate, encoded as a bstr <xref target="I-D.ietf-cose-x509"/>.</t>
  <t>When the authentication credential is a C509 certificate, CRED_x SHALL be the end-entity C509Certificate <xref target="I-D.ietf-cose-cbor-encoded-cert"/></t>
  <t>When the authentication credential is a COSE_Key in a CWT, CRED_x SHALL be the untagged CWT.</t>
  <t>When the authentication credential is a COSE_Key but not in a CWT, CRED_x SHALL be an untagged CCS.
  <list style="symbols">
      <t>Naked COSE_Keys are thus dressed as CCS when used in EDHOC, which is done by prefixing the COSE_Key with 0xA108A101.</t>
    </list></t>
</list></t>

<t>An example of a CRED_x is shown below:</t>

<figure title="A CCS Containing an X25519 Static Diffie-Hellman Key and an EUI-64 Identity."><artwork><![CDATA[
{                                              /CCS/
  2 : "42-50-31-FF-EF-37-32-39",               /sub/
  8 : {                                        /cnf/
    1 : {                                      /COSE_Key/
      1 : 1,                                   /kty/
      2 : 0,                                   /kid/
     -1 : 4,                                   /crv/
     -2 : h'b1a3e89460e88d3a8d54211dc95f0b90   /x/
            3ff205eb71912d6db8f4af980d2db83a'
    }
  }
}
]]></artwork></figure>

</section>
<section anchor="id_cred" title="Identification of Credentials">

<t>ID_CRED_R and ID_CRED_I are transported in message_2 and message_3, respectively (see <xref target="asym-msg2-proc"/> and <xref target="asym-msg3-proc"/>). They are used to identify and optionally transport the authentication keys of the Initiator and the Responder, respectively. ID_CRED_I and ID_CRED_R do not have any cryptographic purpose in EDHOC since EDHOC integrity protects the authentication credential. EDHOC relies on COSE for identification of authentication credentials and supports all types of COSE header parameters used to identify authentication credentials including X.509, C509, CWT and CCS.</t>

<t><list style="symbols">
  <t>ID_CRED_R is intended to facilitate for the Initiator to retrieve the Responder’s authentication key.</t>
  <t>ID_CRED_I is intended to facilitate for the Responder to retrieve the Initiator’s authentication key.</t>
</list></t>

<t>ID_CRED_I and ID_CRED_R are COSE header maps and contains one or more COSE header parameter. ID_CRED_I and ID_CRED_R MAY contain different header parameters. The header parameters typically provide some information about the format of authentication credential.</t>

<t>Note that COSE header parameters in ID_CRED_x are used to identify the sender’s authentication credential. There is therefore no reason to use the “-sender” header parameters, such as x5t-sender, defined in Section 3 of <xref target="I-D.ietf-cose-x509"/>. Instead, the corresponding parameter without “-sender”, such as x5t, SHOULD be used.</t>

<t>Example: X.509 certificates can be identified by a hash value using the ‘x5t’ parameter:</t>

<t><list style="symbols">
  <t>ID_CRED_x = { 34 : COSE_CertHash }, for x = I or R,</t>
</list></t>

<t>Example: CWT or CCS can be identified by a key identifier using the ‘kid’ parameter:</t>

<t><list style="symbols">
  <t>ID_CRED_x = { 4 : key_id_x }, where key_id_x : kid, for x = I or R.</t>
</list></t>

<t>Note that ‘kid’ is extended to support int values to allow more one-byte identifiers (see <xref target="kid-header-param"/> and <xref target="kid-key-common-param"/>) which may be useful in many scenarios since constrained devices only have a few keys. As stated in Section 3.1 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, applications MUST NOT assume that ‘kid’ values are unique and several keys associated with a ‘kid’ may need to be checked before the correct one is found. Applications might use additional information such as ‘kid context’ or lower layers to determine which key to try first. Applications should strive to make ID_CRED_x as unique as possible, since the recipient may otherwise have to try several keys.</t>

<t>See <xref target="COSE"/> for more examples.</t>

</section>
</section>
<section anchor="cs" title="Cipher Suites">

<t>An EDHOC cipher suite consists of an ordered set of algorithms from the “COSE Algorithms” and “COSE Elliptic Curves” registries as well as the EDHOC MAC length. Algorithms need to be specified with enough parameters to make them completely determined. EDHOC is currently only specified for use with key exchange algorithms of type ECDH curves, but any Key Encapsulation Method (KEM), including Post-Quantum Cryptography (PQC) KEMs, can be used in method 0, see <xref target="pqc"/>. Use of other types of key exchange algorithms to replace static DH authentication (method 1,2,3) would likely require a specification updating EDHOC with new methods.</t>

<t>EDHOC supports all signature algorithms defined by COSE, including PQC signature algorithms such as HSS-LMS. Just like in TLS 1.3 <xref target="RFC8446"/> and IKEv2 <xref target="RFC7296"/>, a signature in COSE is determined by the signature algorithm and the authentication key algorithm together, see <xref target="auth-keys"/>. The exact details of the authentication key algorithm depend on the type of authentication credential. COSE supports different formats for storing the public authentication keys including COSE_Key and X.509, which have different names and ways to represent the authentication key and the authentication key algorithm.</t>

<t>An EDHOC cipher suite consists of the following parameters:</t>

<t><list style="symbols">
  <t>EDHOC AEAD algorithm</t>
  <t>EDHOC hash algorithm</t>
  <t>EDHOC MAC length in bytes (Static DH)</t>
  <t>EDHOC key exchange algorithm (ECDH curve)</t>
  <t>EDHOC signature algorithm</t>
  <t>Application AEAD algorithm</t>
  <t>Application hash algorithm</t>
</list></t>

<t>Each cipher suite is identified with a pre-defined int label.</t>

<t>EDHOC can be used with all algorithms and curves defined for COSE. Implementation can either use any combination of COSE algorithms and parameters to define their own private cipher suite, or use one of the pre-defined cipher suites. Private cipher suites can be identified with any of the four values -24, -23, -22, -21. The pre-defined cipher suites are listed in the IANA registry (<xref target="suites-registry"/>) with initial content outlined here:</t>

<t><list style="symbols">
  <t>Cipher suites 0-3, based on AES-CCM, are intended for constrained IoT where message overhead is a very important factor. Note that AES-CCM-16-64-128 and AES-CCM-16-64-128 are compatible with the IEEE CCM* mode.
  <list style="symbols">
      <t>Cipher suites 1 and 3 use a larger tag length (128-bit) in EDHOC than in the Application AEAD algorithm (64-bit).</t>
    </list></t>
  <t>Cipher suites 4 and 5, based on ChaCha20, are intended for less constrained applications and only use 128-bit tag lengths.</t>
  <t>Cipher suite 6, based on AES-GCM, is for general non-constrained applications. It uses high performance algorithms that are widely supported.</t>
  <t>Cipher suites 24 and 25 are intended for high security applications such as government use and financial applications. These cipher suites do not share any algorithms. Cipher suite 24 is compatible with the CNSA suite <xref target="CNSA"/>.</t>
</list></t>

<t>The different methods (<xref target="method"/>) use the same cipher suites, but some algorithms are not used in some methods. The EDHOC signature algorithm is not used in methods without signature authentication.</t>

<t>The Initiator needs to have a list of cipher suites it supports in order of preference. The Responder needs to have a list of cipher suites it supports. SUITES_I contains cipher suites supported by the Initiator, formatted and processed as detailed in <xref target="asym-msg1-form"/> to secure the cipher suite negotiation. Examples of cipher suite negotiation are given in <xref target="ex-neg"/>.</t>

</section>
<section anchor="cose_key" title="Ephemeral Public Keys">

<t>EDHOC always uses compact representation of elliptic curve points, see <xref target="comrep"/>. In COSE compact representation is achieved by formatting the ECDH ephemeral public keys as COSE_Keys of type EC2 or OKP according to Sections 7.1 and 7.2 of <xref target="I-D.ietf-cose-rfc8152bis-algs"></xref>, but only including the ‘x’ parameter in G_X and G_Y. For Elliptic Curve Keys of type EC2, compact representation MAY be used also in the COSE_Key.  If the COSE implementation requires an ‘y’ parameter, the value y = false SHALL be used. COSE always use compact output for Elliptic Curve Keys of type EC2.</t>

</section>
<section anchor="AD" title="External Authorization Data (EAD)">

<t>In order to reduce round trips and number of messages or to simplify processing, external security applications may be integrated into EDHOC by transporting authorization related data in the messages. One example is third-party identity and authorization information protected out of scope of EDHOC <xref target="I-D.selander-ace-ake-authz"/>. Another example is a certificate enrolment request or the resulting issued certificate.</t>

<t>EDHOC allows opaque external authorization data (EAD) to be sent in the EDHOC messages. External authorization data sent in message_1 (EAD_1) or message_2 (EAD_2) should be considered unprotected by EDHOC, see <xref target="unprot-data"/>. External authorization data sent in message_3 (EAD_3) or message_4 (EAD_4) is protected between Initiator and Responder.</t>

<t>External authorization data is a CBOR sequence (see <xref target="CBOR"/>) consisting of one or more (ead_label, ead_value) pairs as defined below:</t>

<figure><artwork type="CDDL"><![CDATA[
ead = 1* (
  ead_label : int,
  ead_value : any,
)
]]></artwork></figure>

<t>Applications using external authorization data need to specify format, processing, and security considerations and register the (ead_label, ead_value) pair, see <xref target="iana-ead"/>. The CDDL type of ead_value is determined by the int ead_label and MUST be specified.</t>

<t>The EAD fields of EDHOC are not intended for generic application data. Since data carried in EAD_1 and EAD_2 fields may not be protected, special considerations need to be made such that it does not violate security and privacy requirements of the service which uses this data. Moreover, the content in an EAD field may impact the security properties provided by EDHOC. Security applications making use of the EAD fields must perform the necessary security analysis.</t>

</section>
<section anchor="applicability" title="Applicability Statement">

<t>EDHOC requires certain parameters to be agreed upon between Initiator and Responder. Some parameters can be agreed through the protocol execution (specifically cipher suite negotiation, see <xref target="cs"/>) but other parameters may need to be known out-of-band (e.g., which authentication method is used, see <xref target="method"/>).</t>

<t>The purpose of the applicability statement is to describe the intended use of EDHOC to allow for the relevant processing and verifications to be made, including things like:</t>

<t><list style="numbers">
  <t>How the endpoint detects that an EDHOC message is received. This includes how EDHOC messages are transported, for example in the payload of a CoAP message with a certain Uri-Path or Content-Format; see <xref target="coap"/>.
  <list style="symbols">
      <t>The method of transporting EDHOC messages may also describe data carried along with the messages that are needed for the transport to satisfy the requirements of <xref target="transport"/>, e.g., connection identifiers used with certain messages, see <xref target="coap"/>.</t>
    </list></t>
  <t>Authentication method (METHOD; see <xref target="method"/>).</t>
  <t>Profile for authentication credentials (CRED_I, CRED_R; see <xref target="auth-cred"/>), e.g., profile for certificate or CCS, including supported authentication key algorithms (subject public key algorithm in X.509 or C509 certificate).</t>
  <t>Type used to identify authentication credentials (ID_CRED_I, ID_CRED_R; see <xref target="id_cred"/>).</t>
  <t>Use and type of external authorization data (EAD_1, EAD_2, EAD_3, EAD_4; see <xref target="AD"/>).</t>
  <t>Identifier used as identity of endpoint; see <xref target="identities"/>.</t>
  <t>If message_4 shall be sent/expected, and if not, how to ensure a protected application message is sent from the Responder to the Initiator; see <xref target="m4"/>.</t>
</list></t>

<t>The applicability statement may also contain information about supported cipher suites. The procedure for selecting and verifying cipher suite is still performed as described in <xref target="asym-msg1-form"/> and <xref target="wrong-selected"/>, but it may become simplified by this knowledge.</t>

<t>An example of an applicability statement is shown in <xref target="appl-temp"/>.</t>

<t>For some parameters, like METHOD, ID_CRED_x, type of EAD, the receiver is able to verify compliance with applicability statement, and if it needs to fail because of incompliance, to infer the reason why the protocol failed.</t>

<t>For other parameters, like CRED_x in the case that it is not transported, it may not be possible to verify that incompliance with applicability statement was the reason for failure: Integrity verification in message_2 or message_3 may fail not only because of wrong authentication credential. For example, in case the Initiator uses public key certificate by reference (i.e., not transported within the protocol) then both endpoints need to use an identical data structure as CRED_I or else the integrity verification will fail.</t>

<t>Note that it is not necessary for the endpoints to specify a single transport for the EDHOC messages. For example, a mix of CoAP and HTTP may be used along the path, and this may still allow correlation between messages.</t>

<t>The applicability statement may be dependent on the identity of the other endpoint, or other information carried in an EDHOC message, but it then applies only to the later phases of the protocol when such information is known. (The Initiator does not know identity of Responder before having verified message_2, and the Responder does not know identity of the Initiator before having verified message_3.)</t>

<t>Other conditions may be part of the applicability statement, such as target application or use (if there is more than one application/use) to the extent that EDHOC can distinguish between them. In case multiple applicability statements are used, the receiver needs to be able to determine which is applicable for a given session, for example based on URI or external authorization data type.</t>

</section>
</section>
<section anchor="key-der" title="Key Derivation">

<t>EDHOC uses Extract-and-Expand <xref target="RFC5869"/> with the EDHOC hash algorithm in the selected cipher suite to derive keys used in EDHOC and in the application. Extract is used to derive fixed-length uniformly pseudorandom keys (PRK) from ECDH shared secrets. Expand is used to derive additional output keying material (OKM) from the PRKs.</t>

<t>This section defines Extract, Expand and other key derivation functions based on these: Expand is used to define EDHOC-KDF and in turn EDHOC-Exporter, whereas Extract is used to define EDHOC-KeyUpdate.</t>

<section anchor="extract" title="Extract">

<t>The pseudorandom keys (PRKs) are derived using Extract.</t>

<figure><artwork><![CDATA[
   PRK = Extract( salt, IKM )
]]></artwork></figure>

<t>where the input keying material (IKM) and salt are defined for each PRK below.</t>

<t>The definition of Extract depends on the EDHOC hash algorithm of the selected cipher suite:</t>

<t><list style="symbols">
  <t>if the EDHOC hash algorithm is SHA-2, then Extract( salt, IKM ) = HKDF-Extract( salt, IKM ) <xref target="RFC5869"/></t>
  <t>if the EDHOC hash algorithm is SHAKE128, then Extract( salt, IKM ) = KMAC128( salt, IKM, 256, “” )</t>
  <t>if the EDHOC hash algorithm is SHAKE256, then Extract( salt, IKM ) = KMAC256( salt, IKM, 512, “” )</t>
</list></t>

<section anchor="prk2e" title="PRK_2e">

<t>PRK_2e is used to derive a keystream to encrypt message_2. PRK_2e is derived with the following input:</t>

<t><list style="symbols">
  <t>The salt SHALL be a zero-length byte string. Note that <xref target="RFC5869"/> specifies that if the salt is not provided, it is set to a string of zeros (see Section 2.2 of <xref target="RFC5869"/>). For implementation purposes, not providing the salt is the same as setting the salt to the zero-length byte string (0x).</t>
  <t>The IKM SHALL be the ephemeral-ephemeral ECDH shared secret G_XY (calculated from G_X and Y or G_Y and X) as defined in Section 6.3.1 of <xref target="I-D.ietf-cose-rfc8152bis-algs"/>. The use of G_XY gives forward secrecy, in the sense that compromise of the private authentication keys does not compromise past session keys.</t>
</list></t>

<t>Example: Assuming the use of curve25519, the ECDH shared secret G_XY is the output of the X25519 function <xref target="RFC7748"/>:</t>

<figure><artwork><![CDATA[
   G_XY = X25519( Y, G_X ) = X25519( X, G_Y )
]]></artwork></figure>

<t>Example: Assuming the use of SHA-256 the extract phase of HKDF produces PRK_2e as follows:</t>

<figure><artwork><![CDATA[
   PRK_2e = HMAC-SHA-256( salt, G_XY )
]]></artwork></figure>

<t>where salt = 0x (zero-length byte string).</t>

</section>
<section anchor="prk3e2m" title="PRK_3e2m">

<t>PRK_3e2m is used to produce a MAC in message_2 and to encrypt message_3. PRK_3e2m is derived as follows:</t>

<t>If the Responder authenticates with a static Diffie-Hellman key, then PRK_3e2m = Extract( PRK_2e, G_RX ), where G_RX is the ECDH shared secret calculated from G_R and X, or G_X and R, else PRK_3e2m = PRK_2e.</t>

</section>
<section anchor="prk4x3m" title="PRK_4x3m">

<t>PRK_4x3m is used to produce a MAC in message_3, to encrypt message_4, and to derive application specific data. PRK_4x3m is derived as follows:</t>

<t>If the Initiator authenticates with a static Diffie-Hellman key, then PRK_4x3m = Extract( PRK_3e2m, G_IY ), where G_IY is the ECDH shared secret calculated from G_I and Y, or G_Y and I, else PRK_4x3m = PRK_3e2m.</t>

</section>
</section>
<section anchor="expand" title="Expand">

<t>The keys, IVs and MACs used in EDHOC are derived from the PRKs using Expand, and instantiated with the EDHOC AEAD algorithm in the selected cipher suite.</t>

<figure><artwork><![CDATA[
   OKM = EDHOC-KDF( PRK, transcript_hash, label, context, length )
       = Expand( PRK, info, length )
]]></artwork></figure>

<t>where info is encoded as the CBOR sequence</t>

<figure><artwork type="CDDL"><![CDATA[
info = (
  transcript_hash : bstr,
  label : tstr,
  context : bstr,
  length : uint,
)
]]></artwork></figure>

<t>where</t>

<t><list style="symbols">
  <t>transcript_hash is a bstr set to one of the transcript hashes TH_2, TH_3, or TH_4 as defined in Sections <xref target="asym-msg2-form" format="counter"/>, <xref target="asym-msg3-form" format="counter"/>, and <xref target="exporter" format="counter"/>.</t>
  <t>label is a tstr set to the name of the derived key, IV or MAC; i.e., “KEYSTREAM_2”, “MAC_2”, “K_3”, “IV_3”, or “MAC_3”.</t>
  <t>context is a bstr</t>
  <t>length is the length of output keying material (OKM) in bytes</t>
</list></t>

<t>The definition of Expand depends on the EDHOC hash algorithm of the selected cipher suite:</t>

<t><list style="symbols">
  <t>if the EDHOC hash algorithm is SHA-2, then Expand( PRK, info, length ) = HKDF-Expand( PRK, info, length ) <xref target="RFC5869"/></t>
  <t>if the EDHOC hash algorithm is SHAKE128, then Expand( PRK, info, length ) = KMAC128( PRK, info, L, “” )</t>
  <t>if the EDHOC hash algorithm is SHAKE256, then Expand( PRK, info, length ) = KMAC256( PRK, info, L, “” )</t>
</list></t>

<t>where L = 8*length, the output length in bits.</t>

<t>The keys, IVs and MACs are derived as follows:</t>

<t><list style="symbols">
  <t>KEYSTREAM_2 is derived using the transcript hash TH_2 and the pseudorandom key PRK_2e.</t>
  <t>MAC_2 is derived using the transcript hash TH_2 and the pseudorandom key PRK_3e2m.</t>
  <t>K_3 and IV_3 are derived using the transcript hash TH_3 and the pseudorandom key PRK_3e2m. IVs are only used if the EDHOC AEAD algorithm uses IVs.</t>
  <t>MAC_3 is derived using the transcript hash TH_3 and the pseudorandom key PRK_4x3m.</t>
</list></t>

<t>KEYSTREAM_2, K_3, and IV_3 use an empty CBOR byte string h’’ as context. MAC_2 and MAC_3 use context as defined in <xref target="asym-msg2-proc"/> and <xref target="asym-msg3-proc"/>, respectively.</t>

</section>
<section anchor="exporter" title="EDHOC-Exporter">

<t>Application keys and other application specific data can be derived using the EDHOC-Exporter interface defined as:</t>

<figure><artwork><![CDATA[
   EDHOC-Exporter(label, context, length)
     = EDHOC-KDF(PRK_4x3m, TH_4, label, context, length)
]]></artwork></figure>

<t>where label is a registered tstr from the EDHOC Exporter Label registry (<xref target="exporter-label"/>), context is a bstr defined by the application, and length is a uint defined by the application. The (label, context) pair must be unique, i.e., a (label, context) MUST NOT be used for two different purposes. However an application can re-derive the same key several times as long as it is done in a secure way. For example, in most encryption algorithms the same key kan be reused with different nonces. The context can for example be the empty (zero-length) sequence or a single CBOR byte string.</t>

<t>The transcript hash TH_4 is a CBOR encoded bstr and the input to the hash function is a CBOR Sequence.</t>

<figure><artwork><![CDATA[
   TH_4 = H( TH_3, CIPHERTEXT_3 )
]]></artwork></figure>

<t>where H() is the hash function in the selected cipher suite. Examples of use of the EDHOC-Exporter are given in <xref target="asym-msg4-proc"/> and <xref target="transfer"/>.</t>

<t><list style="symbols">
  <t>K_4 and IV_4 are derived with the EDHOC-Exporter using the empty CBOR byte string h’’ as context, and labels “EDHOC_K_4” and “EDHOC_IV_4”, respectively. IVs are only used if the EDHOC AEAD algorithm uses IVs.</t>
</list></t>

</section>
<section anchor="keyupdate" title="EDHOC-KeyUpdate">

<t>To provide forward secrecy in an even more efficient way than re-running EDHOC, EDHOC provides the function EDHOC-KeyUpdate. When EDHOC-KeyUpdate is called the old PRK_4x3m is deleted and the new PRK_4x3m is calculated as a “hash” of the old key using the Extract function as illustrated by the following pseudocode:</t>

<figure><artwork><![CDATA[
   EDHOC-KeyUpdate( nonce ):
      PRK_4x3m = Extract( nonce, PRK_4x3m )
]]></artwork></figure>

<t>The EDHOC-KeyUpdate takes a nonce as input to guarantee that there are no short cycles. The Initiator and the Responder need to agree on the nonce, which can e.g., be a counter or a random number. While the KeyUpdate method provides forward secrecy it does not give as strong security properties as re-running EDHOC, see <xref target="security"/>.</t>

</section>
</section>
<section anchor="asym" title="Message Formatting and Processing">

<t>This section specifies formatting of the messages and processing steps. Error messages are specified in <xref target="error"/>. Annotated traces of EDHOC protocol runs are provided in <xref target="I-D.selander-lake-traces"/>.</t>

<t>An EDHOC message is encoded as a sequence of CBOR data items (CBOR Sequence, <xref target="RFC8742"/>).
Additional optimizations are made to reduce message overhead.</t>

<t>While EDHOC uses the COSE_Key, COSE_Sign1, and COSE_Encrypt0 structures, only a subset of the parameters is included in the EDHOC messages, see <xref target="COSE"/>. The unprotected COSE header in COSE_Sign1, and COSE_Encrypt0 (not included in the EDHOC message) MAY contain parameters (e.g., ‘alg’).</t>

<section anchor="proc-outline" title="Message Processing Outline">

<t>This section outlines the message processing of EDHOC.</t>

<t>For each new/ongoing session, the endpoints are assumed to keep an associated protocol state containing identifiers, keying material, etc. used for subsequent processing of protocol related data. The protocol state is assumed to be associated to an applicability statement (<xref target="applicability"/>) which provides the context for how messages are transported, identified, and processed.</t>

<t>EDHOC messages SHALL be processed according to the current protocol state. The following steps are expected to be performed at reception of an EDHOC message:</t>

<t><list style="numbers">
  <t>Detect that an EDHOC message has been received, for example by means of port number, URI, or media type (<xref target="applicability"/>).</t>
  <t>Retrieve the protocol state according to the message correlation provided by the transport, see <xref target="transport"/>. If there is no protocol state, in the case of message_1, a new protocol state is created. The Responder endpoint needs to make use of available Denial-of-Service mitigation (<xref target="dos"/>).</t>
  <t>If the message received is an error message, then process according to <xref target="error"/>, else process as the expected next message according to the protocol state.</t>
</list></t>

<t>If the processing fails for some reason then, typically, an error message is sent, the protocol is discontinued, and the protocol state erased. Further details are provided in the following subsections and in <xref target="error"/>.</t>

<t>Different instances of the same message MUST NOT be processed in one session.  Note that processing will fail if the same message appears a second time for EDHOC processing because the state of the protocol has moved on and now expects something else. This assumes that message duplication due to re-transmissions is handled by the transport protocol, see <xref target="transport"/>. The case when the transport does not support message deduplication is addressed in <xref target="duplication"/>.</t>

</section>
<section anchor="m1" title="EDHOC Message 1">

<section anchor="asym-msg1-form" title="Formatting of Message 1">

<t>message_1 SHALL be a CBOR Sequence (see <xref target="CBOR"/>) as defined below</t>

<figure><artwork type="CDDL"><![CDATA[
message_1 = (
  METHOD : int,
  SUITES_I : suites,
  G_X : bstr,
  C_I : bstr / int,
  ? EAD_1 : ead,
)

suites = [ 2* int ] / int
]]></artwork></figure>

<t>where:</t>

<t><list style="symbols">
  <t>METHOD - authentication method, see <xref target="method"/>.</t>
  <t>SUITES_I - array of cipher suites which the Initiator supports in order of preference, starting with the most preferred and ending with the cipher suite selected for this session. If the most preferred cipher suite is selected then SUITES_I is encoded as that cipher suite, i.e., as an int. The processing steps are detailed below and in <xref target="wrong-selected"/>.</t>
  <t>G_X - the ephemeral public key of the Initiator</t>
  <t>C_I - variable length connection identifier</t>
  <t>EAD_1 - unprotected external authorization data, see <xref target="AD"/>.</t>
</list></t>

</section>
<section anchor="init-proc-msg1" title="Initiator Processing of Message 1">

<t>The Initiator SHALL compose message_1 as follows:</t>

<t><list style="symbols">
  <t>SUITES_I contains a list of supported cipher suites, in order of preference, truncated after the cipher suite selected for this session.
  <list style="symbols">
      <t>The Initiator MUST select its most preferred cipher suite, conditioned on what it can assume to be supported by the Responder.</t>
      <t>The selected cipher suite MAY be changed between sessions, e.g., based on previous error messages (see next bullet), but all cipher suites which are more preferred than the selected cipher suite in the list MUST be included in SUITES_I.</t>
      <t>If the Initiator previously received from the Responder an error message with error code 2 (see <xref target="wrong-selected"/>) indicating cipher suites supported by the Responder, then the Initiator SHOULD select the most preferred supported cipher suite among those (note that error messages are not authenticated and may be forged).</t>
      <t>The supported cipher suites and the order of preference MUST NOT be changed based on previous error messages.</t>
    </list></t>
  <t>Generate an ephemeral ECDH key pair using the curve in the selected cipher suite and format it as a COSE_Key. Let G_X be the ‘x’ parameter of the COSE_Key.</t>
  <t>Choose a connection identifier C_I and store it for the length of the protocol.</t>
  <t>Encode message_1 as a sequence of CBOR encoded data items as specified in <xref target="asym-msg1-form"/></t>
</list></t>

</section>
<section anchor="resp-proc-msg1" title="Responder Processing of Message 1">

<t>The Responder SHALL process message_1 as follows:</t>

<t><list style="symbols">
  <t>Decode message_1 (see <xref target="CBOR"/>).</t>
  <t>Verify that the selected cipher suite is supported and that no prior cipher suite in SUITES_I is supported.</t>
  <t>Pass EAD_1 to the security application.</t>
</list></t>

<t>If any processing step fails, the Responder SHOULD send an EDHOC error message back, formatted as defined in <xref target="error"/>, and the session MUST be discontinued. Sending error messages is essential for debugging but MAY e.g., be skipped due to denial-of-service reasons, see <xref target="dos"/>. If an error message is sent, the session MUST be discontinued.</t>

</section>
</section>
<section anchor="m2" title="EDHOC Message 2">

<section anchor="asym-msg2-form" title="Formatting of Message 2">

<t>message_2 SHALL be a CBOR Sequence (see <xref target="CBOR"/>) as defined below</t>

<figure><artwork type="CDDL"><![CDATA[
message_2 = (
  G_Y_CIPHERTEXT_2 : bstr,
  C_R : bstr / int,
)
]]></artwork></figure>

<t>where:</t>

<t><list style="symbols">
  <t>G_Y_CIPHERTEXT_2 - the concatenation of G_Y, the ephemeral public key of the Responder, and CIPHERTEXT_2</t>
  <t>C_R - variable length connection identifier</t>
</list></t>

</section>
<section anchor="asym-msg2-proc" title="Responder Processing of Message 2">

<t>The Responder SHALL compose message_2 as follows:</t>

<t><list style="symbols">
  <t>Generate an ephemeral ECDH key pair using the curve in the selected cipher suite and format it as a COSE_Key. Let G_Y be the ‘x’ parameter of the COSE_Key.</t>
  <t>Choose a connection identifier C_R and store it for the length of the protocol.</t>
  <t>Compute the transcript hash TH_2 = H( H(message_1), G_Y, C_R ) where H() is the hash function in the selected cipher suite. The transcript hash TH_2 is a CBOR encoded bstr and the input to the hash function is a CBOR Sequence. Note that H(message_1) can be computed and cached already in the processing of message_1.</t>
  <t>Compute MAC_2 = EDHOC-KDF( PRK_3e2m, TH_2, “MAC_2”, « ID_CRED_R, CRED_R, ? EAD_2 », mac_length_2 ). If the Responder authenticates with a static Diffie-Hellman key (method equals 1 or 3), then mac_length_2 is the EDHOC MAC length given by the selected cipher suite. If the Responder authenticates with a signature key (method equals 0 or 2), then mac_length_2 is equal to the output size of the EDHOC hash algorithm given by the selected cipher suite.
  <list style="symbols">
      <t>ID_CRED_R - identifier to facilitate retrieval of CRED_R, see <xref target="id_cred"/></t>
      <t>CRED_R - CBOR item containing the credential of the Responder, see <xref target="auth-cred"/></t>
      <t>EAD_2 - unprotected external authorization data, see <xref target="AD"/></t>
    </list></t>
  <t>If the Responder authenticates with a static Diffie-Hellman key (method equals 1 or 3), then Signature_or_MAC_2 is MAC_2. If the Responder authenticates with a signature key (method equals 0 or 2), then Signature_or_MAC_2 is the ‘signature’ field of a COSE_Sign1 object as defined in Section 4.4 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/> using the signature algorithm of the selected cipher suite, the private authentication key of the Responder, and the following parameters as input (see <xref target="COSE"/>):  <list style="symbols">
      <t>protected =  « ID_CRED_R »</t>
      <t>external_aad = « TH_2, CRED_R, ? EAD_2 »</t>
      <t>payload = MAC_2</t>
    </list></t>
  <t>CIPHERTEXT_2 is calculated by using the Expand function as a binary additive stream cipher.  <list style="symbols">
      <t>plaintext = ( ID_CRED_R / bstr / int, Signature_or_MAC_2, ? EAD_2 )      <list style="symbols">
          <t>If ID_CRED_R contains a single ‘kid’ parameter, i.e., ID_CRED_R = { 4 : kid_R }, then only the byte string or integer kid_R is conveyed in the plaintext encoded accordingly as bstr or int.</t>
        </list></t>
      <t>Compute KEYSTREAM_2 = EDHOC-KDF( PRK_2e, TH_2, “KEYSTREAM_2”, h’’, plaintext_length ), where plaintext_length is the length of the plaintext.</t>
      <t>CIPHERTEXT_2 = plaintext XOR KEYSTREAM_2</t>
    </list></t>
  <t>Encode message_2 as a sequence of CBOR encoded data items as specified in <xref target="asym-msg2-form"/>.</t>
</list></t>

</section>
<section anchor="initiator-processing-of-message-2" title="Initiator Processing of Message 2">

<t>The Initiator SHALL process message_2 as follows:</t>

<t><list style="symbols">
  <t>Decode message_2 (see <xref target="CBOR"/>).</t>
  <t>Retrieve the protocol state using the message correlation provided by the transport (e.g., the CoAP Token, the 5-tuple, or the prepended C_I, see <xref target="coap"/>).</t>
  <t>Decrypt CIPHERTEXT_2, see <xref target="asym-msg2-proc"/>.</t>
  <t>Pass EAD_2 to the security application.</t>
  <t>Verify that the identity of the Responder is an allowed identity for this connection, see <xref target="identities"/>.</t>
  <t>Verify Signature_or_MAC_2 using the algorithm in the selected cipher suite. The verification process depends on the method, see <xref target="asym-msg2-proc"/>.</t>
</list></t>

<t>If any processing step fails, the Initiator SHOULD send an EDHOC error message back, formatted as defined in <xref target="error"/>. Sending error messages is essential for debugging but MAY e.g., be skipped if a session cannot be found or due to denial-of-service reasons, see <xref target="dos"/>. If an error message is sent, the session MUST be discontinued.</t>

</section>
</section>
<section anchor="m3" title="EDHOC Message 3">

<section anchor="asym-msg3-form" title="Formatting of Message 3">

<t>message_3 SHALL be a CBOR Sequence (see <xref target="CBOR"/>) as defined below</t>

<figure><artwork type="CDDL"><![CDATA[
message_3 = (
  CIPHERTEXT_3 : bstr,
)
]]></artwork></figure>

</section>
<section anchor="asym-msg3-proc" title="Initiator Processing of Message 3">

<t>The Initiator SHALL compose message_3 as follows:</t>

<t><list style="symbols">
  <t>Compute the transcript hash TH_3 = H(TH_2, CIPHERTEXT_2) where H() is the hash function in the selected cipher suite. The transcript hash TH_3 is a CBOR encoded bstr and the input to the hash function is a CBOR Sequence.  Note that H(TH_2, CIPHERTEXT_2) can be computed and cached already in the processing of message_2.</t>
  <t>Compute MAC_3 = EDHOC-KDF( PRK_4x3m, TH_3, “MAC_3”, « ID_CRED_I, CRED_I, ? EAD_3 », mac_length_3 ). If the Initiator authenticates with a static Diffie-Hellman key (method equals 2 or 3), then mac_length_3 is the EDHOC MAC length given by the selected cipher suite.  If the Initiator authenticates with a signature key (method equals 0 or 1), then mac_length_3 is equal to the output size of the EDHOC hash algorithm given by the selected cipher suite.
  <list style="symbols">
      <t>ID_CRED_I - identifier to facilitate retrieval of CRED_I, see <xref target="id_cred"/></t>
      <t>CRED_I - CBOR item containing the credential of the Initiator, see <xref target="auth-cred"/></t>
      <t>EAD_3 - protected external authorization data, see <xref target="AD"/></t>
    </list></t>
  <t>If the Initiator authenticates with a static Diffie-Hellman key (method equals 2 or 3), then Signature_or_MAC_3 is MAC_3. If the Initiator authenticates with a signature key (method equals 0 or 1), then Signature_or_MAC_3 is the ‘signature’ field of a COSE_Sign1 object as defined in Section 4.4 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/> using the signature algorithm of the selected cipher suite, the private authentication key of the Initiator, and the following parameters as input (see <xref target="COSE"/>):  <list style="symbols">
      <t>protected =  « ID_CRED_I »</t>
      <t>external_aad = « TH_3, CRED_I, ? EAD_3 »</t>
      <t>payload = MAC_3</t>
    </list></t>
  <t>Compute a COSE_Encrypt0 object as defined in Section 5.3 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, with the EDHOC AEAD algorithm of the selected cipher suite, using the encryption key K_3, the initialization vector IV_3, the plaintext P, and the following parameters as input (see <xref target="COSE"/>):  <list style="symbols">
      <t>protected = h’’</t>
      <t>external_aad = TH_3</t>
    </list>
where  <list style="symbols">
      <t>K_3 = EDHOC-KDF( PRK_3e2m, TH_3, “K_3”, h’’, key_length )
      <list style="symbols">
          <t>key_length - length of the encryption key of the EDHOC AEAD algorithm</t>
        </list></t>
      <t>IV_3 = EDHOC-KDF( PRK_3e2m, TH_3, “IV_3”, h’’, iv_length )
      <list style="symbols">
          <t>iv_length - length of the intialization vector of the EDHOC AEAD algorithm</t>
        </list></t>
      <t>P = ( ID_CRED_I / bstr / int, Signature_or_MAC_3, ? EAD_3 )      <list style="symbols">
          <t>If ID_CRED_I contains a single ‘kid’ parameter, i.e., ID_CRED_I = { 4 : kid_I }, only the byte string or integer kid_I is conveyed in the plaintext encoded accordingly as bstr or int.</t>
        </list></t>
    </list>
CIPHERTEXT_3 is the ‘ciphertext’ of COSE_Encrypt0.</t>
  <t>Encode message_3 as a CBOR data item as specified in <xref target="asym-msg3-form"/>.</t>
</list></t>

<t>Pass the connection identifiers (C_I, C_R) and the application algorithms in the selected cipher suite to the application. The application can now derive application keys using the EDHOC-Exporter interface, see <xref target="exporter"/>.</t>

<t>After sending message_3, the Initiator is assured that no other party than the Responder can compute the key PRK_4x3m (implicit key authentication). The Initiator can securely derive application keys and send protected application data. However, the Initiator does not know that the Responder has actually computed the key PRK_4x3m and therefore the Initiator SHOULD NOT permanently store the keying material PRK_4x3m and TH_4, or derived application keys, until the Initiator is assured that the Responder has actually computed the key PRK_4x3m (explicit key confirmation). This is similar to waiting for acknowledgement (ACK) in a transport protocol. Explicit key confirmation is e.g., assured when the Initiator has verified an OSCORE message or message_4 from the Responder.</t>

</section>
<section anchor="responder-processing-of-message-3" title="Responder Processing of Message 3">

<t>The Responder SHALL process message_3 as follows:</t>

<t><list style="symbols">
  <t>Decode message_3 (see <xref target="CBOR"/>).</t>
  <t>Retrieve the protocol state using the message correlation provided by the transport (e.g., the CoAP Token, the 5-tuple, or the prepended C_I, see <xref target="coap"/>).</t>
  <t>Decrypt and verify the COSE_Encrypt0 as defined in Section 5.3 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, with the EDHOC AEAD algorithm in the selected cipher suite, and the parameters defined in <xref target="asym-msg3-proc"/>.</t>
  <t>Pass EAD_3 to the security application.</t>
  <t>Verify that the identity of the Initiator is an allowed identity for this connection, see <xref target="identities"/>.</t>
  <t>Verify Signature_or_MAC_3 using the algorithm in the selected cipher suite. The verification process depends on the method, see <xref target="asym-msg3-proc"/>.</t>
  <t>Pass the connection identifiers (C_I, C_R), and the application algorithms in the selected cipher suite to the security application. The application can now derive application keys using the EDHOC-Exporter interface.</t>
</list></t>

<t>If any processing step fails, the Responder SHOULD send an EDHOC error message back, formatted as defined in <xref target="error"/>. Sending error messages is essential for debugging but MAY e.g., be skipped if a session cannot be found or due to denial-of-service reasons, see <xref target="dos"/>. If an error message is sent, the session MUST be discontinued.</t>

<t>After verifying message_3, the Responder is assured that the Initiator has calculated the key PRK_4x3m (explicit key confirmation) and that no other party than the Responder can compute the key. The Responder can securely send protected application data and store the keying material PRK_4x3m and TH_4.</t>

</section>
</section>
<section anchor="m4" title="EDHOC Message 4">

<t>This section specifies message_4 which is OPTIONAL to support. Key confirmation is normally provided by sending an application message from the Responder to the Initiator protected with a key derived with the EDHOC-Exporter, e.g., using OSCORE (see <xref target="transfer"/>). In deployments where no protected application message is sent from the Responder to the Initiator, the Responder MUST send message_4. Two examples of such deployments:</t>

<t><list style="numbers">
  <t>When EDHOC is only used for authentication and no application data is sent.</t>
  <t>When application data is only sent from the Initiator to the Responder.</t>
</list></t>

<t>Further considerations about when to use message_4 are provided in <xref target="applicability"/> and <xref target="sec-prop"/>.</t>

<section anchor="asym-msg4-form" title="Formatting of Message 4">

<t>message_4 SHALL be a CBOR Sequence (see <xref target="CBOR"/>) as defined below</t>

<figure><artwork type="CDDL"><![CDATA[
message_4 = (
  CIPHERTEXT_4 : bstr,
)
]]></artwork></figure>

</section>
<section anchor="asym-msg4-proc" title="Responder Processing of Message 4">

<t>The Responder SHALL compose message_4 as follows:</t>

<t><list style="symbols">
  <t>Compute a COSE_Encrypt0 as defined in Section 5.3 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, with the EDHOC AEAD algorithm of the selected cipher suite, using the encryption key K_4, the initialization vector IV_4, the plaintext P, and the following parameters as input (see <xref target="COSE"/>):  <list style="symbols">
      <t>protected = h’’</t>
      <t>external_aad = TH_4</t>
    </list>
where  <list style="symbols">
      <t>K_4 = EDHOC-Exporter( “EDHOC_K_4”, h’’, key_length )
      <list style="symbols">
          <t>key_length - length of the encryption key of the EDHOC AEAD algorithm</t>
        </list></t>
      <t>IV_4 = EDHOC-Exporter( “EDHOC_IV_4”, h’’, iv_length )
      <list style="symbols">
          <t>iv_length - length of the intialization vector of the EDHOC AEAD algorithm</t>
        </list></t>
      <t>P = ( ? EAD_4 )
      <list style="symbols">
          <t>EAD_4 - protected external authorization data, see <xref target="AD"/>.</t>
        </list></t>
    </list>
CIPHERTEXT_4 is the ‘ciphertext’ of COSE_Encrypt0.</t>
  <t>Encode message_4 as a CBOR data item as specified in <xref target="asym-msg4-form"/>.</t>
</list></t>

</section>
<section anchor="initiator-processing-of-message-4" title="Initiator Processing of Message 4">

<t>The Initiator SHALL process message_4 as follows:</t>

<t><list style="symbols">
  <t>Decode message_4 (see <xref target="CBOR"/>).</t>
  <t>Retrieve the protocol state using the message correlation provided by the transport (e.g., the CoAP Token, the 5-tuple, or the prepended C_I, see <xref target="coap"/>).</t>
  <t>Decrypt and verify the COSE_Encrypt0 as defined in Section 5.3 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, with the EDHOC AEAD algorithm in the selected cipher suite, and the parameters defined in <xref target="asym-msg4-proc"/>.</t>
  <t>Pass EAD_4 to the security application.</t>
</list></t>

<t>If any processing step fails, the Responder SHOULD send an EDHOC error message back, formatted as defined in <xref target="error"/>. Sending error messages is essential for debugging but MAY e.g., be skipped if a session cannot be found or due to denial-of-service reasons, see <xref target="dos"/>. If an error message is sent, the session MUST be discontinued.</t>

</section>
</section>
</section>
<section anchor="error" title="Error Handling">

<t>This section defines the format for error messages.</t>

<t>An EDHOC error message can be sent by either endpoint as a reply to any non-error EDHOC message. How errors at the EDHOC layer are transported depends on lower layers, which need to enable error messages to be sent and processed as intended.</t>

<t>Errors in EDHOC are fatal. After sending an error message, the sender MUST discontinue the protocol. The receiver SHOULD treat an error message as an indication that the other party likely has discontinued the protocol. But as the error message is not authenticated, a received error message might also have been sent by an attacker and the receiver MAY therefore try to continue the protocol.</t>

<t>error SHALL be a CBOR Sequence (see <xref target="CBOR"/>) as defined below</t>

<figure title="EDHOC Error Message" anchor="fig-error-message"><artwork type="CDDL"><![CDATA[
error = (
  ERR_CODE : int,
  ERR_INFO : any,
)
]]></artwork></figure>

<t>where:</t>

<t><list style="symbols">
  <t>ERR_CODE - error code encoded as an integer. The value 0 is used for success, all other values (negative or positive) indicate errors.</t>
  <t>ERR_INFO - error information. Content and encoding depend on error code.</t>
</list></t>

<t>The remainder of this section specifies the currently defined error codes, see <xref target="fig-error-codes"/>. Additional error codes and corresponding error information may be specified.</t>

<figure title="Error Codes and Error Information" anchor="fig-error-codes"><artwork><![CDATA[
+----------+---------------+----------------------------------------+
| ERR_CODE | ERR_INFO Type | Description                            |
+==========+===============+========================================+
|        0 | any           | Success                                |
+----------+---------------+----------------------------------------+
|        1 | tstr          | Unspecified                            |
+----------+---------------+----------------------------------------+
|        2 | suites        | Wrong selected cipher suite            |
+----------+---------------+----------------------------------------+
]]></artwork></figure>

<section anchor="success" title="Success">

<t>Error code 0 MAY be used internally in an application to indicate success, e.g., in log files. ERR_INFO can contain any type of CBOR item. Error code 0 MUST NOT be used as part of the EDHOC message exchange flow.</t>

</section>
<section anchor="unspecified" title="Unspecified">

<t>Error code 1 is used for errors that do not have a specific error code defined. ERR_INFO MUST be a text string containing a human-readable diagnostic message written in English. The diagnostic text message is mainly intended for software engineers that during debugging need to interpret it in the context of the EDHOC specification. The diagnostic message SHOULD be provided to the calling application where it SHOULD be logged.</t>

</section>
<section anchor="wrong-selected" title="Wrong Selected Cipher Suite">

<t>Error code 2 MUST only be used in a response to message_1 in case the cipher suite selected by the Initiator is not supported by the Responder, or if the Responder supports a cipher suite more preferred by the Initiator than the selected cipher suite, see <xref target="resp-proc-msg1"/>. ERR_INFO is in this case denoted SUITES_R and is of type suites, see <xref target="asym-msg1-form"/>. If the Responder does not support the selected cipher suite, then SUITES_R MUST include one or more supported cipher suites. If the Responder supports a cipher suite in SUITES_I other than the selected cipher suite (independently of if the selected cipher suite is supported or not) then SUITES_R MUST include the supported cipher suite in SUITES_I which is most preferred by the Initiator. SUITES_R MAY include a single cipher suite, i.e., be encoded as an int. If the Responder does not support any cipher suite in SUITES_I, then it SHOULD include all its supported cipher suites in SUITES_R in any order.</t>

<section anchor="cipher-suite-negotiation" title="Cipher Suite Negotiation">

<t>After receiving SUITES_R, the Initiator can determine which cipher suite to select (if any) for the next EDHOC run with the Responder.</t>

<t>If the Initiator intends to contact the Responder in the future, the Initiator SHOULD remember which selected cipher suite to use until the next message_1 has been sent, otherwise the Initiator and Responder will likely run into an infinite loop where the Initiator selects its most preferred and the Responder sends an error with supported cipher suites. After a successful run of EDHOC, the Initiator MAY remember the selected cipher suite to use in future EDHOC sessions. Note that if the Initiator or Responder is updated with new cipher suite policies, any cached information may be outdated.</t>

</section>
<section anchor="ex-neg" title="Examples">

<t>Assume that the Initiator supports the five cipher suites 5, 6, 7, 8, and 9 in decreasing order of preference. Figures <xref target="fig-error1" format="counter"/> and <xref target="fig-error2" format="counter"/> show examples of how the Initiator can format SUITES_I and how SUITES_R is used by Responders to give the Initiator information about the cipher suites that the Responder supports.</t>

<t>In the first example (<xref target="fig-error1"/>), the Responder supports cipher suite 6 but not the initially selected cipher suite 5.</t>

<figure title="Example of Responder supporting suite 6 but not suite 5." anchor="fig-error1"><artwork align="center"><![CDATA[
Initiator                                                   Responder
|              METHOD, SUITES_I = 5, G_X, C_I, EAD_1                |
+------------------------------------------------------------------>|
|                             message_1                             |
|                                                                   |
|                   ERR_CODE = 2, SUITES_R = 6                      |
|<------------------------------------------------------------------+
|                               error                               |
|                                                                   |
|             METHOD, SUITES_I = [5, 6], G_X, C_I, EAD_1            |
+------------------------------------------------------------------>|
|                             message_1                             |
]]></artwork></figure>

<t>In the second example (<xref target="fig-error2"/>), the Responder supports cipher suites 8 and 9 but not the more preferred (by the Initiator) cipher suites 5, 6 or 7. To illustrate the negotiation mechanics we let the Initiator first make a guess that the Responder supports suite 6 but not suite 5. Since the Responder supports neither 5 nor 6, it responds with SUITES_R containing the supported suites, after which the Initiator selects its most preferred supported suite. The order of cipher suites in SUITES_R does not matter. (If the Responder had supported suite 5, it would have included it in SUITES_R of the response, and it would in that case have become the selected suite in the second message_1.)</t>

<figure title="Example of Responder supporting suites 8 and 9 but not 5, 6 or 7." anchor="fig-error2"><artwork align="center"><![CDATA[
Initiator                                                   Responder
|            METHOD, SUITES_I = [5, 6], G_X, C_I, EAD_1             |
+------------------------------------------------------------------>|
|                             message_1                             |
|                                                                   |
|                  ERR_CODE = 2, SUITES_R = [9, 8]                  |
|<------------------------------------------------------------------+
|                               error                               |
|                                                                   |
|           METHOD, SUITES_I = [5, 6, 7, 8], G_X, C_I, EAD_1        |
+------------------------------------------------------------------>|
|                             message_1                             |
]]></artwork></figure>

<t>Note that the Initiator’s list of supported cipher suites and order of preference is fixed (see <xref target="asym-msg1-form"/> and <xref target="init-proc-msg1"/>). Furthermore, the Responder shall only accept message_1 if the selected cipher suite is the first cipher suite in SUITES_I that the Responder supports (see <xref target="resp-proc-msg1"/>). Following this procedure ensures that the selected cipher suite is the most preferred (by the Initiator) cipher suite supported by both parties.</t>

<t>If the selected cipher suite is not the first cipher suite which the Responder supports in SUITES_I received in message_1, then Responder MUST discontinue the protocol, see <xref target="resp-proc-msg1"/>. If SUITES_I in message_1 is manipulated, then the integrity verification of message_2 containing the transcript hash TH_2 will fail and the Initiator will discontinue the protocol.</t>

</section>
</section>
</section>
<section anchor="mti" title="Mandatory-to-Implement Compliance Requirements">

<t>An implementation may support only Initiator or only Responder.</t>

<t>An implementation may support only a single method. None of the methods are mandatory-to-implement.</t>

<t>Implementations MUST support ‘kid’ parameters of type int. None of the other COSE header parameters are mandatory-to-implement.</t>

<t>An implementation may support only a single credential type (CCS, CWT, X.509, C509). None of the credential types are mandatory-to-implement.</t>

<t>Implementations MUST support the EDHOC-Exporter. Implementations SHOULD support EDHOC-KeyUpdate.</t>

<t>Implementations MAY support message_4. Error codes 1 and 2 MUST be supported.</t>

<t>Implementations MAY support EAD.</t>

<t>For many constrained IoT devices it is problematic to support more than one cipher suite. Existing devices can be expected to support either ECDSA or EdDSA. To enable as much interoperability as we can reasonably achieve, less constrained devices SHOULD implement both cipher suite 0 (AES-CCM-16-64-128, SHA-256, 8, X25519, EdDSA, AES-CCM-16-64-128, SHA-256) and cipher suite 2 (AES-CCM-16-64-128, SHA-256, 8, P-256, ES256, AES-CCM-16-64-128, SHA-256). Constrained endpoints SHOULD implement cipher suite 0 or cipher suite 2. Implementations only need to implement the algorithms needed for their supported methods.</t>

</section>
<section anchor="security" title="Security Considerations">

<section anchor="sec-prop" title="Security Properties">

<t>EDHOC inherits its security properties from the theoretical SIGMA-I protocol <xref target="SIGMA"/>. Using the terminology from <xref target="SIGMA"/>, EDHOC provides forward secrecy, mutual authentication with aliveness, consistency, and peer awareness. As described in <xref target="SIGMA"/>, peer awareness is provided to the Responder, but not to the Initiator.</t>

<t>As described in <xref target="SIGMA"/>, different levels of identity protection is provided to the Initiator and the Responder. EDHOC protects the credential identifier of the Initiator against active attacks and the credential identifier of the Responder against passive attacks. The roles should be assigned to protect the most sensitive identity/identifier, typically that which is not possible to infer from routing information in the lower layers.</t>

<t>Compared to <xref target="SIGMA"/>, EDHOC adds an explicit method type and expands the message authentication coverage to additional elements such as algorithms, external authorization data, and previous messages. This protects against an attacker replaying messages or injecting messages from another session.</t>

<t>EDHOC also adds selection of connection identifiers and downgrade protected negotiation of cryptographic parameters, i.e., an attacker cannot affect the negotiated parameters. A single session of EDHOC does not include negotiation of cipher suites, but it enables the Responder to verify that the selected cipher suite is the most preferred cipher suite by the Initiator which is supported by both the Initiator and the Responder.</t>

<t>As required by <xref target="RFC7258"/>, IETF protocols need to mitigate pervasive monitoring when possible. EDHOC therefore only supports methods with ephemeral Diffie-Hellman and provides a KeyUpdate function for lightweight application protocol rekeying with forward secrecy, in the sense that compromise of the private authentication keys does not compromise past session keys, and compromise of a session key does not compromise past session keys.</t>

<t>While the KeyUpdate method can be used to meet cryptographic limits and provide partial protection against key leakage, it provides significantly weaker security properties than re-running EDHOC with ephemeral Diffie-Hellman. Even with frequent use of KeyUpdate, compromise of one session key compromises all future session keys, and an attacker therefore only needs to perform static key exfiltration <xref target="RFC7624"/>. Frequently re-running EDHOC with ephemeral Diffie-Hellman forces attackers to perform dynamic key exfiltration instead of static key exfiltration <xref target="RFC7624"/>. In the dynamic case, the attacker must have continuous interactions with the collaborator, which is more complicated and has a higher risk profile than the static case.</t>

<t>To limit the effect of breaches, it is important to limit the use of symmetrical group keys for bootstrapping. EDHOC therefore strives to make the additional cost of using raw public keys and self-signed certificates as small as possible. Raw public keys and self-signed certificates are not a replacement for a public key infrastructure but SHOULD be used instead of symmetrical group keys for bootstrapping.</t>

<t>Compromise of the long-term keys (private signature or static DH keys) does not compromise the security of completed EDHOC exchanges. Compromising the private authentication keys of one party lets an active attacker impersonate that compromised party in EDHOC exchanges with other parties but does not let the attacker impersonate other parties in EDHOC exchanges with the compromised party. Compromise of the long-term keys does not enable a passive attacker to compromise future session keys. Compromise of the HDKF input parameters (ECDH shared secret) leads to compromise of all session keys derived from that compromised shared secret. Compromise of one session key does not compromise other session keys. Compromise of PRK_4x3m leads to compromise of all exported keying material derived after the last invocation of the EDHOC-KeyUpdate function.</t>

<t>EDHOC provides a minimum of 64-bit security against online brute force attacks and a minimum of 128-bit security against offline brute force attacks. This is in line with IPsec, TLS, and COSE. To break 64-bit security against online brute force an attacker would on average have to send 4.3 billion messages per second for 68 years, which is infeasible in constrained IoT radio technologies.</t>

<t>After sending message_3, the Initiator is assured that no other party than the Responder can compute the key PRK_4x3m (implicit key authentication). The Initiator does however not know that the Responder has actually computed the key PRK_4x3m. While the Initiator can securely send protected application data, the Initiator SHOULD NOT permanently store the keying material PRK_4x3m and TH_4 until the Initiator is assured that the Responder has actually computed the key PRK_4x3m (explicit key confirmation). Explicit key confirmation is e.g., assured when the Initiator has verified an OSCORE message or message_4 from the Responder. After verifying message_3, the Responder is assured that the Initiator has calculated the key PRK_4x3m (explicit key confirmation) and that no other party than the Responder can compute the key. The Responder can securely send protected application data and store the keying material PRK_4x3m and TH_4.</t>

<t>Key compromise impersonation (KCI): In EDHOC authenticated with signature keys, EDHOC provides KCI protection against an attacker having access to the long-term key or the ephemeral secret key. With static Diffie-Hellman key authentication, KCI protection would be provided against an attacker having access to the long-term Diffie-Hellman key, but not to an attacker having access to the ephemeral secret key. Note that the term KCI has typically been used for compromise of long-term keys, and that an attacker with access to the ephemeral secret key can only attack that specific session.</t>

<t>Repudiation: In EDHOC authenticated with signature keys, the Initiator could theoretically prove that the Responder performed a run of the protocol by presenting the private ephemeral key, and vice versa. Note that storing the private ephemeral keys violates the protocol requirements. With static Diffie-Hellman key authentication, both parties can always deny having participated in the protocol.</t>

<t>Two earlier versions of EDHOC have been formally analyzed <xref target="Norrman20"/> <xref target="Bruni18"/> and the specification has been updated based on the analysis.</t>

</section>
<section anchor="cryptographic-considerations" title="Cryptographic Considerations">
<t>The SIGMA protocol requires that the encryption of message_3 provides confidentiality against active attackers and EDHOC message_4 relies on the use of
authenticated encryption. Hence the message authenticating functionality of the authenticated encryption in EDHOC is critical: authenticated encryption MUST NOT be replaced by plain encryption only, even if authentication is provided at another level or through a different mechanism.</t>

<t>To reduce message overhead EDHOC does not use explicit nonces and instead rely on the ephemeral public keys to provide randomness to each session. A good amount of randomness is important for the key generation, to provide liveness, and to protect against interleaving attacks. For this reason, the ephemeral keys MUST NOT be used in more than one EDHOC message, and both parties SHALL generate fresh random ephemeral key pairs. Note that an ephemeral key may be used to calculate several ECDH shared secrets. When static Diffie-Hellman authentication is used the same ephemeral key is used in both ephemeral-ephemeral and ephemeral-static ECDH.</t>

<t>As discussed in <xref target="SIGMA"/>, the encryption of message_2 does only need to protect against passive attacker as active attackers can always get the Responders identity by sending their own message_1. EDHOC uses the Expand function (typically HKDF-Expand) as a binary additive stream cipher. HKDF-Expand provides better confidentiality than AES-CTR but is not often used as it is slow on long messages, and most applications require both IND-CCA confidentiality as well as integrity protection. For the encryption of message_2, any speed difference is negligible, IND-CCA does not increase security, and integrity is provided by the inner MAC (and signature depending on method).</t>

<t>Requirement for how to securely generate, validate, and process the ephemeral public keys depend on the elliptic curve. For X25519 and X448, the requirements are defined in <xref target="RFC7748"/>. For secp256r1, secp384r1, and secp521r1, the requirements are defined in Section 5 of <xref target="SP-800-56A"/>. For secp256r1, secp384r1, and secp521r1, at least partial public-key validation MUST be done.</t>

</section>
<section anchor="cipher-suites-and-cryptographic-algorithms" title="Cipher Suites and Cryptographic Algorithms">

<t>When using private cipher suite or registering new cipher suites, the choice of key length used in the different algorithms needs to be harmonized, so that a sufficient security level is maintained for certificates, EDHOC, and the protection of application data. The Initiator and the Responder should enforce a minimum security level.</t>

<t>The hash algorithms SHA-1 and SHA-256/64 (SHA-256 truncated to 64-bits) SHALL NOT be supported for use in EDHOC except for certificate identification with x5t and c5t. Note that secp256k1 is only defined for use with ECDSA and not for ECDH. Note that some COSE algorithms are marked as not recommended in the COSE IANA registry.</t>

</section>
<section anchor="pqc" title="Post-Quantum Considerations">

<t>As of the publication of this specification, it is unclear when or even if a quantum computer of sufficient size and power to exploit public key cryptography will exist. Deployments that need to consider risks decades into the future should transition to Post-Quantum Cryptography (PQC) in the not-too-distant future. Many other systems should take a slower wait-and-see approach where PQC is phased in when the quantum threat is more imminent. Current PQC algorithms have limitations compared to Elliptic Curve Cryptography (ECC) and the data sizes would be problematic in many constrained IoT systems.</t>

<t>Symmetric algorithms used in EDHOC such as SHA-256 and AES-CCM-16-64-128 are practically secure against even large quantum computers. EDHOC supports all signature algorithms defined by COSE, including PQC signature algorithms such as HSS-LMS. EDHOC is currently only specified for use with key exchange algorithms of type ECDH curves, but any Key Encapsulation Method (KEM), including PQC KEMs, can be used in method 0. While the key exchange in method 0 is specified with terms of the Diffie-Hellman protocol, the key exchange adheres to a KEM interface: G_X is then the public key of the Initiator, G_Y is the encapsulation, and G_XY is the shared secret. Use of PQC KEMs to replace static DH authentication would likely require a specification updating EDHOC with new methods.</t>

</section>
<section anchor="unprot-data" title="Unprotected Data">

<t>The Initiator and the Responder must make sure that unprotected data and metadata do not reveal any sensitive information. This also applies for encrypted data sent to an unauthenticated party. In particular, it applies to EAD_1, ID_CRED_R, EAD_2, and error messages. Using the same EAD_1 in several EDHOC sessions allows passive eavesdroppers to correlate the different sessions. Another consideration is that the list of supported cipher suites may potentially be used to identify the application.</t>

<t>The Initiator and the Responder must also make sure that unauthenticated data does not trigger any harmful actions. In particular, this applies to EAD_1 and error messages.</t>

</section>
<section anchor="dos" title="Denial-of-Service">

<t>As CoAP provides Denial-of-Service protection in the form of the Echo option <xref target="RFC9175"/>, EDHOC itself does not provide countermeasures against Denial-of-Service attacks. By sending a number of new or replayed message_1 an attacker may cause the Responder to allocate state, perform cryptographic operations, and amplify messages. To mitigate such attacks, an implementation SHOULD rely on lower layer mechanisms such as the Echo option in CoAP that forces the initiator to demonstrate reachability at its apparent network address.</t>

<t>An attacker can also send faked message_2, message_3, message_4, or error in an attempt to trick the receiving party to send an error message and discontinue the session. EDHOC implementations MAY evaluate if a received message is likely to have been forged by an attacker and ignore it without sending an error message or discontinuing the session.</t>

</section>
<section anchor="implementation-considerations" title="Implementation Considerations">

<t>The availability of a secure random number generator is essential for the security of EDHOC. If no true random number generator is available, a truly random seed MUST be provided from an external source and used with a cryptographically secure pseudorandom number generator. As each pseudorandom number must only be used once, an implementation needs to get a new truly random seed after reboot, or continuously store state in nonvolatile memory, see (<xref target="RFC8613"/>, Appendix B.1.1) for issues and solution approaches for writing to nonvolatile memory. Intentionally or unintentionally weak or predictable pseudorandom number generators can be abused or exploited for malicious purposes. <xref target="RFC8937"/> describes a way for security protocol implementations to augment their (pseudo)random number generators using a long-term private key and a deterministic signature function. This improves randomness from broken or otherwise subverted random number generators. The same idea can be used with other secrets and functions such as a Diffie-Hellman function or a symmetric secret and a PRF like HMAC or KMAC. It is RECOMMENDED to not trust a single source of randomness and to not put unaugmented random numbers on the wire.</t>

<t>If ECDSA is supported, “deterministic ECDSA” as specified in <xref target="RFC6979"/> MAY be used. Pure deterministic elliptic-curve signatures such as deterministic ECDSA and EdDSA have gained popularity over randomized ECDSA as their security do not depend on a source of high-quality randomness. Recent research has however found that implementations of these signature algorithms may be vulnerable to certain side-channel and
fault injection attacks due to their determinism. See e.g., Section 1 of <xref target="I-D.mattsson-cfrg-det-sigs-with-noise"/> for a list of attack papers. As suggested in Section 6.1.2 of <xref target="I-D.ietf-cose-rfc8152bis-algs"/> this can be addressed by combining randomness and determinism.</t>

<t>All private keys, symmetric keys, and IVs MUST be secret. Implementations should provide countermeasures to side-channel attacks such as timing attacks. Intermediate computed values such as ephemeral ECDH keys and ECDH shared secrets MUST be deleted after key derivation is completed.</t>

<t>The Initiator and the Responder are responsible for verifying the integrity of certificates. The selection of trusted CAs should be done very carefully and certificate revocation should be supported. The private authentication keys MUST be kept secret, only the Responder SHALL have access to the Responder’s private authentication key and only the Initiator SHALL have access to the Initiator’s private authentication key.</t>

<t>The Initiator and the Responder are allowed to select the connection identifiers C_I and C_R, respectively, for the other party to use in the ongoing EDHOC protocol as well as in a subsequent application protocol (e.g., OSCORE <xref target="RFC8613"/>). The choice of connection identifier is not security critical in EDHOC but intended to simplify the retrieval of the right security context in combination with using short identifiers. If the wrong connection identifier of the other party is used in a protocol message it will result in the receiving party not being able to retrieve a security context (which will terminate the protocol) or retrieve the wrong security context (which also terminates the protocol as the message cannot be verified).</t>

<t>If two nodes unintentionally initiate two simultaneous EDHOC message exchanges with each other even if they only want to complete a single EDHOC message exchange, they MAY terminate the exchange with the lexicographically smallest G_X. If the two G_X values are equal, the received message_1 MUST be discarded to mitigate reflection attacks. Note that in the case of two simultaneous EDHOC exchanges where the nodes only complete one and where the nodes have different preferred cipher suites, an attacker can affect which of the two nodes’ preferred cipher suites will be used by blocking the other exchange.</t>

<t>If supported by the device, it is RECOMMENDED that at least the long-term private keys are stored in a Trusted Execution Environment (TEE) and that sensitive operations using these keys are performed inside the TEE.  To achieve even higher security it is RECOMMENDED that additional operations such as ephemeral key generation, all computations of shared secrets, and storage of the PRK keys can be done inside the TEE. The use of a TEE enforces that code within that environment cannot be tampered with, and that any data used by such code cannot be read or tampered with by code outside that environment.</t>

</section>
</section>
<section anchor="iana" title="IANA Considerations">

<section anchor="exporter-label" title="EDHOC Exporter Label Registry">

<t>IANA has created a new registry titled “EDHOC Exporter Label” under the new group name “Ephemeral Diffie-Hellman Over COSE (EDHOC)”. The registration procedure is “Expert Review”. The columns of the registry are Label, Description, and Reference. All columns are text strings where Label consists only of the printable ASCII characters 0x21 - 0x7e. Labels beginning with “PRIVATE” MAY be used for private use without registration. All other label values MUST be registered. The initial contents of the registry are:</t>

<figure><artwork><![CDATA[
Label: EDHOC_K_4
Description: Key used to protect EDHOC message_4
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Label: EDHOC_IV_4
Description: IV used to protect EDHOC message_4
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Label: OSCORE_Master_Secret
Description: Derived OSCORE Master Secret
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Label: OSCORE_Master_Salt
Description: Derived OSCORE Master Salt
Reference: [[this document]]
]]></artwork></figure>

</section>
<section anchor="suites-registry" title="EDHOC Cipher Suites Registry">

<t>IANA has created a new registry titled “EDHOC Cipher Suites” under the new group name “Ephemeral Diffie-Hellman Over COSE (EDHOC)”. The registration procedure is “Expert Review”. The columns of the registry are Value, Array, Description, and Reference, where Value is an integer and the other columns are text strings. The initial contents of the registry are:</t>

<figure><artwork><![CDATA[
Value: -24
Algorithms: N/A
Desc: Reserved for Private Use
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: -23
Algorithms: N/A
Desc: Reserved for Private Use
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: -22
Algorithms: N/A
Desc: Reserved for Private Use
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: -21
Algorithms: N/A
Desc: Reserved for Private Use
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 0
Array: 10, -16, 8, 4, -8, 10, -16
Desc: AES-CCM-16-64-128, SHA-256, 8, X25519, EdDSA,
      AES-CCM-16-64-128, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 1
Array: 30, -16, 16, 4, -8, 10, -16
Desc: AES-CCM-16-128-128, SHA-256, 16, X25519, EdDSA,
      AES-CCM-16-64-128, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 2
Array: 10, -16, 8, 1, -7, 10, -16
Desc: AES-CCM-16-64-128, SHA-256, 8, P-256, ES256,
      AES-CCM-16-64-128, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 3
Array: 30, -16, 16, 1, -7, 10, -16
Desc: AES-CCM-16-128-128, SHA-256, 16, P-256, ES256,
      AES-CCM-16-64-128, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 4
Array: 24, -16, 16, 4, -8, 24, -16
Desc: ChaCha20/Poly1305, SHA-256, 16, X25519, EdDSA,
      ChaCha20/Poly1305, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 5
Array: 24, -16, 16, 1, -7, 24, -16
Desc: ChaCha20/Poly1305, SHA-256, 16, P-256, ES256,
      ChaCha20/Poly1305, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 6
Array: 1, -16, 16, 4, -7, 1, -16
Desc: A128GCM, SHA-256, 16, X25519, ES256,
      A128GCM, SHA-256
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 24
Array: 3, -43, 16, 2, -35, 3, -43
Desc: A256GCM, SHA-384, 16, P-384, ES384,
      A256GCM, SHA-384
Reference: [[this document]]
]]></artwork></figure>

<figure><artwork><![CDATA[
Value: 25
Array: 24, -45, 16, 5, -8, 24, -45
Desc: ChaCha20/Poly1305, SHAKE256, 16, X448, EdDSA,
      ChaCha20/Poly1305, SHAKE256
Reference: [[this document]]
]]></artwork></figure>

</section>
<section anchor="method-types" title="EDHOC Method Type Registry">

<t>IANA has created a new registry entitled “EDHOC Method Type” under the new group name “Ephemeral Diffie-Hellman Over COSE (EDHOC)”. The registration procedure is “Expert Review”. The columns of the registry are Value, Description, and Reference, where Value is an integer and the other columns are text strings. The initial contents of the registry are shown in <xref target="fig-method-types"/>.</t>

</section>
<section anchor="edhoc-error-codes-registry" title="EDHOC Error Codes Registry">

<t>IANA has created a new registry entitled “EDHOC Error Codes” under the new group name “Ephemeral Diffie-Hellman Over COSE (EDHOC)”. The registration procedure is “Expert Review”. The columns of the registry are ERR_CODE, ERR_INFO Type and Description, where ERR_CODE is an integer, ERR_INFO is a CDDL defined type, and Description is a text string. The initial contents of the registry are shown in <xref target="fig-error-codes"/>.</t>

</section>
<section anchor="iana-ead" title="EDHOC External Authorization Data Registry">

<t>IANA has created a new registry entitled “EDHOC External Authorization Data” under the new group name “Ephemeral Diffie-Hellman Over COSE (EDHOC)”. The registration procedure is “Expert Review”. The columns of the registry are Label, Description, Value Type, and Reference, where Label is an integer and the other columns are text strings.</t>

</section>
<section anchor="cwt-header-param" title="COSE Header Parameters Registry">

<t>IANA has registered the following entries in the “COSE Header Parameters” registry under the group name “CBOR Object Signing and Encryption (COSE)”. The value of the ‘kcwt’ header parameter is a COSE Web Token (CWT) <xref target="RFC8392"/>, and the value of the ‘kccs’ header parameter is an CWT Claims Set (CCS), see <xref target="term"/>. The CWT/CCS must contain a COSE_Key in a ‘cnf’ claim <xref target="RFC8747"/>. The Value Registry for this item is empty and omitted from the table below.</t>

<figure><artwork><![CDATA[
+-----------+-------+----------------+---------------------------+
| Name      | Label | Value Type     | Description               |
+===========+=======+================+===========================+
| kcwt      | TBD1  | COSE_Messages  | A CBOR Web Token (CWT)    |
|           |       |                | containing a COSE_Key in  |
|           |       |                | a 'cnf' claim             |
+-----------+-------+----------------+---------------------------+
| kccs      | TBD2  | map / #6(map)  | A CWT Claims Set (CCS)    |
|           |       |                | containing a COSE_Key in  |
|           |       |                | a 'cnf' claim             |
+-----------+-------+----------------+---------------------------+
]]></artwork></figure>

</section>
<section anchor="kid-header-param" title="COSE Header Parameters Registry">

<t>IANA has extended the Value Type of ‘kid’ in the “COSE Header Parameters” registry under the group name “CBOR Object Signing and Encryption (COSE)” to also allow the Value Type int. The resulting Value Type is bstr / int. The Value Registry for this item is empty and omitted from the table below.</t>

<figure><artwork><![CDATA[
+------+-------+------------+----------------+-------------------+
| Name | Label | Value Type | Description    | Reference         |
+------+-------+------------+----------------+-------------------+
| kid  |   4   | bstr / int | Key identifier | [[This document]] |
+------+-------+------------+----------------+-------------------+
]]></artwork></figure>

</section>
<section anchor="kid-key-common-param" title="COSE Key Common Parameters Registry">

<t>IANA has extended the Value Type of ‘kid’ in the “COSE Key Common Parameters” registry under the group name “CBOR Object Signing and Encryption (COSE)” to also allow the Value Type int. The resulting Value Type is bstr / int. The Value Registry for this item is empty and omitted from the table below.</t>

<figure><artwork><![CDATA[
+------+-------+------------+----------------+-------------------+
| Name | Label | Value Type | Description    | Reference         |
+------+-------+------------+----------------+-------------------+
| kid  |   2   | bstr / int | Key identifi-  | [[This document]] |
|      |       |            | cation value - |                   | 
|      |       |            | match to kid   |                   |
|      |       |            | in message     |                   |
+------+-------+------------+----------------+-------------------+
]]></artwork></figure>

</section>
<section anchor="kid-cwt-conf-meth-param" title="CWT Confirmation Methods Registry">

<t>IANA has extended the Value Type of ‘kid’ in the “CWT Confirmation Methods” registry under the group name “CBOR Web Token (CWT) Claims” to also allow the Value Type int. The incorrect term binary string has been corrected to bstr. The resulting Value Type is bstr / int. The new updated content for the ‘kid’ method is shown in the list below.</t>

<t><list style="symbols">
  <t>Confirmation Method Name: kid</t>
  <t>Confirmation Method Description: Key Identifier</t>
  <t>JWT Confirmation Method Name: kid</t>
  <t>Confirmation Key: 3</t>
  <t>Confirmation Value Type(s): bstr / int</t>
  <t>Change Controller: IESG</t>
  <t>Specification Document(s): Section 3.4 of RFC 8747 [[This document]]</t>
</list></t>

</section>
<section anchor="the-well-known-uri-registry" title="The Well-Known URI Registry">

<t>IANA has added the well-known URI “edhoc” to the “Well-Known URIs” registry under the group name “Well-Known URIs”.</t>

<t><list style="symbols">
  <t>URI suffix: edhoc</t>
  <t>Change controller: IETF</t>
  <t>Specification document(s): [[this document]]</t>
  <t>Related information: None</t>
</list></t>

</section>
<section anchor="media-types-registry" title="Media Types Registry">

<t>IANA has added the media type “application/edhoc” to the “Media Types” registry.</t>

<t><list style="symbols">
  <t>Type name: application</t>
  <t>Subtype name: edhoc</t>
  <t>Required parameters: N/A</t>
  <t>Optional parameters: N/A</t>
  <t>Encoding considerations: binary</t>
  <t>Security considerations: See Section 7 of this document.</t>
  <t>Interoperability considerations: N/A</t>
  <t>Published specification: [[this document]] (this document)</t>
  <t>Applications that use this media type: To be identified</t>
  <t>Fragment identifier considerations: N/A</t>
  <t>Additional information:  <list style="symbols">
      <t>Magic number(s): N/A</t>
      <t>File extension(s): N/A</t>
      <t>Macintosh file type code(s): N/A</t>
    </list></t>
  <t>Person &amp; email address to contact for further information: See “Authors’ Addresses” section.</t>
  <t>Intended usage: COMMON</t>
  <t>Restrictions on usage: N/A</t>
  <t>Author: See “Authors’ Addresses” section.</t>
  <t>Change Controller: IESG</t>
</list></t>

</section>
<section anchor="coap-content-formats-registry" title="CoAP Content-Formats Registry">

<t>IANA has added the media type “application/edhoc” to the “CoAP Content-Formats” registry under the group name “Constrained RESTful Environments (CoRE) Parameters”.</t>

<t><list style="symbols">
  <t>Media Type: application/edhoc</t>
  <t>Encoding:</t>
  <t>ID: TBD42</t>
  <t>Reference: [[this document]]</t>
</list></t>

</section>
<section anchor="resource-type-rt-link-target-attribute-values-registry" title="Resource Type (rt=) Link Target Attribute Values Registry">

<t>IANA has added the resource type “core.edhoc” to the “Resource Type (rt=) Link Target Attribute Values” registry under the group name “Constrained RESTful Environments (CoRE) Parameters”.</t>

<t><list style="symbols">
  <t>Value: “core.edhoc”</t>
  <t>Description: EDHOC resource.</t>
  <t>Reference: [[this document]]</t>
</list></t>

<t>Client applications can use this resource type to discover a server’s resource for EDHOC, where to send a request for executing the EDHOC protocol.</t>

</section>
<section anchor="expert-review-instructions" title="Expert Review Instructions">

<t>The IANA Registries established in this document is defined as “Expert Review”. This section gives some general guidelines for what the experts should be looking for, but they are being designated as experts for a reason so they should be given substantial latitude.</t>

<t>Expert reviewers should take into consideration the following points:</t>

<t><list style="symbols">
  <t>Clarity and correctness of registrations. Experts are expected to check the clarity of purpose and use of the requested entries. Expert needs to make sure the values of algorithms are taken from the right registry, when that is required. Expert should consider requesting an opinion on the correctness of registered parameters from relevant IETF working groups. Encodings that do not meet these objective of clarity and completeness should not be registered.</t>
  <t>Experts should take into account the expected usage of fields when approving point assignment. The length of the encoded value should be weighed against how many code points of that length are left, the size of device it will be used on, and the number of code points left that encode to that size.</t>
  <t>Specifications are recommended. When specifications are not provided, the description provided needs to have sufficient information to verify the points above.</t>
</list></t>

</section>
</section>


  </middle>

  <back>

    <references title='Normative References'>

&RFC2119;
&RFC5116;
&RFC5280;
&RFC5869;
&RFC6090;
&RFC6979;
&RFC7252;
&RFC7624;
&RFC7748;
&RFC7959;
&RFC8174;
&RFC8376;
&RFC8392;
&RFC8610;
&RFC8613;
&RFC8724;
&RFC8742;
&RFC8747;
&RFC8949;
&RFC9175;
&I-D.ietf-cose-rfc8152bis-struct;
&I-D.ietf-cose-rfc8152bis-algs;
&I-D.ietf-cose-x509;


    </references>

    <references title='Informative References'>

&RFC7228;
&RFC7258;
&RFC7296;
&RFC8446;
&RFC8937;
&I-D.ietf-core-resource-directory;
&I-D.ietf-core-oscore-edhoc;
&I-D.ietf-cose-cbor-encoded-cert;
&I-D.ietf-lake-reqs;
&I-D.ietf-lwig-security-protocol-comparison;
&I-D.ietf-tls-dtls13;
&I-D.mattsson-cfrg-det-sigs-with-noise;
&I-D.selander-ace-ake-authz;
&I-D.selander-lake-traces;
<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></organization>
    </author>
    <author initials="L." surname="Chen">
      <organization></organization>
    </author>
    <author initials="A." surname="Roginsky">
      <organization></organization>
    </author>
    <author initials="A." surname="Vassilev">
      <organization></organization>
    </author>
    <author initials="R." surname="Davis">
      <organization></organization>
    </author>
    <date year="2018" month="April"/>
  </front>
  <seriesInfo name="NIST" value="Special Publication 800-56A Revision 3"/>
</reference>
<reference anchor="SECG" target="https://www.secg.org/sec1-v2.pdf">
  <front>
    <title>Standards for Efficient Cryptography 1 (SEC 1)</title>
    <author >
      <organization></organization>
    </author>
    <date year="2009" month="May"/>
  </front>
</reference>
<reference anchor="SIGMA" target="http://webee.technion.ac.il/~hugo/sigma-pdf.pdf">
  <front>
    <title>SIGMA - The 'SIGn-and-MAc' Approach to Authenticated Diffie-Hellman and Its Use in the IKE-Protocols (Long version)</title>
    <author initials="H." surname="Krawczyk">
      <organization></organization>
    </author>
    <date year="2003" month="June"/>
  </front>
</reference>
<reference anchor="CNSA" target="https://apps.nsa.gov/iaarchive/programs/iad-initiatives/cnsa-suite.cfm">
  <front>
    <title>Commercial National Security Algorithm Suite</title>
    <author initials="." surname="(Placeholder)">
      <organization></organization>
    </author>
    <date year="2015" month="August"/>
  </front>
</reference>
<reference anchor="Norrman20" target="https://arxiv.org/abs/2007.11427">
  <front>
    <title>Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices</title>
    <author initials="K." surname="Norrman">
      <organization></organization>
    </author>
    <author initials="V." surname="Sundararajan">
      <organization></organization>
    </author>
    <author initials="A." surname="Bruni">
      <organization></organization>
    </author>
    <date year="2020" month="September"/>
  </front>
</reference>
<reference anchor="Bruni18" target="https://www.springerprofessional.de/en/formal-verification-of-ephemeral-diffie-hellman-over-cose-edhoc/16284348">
  <front>
    <title>Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)</title>
    <author initials="A." surname="Bruni">
      <organization></organization>
    </author>
    <author initials="T." surname="Sahl Jørgensen">
      <organization></organization>
    </author>
    <author initials="T." surname="Grønbech Petersen">
      <organization></organization>
    </author>
    <author initials="C." surname="Schürmann">
      <organization></organization>
    </author>
    <date year="2018" month="November"/>
  </front>
</reference>
<reference anchor="CborMe" target="http://cbor.me/">
  <front>
    <title>CBOR Playground</title>
    <author initials="C." surname="Bormann">
      <organization></organization>
    </author>
    <date year="2018" month="May"/>
  </front>
</reference>


    </references>


<section anchor="transfer" title="Use with OSCORE and Transfer over CoAP">

<t>This appendix describes how to select EDHOC connection identifiers and derive an OSCORE security context when OSCORE is used with EDHOC, and how to transfer EDHOC messages over CoAP.</t>

<section anchor="edhoc-to-oscore" title="Selecting EDHOC Connection Identifier">

<t>This section specifies a rule for converting from EDHOC connection identifier to OSCORE Sender/Recipient ID. (An identifier is Sender ID or Recipient ID depending on from which endpoint is the point of view, see Section 3.1 of <xref target="RFC8613"/>.)</t>

<t><list style="symbols">
  <t>If the EDHOC connection identifier is numeric, i.e., encoded as a CBOR integer on the wire, it is converted to a (naturally byte-string shaped) OSCORE Sender/Recipient ID equal to its CBOR encoded form.</t>
</list></t>

<t>For example, a numeric C_R equal to 10 (0x0A in CBOR encoding) is converted to a (typically client) Sender ID equal to 0x0A, while a numeric C_I equal to -12 (0x2B in CBOR encoding) is converted to a (typically client) Sender ID equal to 0x2B.</t>

<t><list style="symbols">
  <t>If the EDHOC connection identifier is byte-valued, hence encoded as a CBOR byte string on the wire, it is converted to an OSCORE Sender/Recipient ID equal to the byte string.</t>
</list></t>

<t>For example, a byte-string valued C_R equal to 0xFF (0x41FF in CBOR encoding) is converted to a (typically client) Sender ID equal to 0xFF.</t>

<t>Two EDHOC connection identifiers are called “equivalent” if and only if, by applying the conversion above, they both result in the same OSCORE Sender/Recipient ID. For example, the two EDHOC connection identifiers with CBOR encoding 0x0A (numeric) and 0x410A (byte-valued) are equivalent since they both result in the same OSCORE Sender/Recipient ID 0x0A.</t>

<t>When EDHOC is used to establish an OSCORE security context, the connection identifiers C_I and C_R MUST NOT be equivalent. Furthermore, in case of multiple OSCORE security contexts with potentially different endpoints, to facilitate retrieval of the correct OSCORE security context, an endpoint SHOULD select an EDHOC connection identifier that when converted to OSCORE Recipient ID does not coincide with its other Recipient IDs.</t>

</section>
<section anchor="oscore-ctx-derivation" title="Deriving the OSCORE Security Context">

<t>This section specifies how to use EDHOC output to derive the OSCORE security context.</t>

<t>After successful processing of EDHOC message_3, Client and Server derive Security Context parameters for OSCORE as follows (see Section 3.2 of <xref target="RFC8613"/>):</t>

<t><list style="symbols">
  <t>The Master Secret and Master Salt are derived by using the EDHOC-Exporter interface, see <xref target="exporter"/>.</t>
</list></t>

<t>The EDHOC Exporter Labels for deriving the OSCORE Master Secret and the OSCORE Master Salt, are “OSCORE_Master_Secret” and “OSCORE_Master_Salt”, respectively.</t>

<t>The context parameter is h’’ (0x40), the empty CBOR byte string.</t>

<t>By default, key_length is the key length (in bytes) of the application AEAD Algorithm of the selected cipher suite for the EDHOC session. Also by default, salt_length has value 8. The Initiator and Responder MAY agree out-of-band on a longer key_length than the default and on a different salt_length.</t>

<figure><artwork><![CDATA[
Master Secret = EDHOC-Exporter("OSCORE_Master_Secret", h'', key_length)
Master Salt   = EDHOC-Exporter("OSCORE_Master_Salt", h'', salt_length)
]]></artwork></figure>

<t><list style="symbols">
  <t>The AEAD Algorithm is the application AEAD algorithm of the selected cipher suite for the EDHOC session.</t>
  <t>The HKDF Algorithm is the one based on the application hash algorithm of the selected cipher suite for the EDHOC session. For example, if SHA-256 is the application hash algorithm of the selected cipher suite, HKDF SHA-256 is used as HKDF Algorithm in the OSCORE Security Context.</t>
  <t>In case the Client is Initiator and the Server is Responder, the Client’s OSCORE Sender ID and the Server’s OSCORE Sender ID are determined from the EDHOC connection identifiers C_R and C_I for the EDHOC session, respectively, by applying the conversion in <xref target="edhoc-to-oscore"/>. The reverse applies in case the Client is the Responder and the Server is the Initiator.</t>
</list></t>

<t>Client and Server use the parameters above to establish an OSCORE Security Context, as per Section 3.2.1 of <xref target="RFC8613"/>.</t>

<t>From then on, Client and Server retrieve the OSCORE protocol state using the Recipient ID, and optionally other transport information such as the 5-tuple.</t>

</section>
<section anchor="coap" title="Transferring EDHOC over CoAP">

<t>This section specifies one instance for how EDHOC can be transferred as an exchange of CoAP <xref target="RFC7252"/> messages. CoAP provides a reliable transport that can preserve packet ordering and handle message duplication. CoAP can also perform fragmentation and protect against denial-of-service attacks. The underlying CoAP transport should be used in reliable mode, in particular when fragmentation is used, to avoid, e.g.,  situations with hanging endpoints waiting for each other.</t>

<t>By default, the CoAP client is the Initiator and the CoAP server is the Responder, but the roles SHOULD be chosen to protect the most sensitive identity, see <xref target="security"/>. According to this specification, EDHOC is transferred in POST requests and 2.04 (Changed) responses to the Uri-Path: “/.well-known/edhoc”. An application may define its own path that can be discovered, e.g., using resource directory <xref target="I-D.ietf-core-resource-directory"/>.</t>

<t>By default, the message flow is as follows: EDHOC message_1 is sent in the payload of a POST request from the client to the server’s resource for EDHOC. EDHOC message_2 or the EDHOC error message is sent from the server to the client in the payload of a 2.04 (Changed) response. EDHOC message_3 or the EDHOC error message is sent from the client to the server’s resource in the payload of a POST request. If needed, an EDHOC error message is sent from the server to the client in the payload of a 2.04 (Changed) response. Alternatively, if EDHOC message_4 is used, it is sent from the server to the client in the payload of a 2.04 (Changed) response analogously to message_2.</t>

<t>In order to correlate a message received from a client to a message previously sent by the server, messages sent by the client are prepended with the CBOR serialization of the connection identifier which the server has chosen. This applies independently of if the CoAP server is Responder or Initiator. For the default case when the server is Responder, the prepended connection identifier is C_R, and C_I if the server is Initiator. If message_1 is sent to the server, the CBOR simple value “true” (0xf5) is sent in its place (given that the server has not selected C_R yet).</t>

<t>These identifiers are encoded in CBOR and thus self-delimiting.
They are sent in front of the actual EDHOC message,
and only the part of the body following the identifier is used for EDHOC processing.</t>

<t>Consequently, the application/edhoc media type does not apply to these messages;
their media type is unnamed.</t>

<t>An example of a successful EDHOC exchange using CoAP is shown in <xref target="fig-coap1"/>. In this case the CoAP Token enables correlation on the Initiator side, and the prepended C_R enables correlation on the Responder (server) side.</t>

<figure title="Transferring EDHOC in CoAP when the Initiator is CoAP Client" anchor="fig-coap1"><artwork align="center"><![CDATA[
Client    Server
  |          |
  +--------->| Header: POST (Code=0.02)
  |   POST   | Uri-Path: "/.well-known/edhoc"
  |          | Payload: true, EDHOC message_1
  |          |
  |<---------+ Header: 2.04 Changed
  |   2.04   | Content-Format: application/edhoc
  |          | Payload: EDHOC message_2
  |          |
  +--------->| Header: POST (Code=0.02)
  |   POST   | Uri-Path: "/.well-known/edhoc"
  |          | Payload: C_R, EDHOC message_3
  |          |
  |<---------+ Header: 2.04 Changed
  |   2.04   |
  |          |
]]></artwork></figure>

<t>The exchange in <xref target="fig-coap1"/> protects the client identity against active attackers and the server identity against passive attackers.</t>

<t>An alternative exchange that protects the server identity against active attackers and the client identity against passive attackers is shown in <xref target="fig-coap2"/>. In this case the CoAP Token enables the Responder to correlate message_2 and message_3, and the prepended C_I enables correlation on the Initiator (server) side. If EDHOC message_4 is used, C_I is prepended, and it is transported with CoAP in the payload of a POST request with a 2.04 (Changed) response.</t>

<figure title="Transferring EDHOC in CoAP when the Initiator is CoAP Server" anchor="fig-coap2"><artwork align="center"><![CDATA[
Client    Server
  |          |
  +--------->| Header: POST (Code=0.02)
  |   POST   | Uri-Path: "/.well-known/edhoc"
  |          |
  |<---------+ Header: 2.04 Changed
  |   2.04   | Content-Format: application/edhoc
  |          | Payload: EDHOC message_1
  |          |
  +--------->| Header: POST (Code=0.02)
  |   POST   | Uri-Path: "/.well-known/edhoc"
  |          | Payload: C_I, EDHOC message_2
  |          |
  |<---------+ Header: 2.04 Changed
  |   2.04   | Content-Format: application/edhoc
  |          | Payload: EDHOC message_3
  |          |
]]></artwork></figure>

<t>To protect against denial-of-service attacks, the CoAP server MAY respond to the first POST request with a 4.01 (Unauthorized) containing an Echo option <xref target="RFC9175"/>. This forces the initiator to demonstrate its reachability at its apparent network address. If message fragmentation is needed, the EDHOC messages may be fragmented using the CoAP Block-Wise Transfer mechanism <xref target="RFC7959"/>.</t>

<t>EDHOC does not restrict how error messages are transported with CoAP, as long as the appropriate error message can to be transported in response to a message that failed (see <xref target="error"/>). EDHOC error messages transported with CoAP are carried in the payload.</t>

<section anchor="transferring-edhoc-and-oscore-over-coap" title="Transferring EDHOC and OSCORE over CoAP">

<t>When using EDHOC over CoAP for establishing an OSCORE Security Context, EDHOC error messages sent as CoAP responses MUST be sent in the payload of error responses, i.e., they MUST specify a CoAP error response code. In particular, it is RECOMMENDED that such error responses have response code either 4.00 (Bad Request) in case of client error (e.g., due to a malformed EDHOC message), or 5.00 (Internal Server Error) in case of server error (e.g., due to failure in deriving EDHOC key material). The Content-Format of the error response MUST be set to application/edhoc.</t>

<t>A method for combining EDHOC and OSCORE protocols in two round-trips is specified in <xref target="I-D.ietf-core-oscore-edhoc"/>.</t>

</section>
</section>
</section>
<section anchor="comrep" title="Compact Representation">

<t>As described in Section 4.2 of <xref target="RFC6090"/> the x-coordinate of an elliptic curve public key is a suitable representative for the entire point whenever scalar multiplication is used as a one-way function. One example is ECDH with compact output, where only the x-coordinate of the computed value is used as the shared secret.</t>

<t>This section defines a format for compact representation based on the Elliptic-Curve-Point-to-Octet-String Conversion defined in Section 2.3.3 of <xref target="SECG"/>. Using the notation from <xref target="SECG"/>, the output is an octet string of length ceil( (log2 q) / 8 ). See <xref target="SECG"/> for a definition of q, M, X, xp, and ~yp. The steps in Section 2.3.3 of <xref target="SECG"/> are replaced by:</t>

<t><list style="numbers">
  <t>Convert the field element xp to an octet string X of length ceil( (log2 q) / 8 ) octets using the conversion routine specified in Section 2.3.5 of <xref target="SECG"/>.</t>
  <t>Output M = X</t>
</list></t>

<t>The encoding of the point at infinity is not supported. Compact representation does not change any requirements on validation. If a y-coordinate is required for validation or compatibily with APIs the value ~yp SHALL be set to zero. For such use, the compact representation can be transformed into the SECG point compressed format by prepending it with the single byte 0x02 (i.e., M = 0x02 || X).</t>

<t>Using compact representation have some security benefits. An implementation does not need to check that the point is not the point at infinity (the identity element). Similarly, as not even the sign of the y-coordinate is encoded, compact representation trivially avoids so called “benign malleability” attacks where an attacker changes the sign, see <xref target="SECG"/>.</t>

</section>
<section anchor="CBORandCOSE" title="Use of CBOR, CDDL and COSE in EDHOC">

<t>This Appendix is intended to simplify for implementors not familiar with CBOR <xref target="RFC8949"/>, CDDL <xref target="RFC8610"/>, COSE <xref target="I-D.ietf-cose-rfc8152bis-struct"/>, and HKDF <xref target="RFC5869"/>.</t>

<section anchor="CBOR" title="CBOR and CDDL">

<t>The Concise Binary Object Representation (CBOR) <xref target="RFC8949"/> is a data format designed for small code size and small message size. CBOR builds on the JSON data model but extends it by e.g., encoding binary data directly without base64 conversion. In addition to the binary CBOR encoding, CBOR also has a diagnostic notation that is readable and editable by humans. The Concise Data Definition Language (CDDL) <xref target="RFC8610"/> provides a way to express structures for protocol messages and APIs that use CBOR. <xref target="RFC8610"/> also extends the diagnostic notation.</t>

<t>CBOR data items are encoded to or decoded from byte strings using a type-length-value encoding scheme, where the three highest order bits of the initial byte contain information about the major type. CBOR supports several different types of data items, in addition to integers (int, uint), simple values, byte strings (bstr), and text strings (tstr), CBOR also supports arrays []  of data items, maps {} of pairs of data items, and sequences <xref target="RFC8742"/> of data items. Some examples are given below.</t>

<t>The EDHOC specification sometimes use CDDL names in CBOR dignostic notation as in e.g., « ID_CRED_R, ? EAD_2 ». This means that EAD_2 is optional and that ID_CRED_R and EAD_2 should be substituted with their values before evaluation. I.e., if ID_CRED_R = { 4 : h’’ } and EAD_2 is omitted then « ID_CRED_R, ? EAD_2 » = « { 4 : h’’ } », which encodes to 0x43a10440.</t>

<t>For a complete specification and more examples, see <xref target="RFC8949"/> and <xref target="RFC8610"/>. We recommend implementors to get used to CBOR by using the CBOR playground <xref target="CborMe"/>.</t>

<figure><artwork align="center"><![CDATA[
Diagnostic          Encoded              Type
------------------------------------------------------------------
1                   0x01                 unsigned integer
24                  0x1818               unsigned integer
-24                 0x37                 negative integer
-25                 0x3818               negative integer
true                0xf5                 simple value
h''                 0x40                 byte string
h'12cd'             0x4212cd             byte string
'12cd'              0x4431326364         byte string
"12cd"              0x6431326364         text string
{ 4 : h'cd' }       0xa10441cd           map
<< 1, 2, true >>    0x430102f5           byte string
[ 1, 2, true ]      0x830102f5           array
( 1, 2, true )      0x0102f5             sequence
1, 2, true          0x0102f5             sequence
------------------------------------------------------------------
]]></artwork></figure>

</section>
<section anchor="cddl-definitions" title="CDDL Definitions">

<t>This sections compiles the CDDL definitions for ease of reference.</t>

<figure><artwork type="CDDL"><![CDATA[
suites = [ 2* int ] / int

ead = 1* (
  ead_label : int,
  ead_value : any,
)

message_1 = (
  METHOD : int,
  SUITES_I : suites,
  G_X : bstr,
  C_I : bstr / int,
  ? EAD_1 : ead,
)

message_2 = (
  G_Y_CIPHERTEXT_2 : bstr,
  C_R : bstr / int,
)

message_3 = (
  CIPHERTEXT_3 : bstr,
)

message_4 = (
  CIPHERTEXT_4 : bstr,
)

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

info = (
  transcript_hash : bstr,
  label : tstr,
  context : bstr,
  length : uint,
)
]]></artwork></figure>

</section>
<section anchor="COSE" title="COSE">

<t>CBOR Object Signing and Encryption (COSE) <xref target="I-D.ietf-cose-rfc8152bis-struct"/> describes how to create and process signatures, message authentication codes, and encryption using CBOR. COSE builds on JOSE, but is adapted to allow more efficient processing in constrained devices. EDHOC makes use of COSE_Key, COSE_Encrypt0, and COSE_Sign1 objects in the message processing:</t>

<t><list style="symbols">
  <t>ECDH ephemeral public keys of type EC2 or OKP in message_1 and message_2 consist of the COSE_Key parameter named ‘x’, see Section 7.1 and 7.2 of <xref target="I-D.ietf-cose-rfc8152bis-algs"/></t>
  <t>The ciphertexts in message_3 and message_4 consist of a subset of the single recipient encrypted data object COSE_Encrypt0, which is described in Sections 5.2-5.3 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>. The ciphertext is computed over the plaintext and associated data, using an encryption key and an initialization vector. The associated data is an Enc_structure consisting of protected headers and externally supplied data (external_aad). COSE constructs the input to the AEAD <xref target="RFC5116"/> for message_i (i = 3 or 4, see <xref target="m3"/> and <xref target="m4"/>, respectively) as follows:  <list style="symbols">
      <t>Secret key K = K_i</t>
      <t>Nonce N = IV_i</t>
      <t>Plaintext P for message_i</t>
      <t>Associated Data A = [ “Encrypt0”, h’’, TH_i ]</t>
    </list></t>
  <t>Signatures in message_2 of method 0 and 2, and in message_3 of method 0 and 1, consist of a subset of the single signer data object COSE_Sign1, which is described in Sections 4.2-4.4 of <xref target="I-D.ietf-cose-rfc8152bis-struct"/>. The signature is computed over a Sig_structure containing payload, protected headers and externally supplied data (external_aad) using a private signature key and verified using the corresponding public signature key. For COSE_Sign1, the message to be signed is:  <vspace blankLines='1'/>
    <figure><artwork><![CDATA[
 [ "Signature1", protected, external_aad, payload ]
]]></artwork></figure>
  <vspace blankLines='1'/>
where protected, external_aad and payload are specified in <xref target="m2"/> and <xref target="m3"/>.</t>
</list></t>

<t>Different header parameters to identify X.509 or C509 certificates by reference are defined in <xref target="I-D.ietf-cose-x509"/> and <xref target="I-D.ietf-cose-cbor-encoded-cert"/>:</t>

<t><list style="symbols">
  <t>by a hash value with the ‘x5t’ or ‘c5t’ parameters, respectively:  <list style="symbols">
      <t>ID_CRED_x = { 34 : COSE_CertHash }, for x = I or R,</t>
      <t>ID_CRED_x = { TBD3 : COSE_CertHash }, for x = I or R;</t>
    </list></t>
  <t>or by a URI with the ‘x5u’ or ‘c5u’ parameters, respectively:  <list style="symbols">
      <t>ID_CRED_x = { 35 : uri }, for x = I or R,</t>
      <t>ID_CRED_x = { TBD4 : uri }, for x = I or R.</t>
    </list></t>
</list></t>

<t>When ID_CRED_x does not contain the actual credential, it may be very short, e.g., if the endpoints have agreed to use a key identifier parameter ‘kid’:</t>

<t><list style="symbols">
  <t>ID_CRED_x = { 4 : key_id_x }, where key_id_x : kid, for x = I or R.</t>
</list></t>

<t>Note that a COSE header map can contain several header parameters, for example { x5u, x5t } or { kid, kid_context }.</t>

<t>ID_CRED_x MAY also identify the authentication credential by value. For example, a certificate chain can be transported in ID_CRED_x with COSE header parameter c5c or x5chain, defined in <xref target="I-D.ietf-cose-cbor-encoded-cert"/> and <xref target="I-D.ietf-cose-x509"/> and credentials of type CWT and CCS can be transported with the COSE header parameters registered in <xref target="cwt-header-param"/>.</t>

</section>
</section>
<section anchor="appl-temp" title="Applicability Template">

<t>This appendix contains a rudimentary example of an applicability statement, see <xref target="applicability"/>.</t>

<t>For use of EDHOC in the XX protocol, the following assumptions are made:</t>

<t><list style="numbers">
  <t>Transfer in CoAP as specified in <xref target="coap"/> with requests expected by the CoAP server (= Responder) at /app1-edh, no Content-Format needed.</t>
  <t>METHOD = 1 (I uses signature key, R uses static DH key.)</t>
  <t>CRED_I is an IEEE 802.1AR IDevID encoded as a C509 certificate of type 0 <xref target="I-D.ietf-cose-cbor-encoded-cert"/>.
  <list style="symbols">
      <t>R acquires CRED_I out-of-band, indicated in EAD_1.</t>
      <t>ID_CRED_I = {4: h’’} is a ‘kid’ with value empty CBOR byte string.</t>
    </list></t>
  <t>CRED_R is a CCS of type OKP as specified in <xref target="auth-cred"/>.
  <list style="symbols">
      <t>The CBOR map has parameters 1 (kty), -1 (crv), and -2 (x-coordinate).</t>
      <t>ID_CRED_R is {TBD2 : CCS}.   Editor’s note: TBD2 is the COSE header parameter value of ‘kccs’, see <xref target="cwt-header-param"/></t>
    </list></t>
  <t>External authorization data is defined and processed as specified in <xref target="I-D.selander-ace-ake-authz"/>.</t>
  <t>EUI-64 used as identity of endpoint.</t>
  <t>No use of message_4: the application sends protected messages from R to I.</t>
</list></t>

</section>
<section anchor="duplication" title="EDHOC Message Deduplication">

<t>EDHOC by default assumes that message duplication is handled by the transport, in this section exemplified with CoAP.</t>

<t>Deduplication of CoAP messages is described in Section 4.5 of <xref target="RFC7252"/>. This handles the case when the same Confirmable (CON) message is received multiple times due to missing acknowledgement on CoAP messaging layer. The recommended processing in <xref target="RFC7252"/> is that the duplicate message is acknowledged (ACK), but the received message is only processed once by the CoAP stack.</t>

<t>Message deduplication is resource demanding and therefore not supported in all CoAP implementations. Since EDHOC is targeting constrained environments, it is desirable that EDHOC can optionally support transport layers which does not handle message duplication. Special care is needed to avoid issues with duplicate messages, see <xref target="proc-outline"/>.</t>

<t>The guiding principle here is similar to the deduplication processing on CoAP messaging layer: a received duplicate EDHOC message SHALL NOT result in a response consisting of another instance of the next EDHOC message. The result MAY be that a duplicate EDHOC response is sent, provided it is still relevant with respect the current protocol state. In any case, the received message MUST NOT be processed more than once in the same EDHOC session. This is called “EDHOC message deduplication”.</t>

<t>An EDHOC implementation MAY store the previously sent EDHOC message to be able to resend it. An EDHOC implementation MAY keep the protocol state to be able to recreate the previously sent EDHOC message and resend it. The previous message or protocol state MUST NOT be kept longer than what is required for retransmission, for example, in the case of CoAP transport, no longer than the EXCHANGE_LIFETIME (see Section 4.8.2 of <xref target="RFC7252"/>).</t>

<t>Note that the requirements in <xref target="proc-outline"/> still apply because duplicate messages are not processed by the EDHOC state machine:</t>

<t><list style="symbols">
  <t>EDHOC messages SHALL be processed according to the current protocol state.</t>
  <t>Different instances of the same message MUST NOT be processed in one session.</t>
</list></t>

</section>
<section anchor="transports-not-natively-providing-correlation" title="Transports Not Natively Providing Correlation">

<t>Protocols that do not natively provide full correlation between a series of messages can send the C_I and C_R identifiers along as needed.</t>

<t>The transport over CoAP (<xref target="coap"/>) can serve as a blueprint for other server-client protocols:
The client prepends the C_x which the server selected (or, for message 1, the CBOR simple value ‘true’ which is not a valid C_x) to any request message it sends.
The server does not send any such indicator, as responses are matched to request by the client-server protocol design.</t>

<t>Protocols that do not provide any correlation at all can prescribe prepending of the peer’s chosen C_x to all messages.</t>

<!--
Protocols that can provide all the necessary correlation but do not have any short-lived component to it
may need ... no, they don't need anything special: after an error, the next thing is a message 1 again.
-->

</section>
<section anchor="change-log" title="Change Log">

<t>RFC Editor: Please remove this appendix.</t>

<t><list style="symbols">
  <t>From -11 to -12:
  <list style="symbols">
      <t>Clarified applicability to KEMs</t>
      <t>Clarified use of COSE header parameters</t>
      <t>Updates on MTI</t>
      <t>Updated security considerations</t>
      <t>New section on PQC</t>
      <t>Removed duplicate definition of cipher suites</t>
      <t>Explanations of use of COSE moved to Appendix C.3</t>
      <t>Updated internal references</t>
    </list></t>
  <t>From -10 to -11:
  <list style="symbols">
      <t>Restructured section on authentication parameters</t>
      <t>Changed UCCS to CCS</t>
      <t>Changed names and description of COSE header parameters for CWT/CCS</t>
      <t>Changed several of the KDF and Exporter labels</t>
      <t>Removed edhoc_aead_id from info (already in transcript_hash)</t>
      <t>Added MTI section</t>
      <t>EAD: changed CDDL names and added value type to registry</t>
      <t>Updated Figures 1, 2, and 3</t>
      <t>Some correction and clarifications</t>
      <t>Added core.edhoc to CoRE Resource Type registry</t>
    </list></t>
  <t>From -09 to -10:
  <list style="symbols">
      <t>SUITES_I simplified to only contain the selected and more preferred suites</t>
      <t>Info is a CBOR sequence and context is a bstr</t>
      <t>Added kid to UCCS example</t>
      <t>Separate header parameters for CWT and UCCS</t>
      <t>CWT Confirmation Method kid extended to bstr / int</t>
    </list></t>
  <t>From -08 to -09:
  <list style="symbols">
      <t>G_Y and CIPHERTEXT_2 are now included in one CBOR bstr</t>
      <t>MAC_2 and MAC_3 are now generated with EDHOC-KDF</t>
      <t>Info field “context” is now general and explicit in EDHOC-KDF</t>
      <t>Restructured Section 4, Key Derivation</t>
      <t>Added EDHOC MAC length to cipher suite for use with static DH</t>
      <t>More details on the use of CWT and UCCS</t>
      <t>Restructured and clarified Section 3.5, Authentication Parameters</t>
      <t>Replaced ‘kid2’ with extension of ‘kid’</t>
      <t>EAD encoding now supports multiple ead types in one message</t>
      <t>Clarified EAD type</t>
      <t>Updated message sizes</t>
      <t>Replaced “perfect forward secrecy” with “forward secrecy”</t>
      <t>Updated security considerations</t>
      <t>Replaced prepended ‘null’ with ‘true’ in the CoAP transport of message_1</t>
      <t>Updated CDDL definitions</t>
      <t>Expanded on the use of COSE</t>
    </list></t>
  <t>From -07 to -08:
  <list style="symbols">
      <t>Prepended C_x moved from the EDHOC protocol itself to the transport mapping</t>
      <t>METHOD_CORR renamed to METHOD, corr removed</t>
      <t>Removed bstr_identifier and use bstr / int instead; C_x can now be int without any implied bstr semantics</t>
      <t>Defined COSE header parameter ‘kid2’ with value type bstr / int for use with ID_CRED_x</t>
      <t>Updated message sizes</t>
      <t>New cipher suites with AES-GCM and ChaCha20 / Poly1305</t>
      <t>Changed from one- to two-byte identifier of CNSA compliant suite</t>
      <t>Separate sections on transport and connection id with further sub-structure</t>
      <t>Moved back key derivation for OSCORE from draft-ietf-core-oscore-edhoc</t>
      <t>OSCORE and CoAP specific processing moved to new appendix</t>
      <t>Message 4 section moved to message processing section</t>
    </list></t>
  <t>From -06 to -07:
  <list style="symbols">
      <t>Changed transcript hash definition for TH_2 and TH_3</t>
      <t>Removed “EDHOC signature algorithm curve” from cipher suite</t>
      <t>New IANA registry “EDHOC Exporter Label”</t>
      <t>New application defined parameter “context” in EDHOC-Exporter</t>
      <t>Changed normative language for failure from MUST to SHOULD send error</t>
      <t>Made error codes non-negative and 0 for success</t>
      <t>Added detail on success error code</t>
      <t>Aligned terminology “protocol instance” -&gt;  “session”</t>
      <t>New appendix on compact EC point representation</t>
      <t>Added detail on use of ephemeral public keys</t>
      <t>Moved key derivation for OSCORE to draft-ietf-core-oscore-edhoc</t>
      <t>Additional security considerations</t>
      <t>Renamed “Auxililary Data” as “External Authorization Data”</t>
      <t>Added encrypted EAD_4 to message_4</t>
    </list></t>
  <t>From -05 to -06:
  <list style="symbols">
      <t>New section 5.2 “Message Processing Outline”</t>
      <t>Optional inital byte C_1 = null in message_1</t>
      <t>New format of error messages, table of error codes, IANA registry</t>
      <t>Change of recommendation transport of error in CoAP</t>
      <t>Merge of content in 3.7 and appendix C into new section 3.7 “Applicability Statement”</t>
      <t>Requiring use of deterministic CBOR</t>
      <t>New section on message deduplication</t>
      <t>New appendix containin all CDDL definitions</t>
      <t>New appendix with change log</t>
      <t>Removed section “Other Documents Referencing EDHOC”</t>
      <t>Clarifications based on review comments</t>
    </list></t>
  <t>From -04 to -05:
  <list style="symbols">
      <t>EDHOC-Rekey-FS -&gt; EDHOC-KeyUpdate</t>
      <t>Clarification of cipher suite negotiation</t>
      <t>Updated security considerations</t>
      <t>Updated test vectors</t>
      <t>Updated applicability statement template</t>
    </list></t>
  <t>From -03 to -04:
  <list style="symbols">
      <t>Restructure of section 1</t>
      <t>Added references to C509 Certificates</t>
      <t>Change in CIPHERTEXT_2 -&gt; plaintext XOR KEYSTREAM_2 (test vector not updated)</t>
      <t>“K_2e”, “IV_2e” -&gt; KEYSTREAM_2</t>
      <t>Specified optional message 4</t>
      <t>EDHOC-Exporter-FS -&gt; EDHOC-Rekey-FS</t>
      <t>Less constrained devices SHOULD implement both suite 0 and 2</t>
      <t>Clarification of error message</t>
      <t>Added exporter interface test vector</t>
    </list></t>
  <t>From -02 to -03:
  <list style="symbols">
      <t>Rearrangements of section 3 and beginning of section 4</t>
      <t>Key derivation new section 4</t>
      <t>Cipher suites 4 and 5 added</t>
      <t>EDHOC-EXPORTER-FS - generate a new PRK_4x3m from an old one</t>
      <t>Change in CIPHERTEXT_2 -&gt; COSE_Encrypt0 without tag (no change to test vector)</t>
      <t>Clarification of error message</t>
      <t>New appendix C applicability statement</t>
    </list></t>
  <t>From -01 to -02:
  <list style="symbols">
      <t>New section 1.2 Use of EDHOC</t>
      <t>Clarification of identities</t>
      <t>New section 4.3 clarifying bstr_identifier</t>
      <t>Updated security considerations</t>
      <t>Updated text on cipher suite negotiation and key confirmation</t>
      <t>Test vector for static DH</t>
    </list></t>
  <t>From -00 to -01:
  <list style="symbols">
      <t>Removed PSK method</t>
      <t>Removed references to certificate by value</t>
    </list></t>
</list></t>

</section>
<section numbered="no" anchor="acknowledgments" title="Acknowledgments">

<t>The authors want to thank Christian Amsüss, Alessandro Bruni, Karthikeyan Bhargavan, Timothy Claeys, Martin Disch, Loïc Ferreira, Theis Grønbech Petersen, Dan Harkins, Klaus Hartke, Russ Housley, Stefan Hristozov, Alexandros Krontiris, Ilari Liusvaara, Karl Norrman, Salvador Pérez, Eric Rescorla, Michael Richardson, Thorvald Sahl Jørgensen, Jim Schaad, Carsten Schürmann, Ludwig Seitz, Stanislav Smyshlyaev, Valery Smyslov, Peter van der Stok, Rene Struik, Vaishnavi Sundararajan, Erik Thormarker, Marco Tiloca, Michel Veillette, and Malisa Vucinic for reviewing and commenting on intermediate versions of the draft. We are especially indebted to Jim Schaad for his continuous reviewing and implementation of different versions of the draft.</t>

<t>Work on this document has in part been supported by the H2020 project SIFIS-Home (grant agreement 952652).</t>

</section>


  </back>

<!-- ##markdown-source:
H4sIABAsXWIAA+y92XIbSZYg+s6vCKPMroAsACIBUAur1XOZFJViaWORzM2q
y2RBIEBGC4hARQRIMZUam9+4T/cvrs3DvPWfzJfcs7n7cY8IkFRKWTltze5K
kUCEL8ePn33p9/sbVVrNk93oYHmRLJIinkfP0tksTfovkvl8EWfR28ukiPbf
nhxEnYNnL97udzem+SSLF/DOtIhnVT9Nqll/Hr9P+sn0Ip/0t0cb8dlZkVzC
oPjCxka6LHajqliV1XBr68nWcGMSV7tRWU03Nib5NM3Od6MVjPF4Y5nuRvei
Ccy6KpMoLor4Ouqksyiez6PrpOxGeRFdxOVFdJEUyUYUVflkF7+AX8u8qIpk
Vtq/rxf6T3hymiyri91ouLERr6qLvNjd6Ee8j+/+4/8rYM6TZB5n06TAt1cF
f6U+ywtY50GRTsoyz6K9b+Eju0/5FN+EVSSwu5OD/vbDcfR4KzqBud9f5PMF
fDvJV1lVXMPXV8k0weeTRZzOd6PzHFYwKGW2/zuRAQeTfGGX+Zf8IouOimT1
H/9v9DquKpkxzdIqjeew1b/oldcf/Kob+HdY3GAhkzWv/zlscZKUkzg6iuf5
4gwW7i1YffhVlzoz6xgszZT+gjeyvICtpJfJ7ga8dvx8f7i9/WSXf93Z3n5o
fh0+3jK/Pn5oHngIKG5+ffLIfPpouDM0vz4cjs2vj8aPza9Pdsyzj7cfmQce
jx49tL8+MSM8fri95X4dmV8f2XEfPxoP3a+PzK9PxmaKJ9uPdvDXw/6zAV3g
SV4m/WI2eby9MzxLyz7AdjWp1j4Sz8/L+gMfdrZgko00m4VAfDQcPnbQcL8+
sTscj+2vT0aPgrELmDwp81UxSfrTtEgmVQ6nW3smL+kfokX11U3O8qKfZEB2
kml/khT+DomKFck//G3Nr9LzfplMVkVaXfeXRQ5Ils9hvMUyLlJAGu/pal72
p/AfPhb82NyK/mRWnPenSdUv0/Oyf5VWF/0sT8vEPGiufz+GLeJSkFD9UvuW
VlkV8FBJoD056j/e2urvPNzDR4HWxcU5XouLqlqWuw8eTPN0ABfqwfbW4OHW
8PGDN4cnp4OTo4G8VIz4LeYDxwnsa5FkUzg6uHpwiHAx06L/I6wzeplc9w/K
Kj6bp+UFPFRFJxNkG2X0fQlkHFhHOSmSKole5ecAmupiEe0X18sqPy/i5cU1
zVPCVUtKRA9ebRRt4oI2d6PNk2UyAUoWHa1gggkvQBYJ67pMS/xgtEmvGRrO
Q/TlX6SGQAgPBtG3cfGeyHbD168G0f4FUYSGL/cG0XF+Dr++v2594Ie4LNN5
ctn8wPEgehbDaulTgCNAdW9ZpPNouLX9mA7sYP+75qO6urqCc56c03nBL9v9
y+FgOZ3pEzqpAA3iYlrS4RwAs56keBQa0tF21IFZou2uWsRr4KbIgGkJh9+9
bkAXXEJyliSDKplcZADuQTwZpPMH//1idZ4/ALRdxH1YTm1JOFrUj04vkug+
/JH1YYn913uT+7BzuDDx5AI4cLQHZwYrxaNNpqGcAW9EhxViUgJgjODJ6PDl
Qf9IrlsZdV7lgGIgjSAadG9GgheD6GURX01+uX6vgPCXVZYgFEYIhf03Jy13
Jl4uy0FWxoPz/PJBGsfF5AIo2QPYCwB4UcJH0z4zXqRw5YMJPNsvV2mVDCaz
hYbNPl6ngvD6DaE0/HIixCTamwPjp3tygu/evKnO0RzuPXA4IAT6bPdW5yBe
IYbt4Mbe5AUQ32y41bK74kN6STgWn5UPABqPBtvb4+Ejve7nSL7n0R6s97pM
yyifsTiHRCDyiQDi4X6eAcuI0wxO9jA/jZ7BfZ0k5c07ejkwq23+/ocBwAYR
Hv7v39segjv5bbEi0cFA5ATEvWRxBsLrcGu4hUChJ7Yfr7l5cEuz86SAU54l
ZUlnNZgmD5LsATGzeR+wL50Jaerns35ipGbgSITNF4zN/RyeZI5DjOjB9sPh
4/Fo/LgBwj+oMQnKt5fEbwSuB5fat6cA2vhiHv3lP/4nACMr20giPPdd8R//
MzsDohAdAX0vWh/dHyBL+I//heeZqdN4AwCRw2AauA+M+HXSSIGQRw8WyQPv
Fn379jgC3L8+L0Csm968c1jIt3m4CqaAuIB+vw8SJWLspNrYOL0ABAe1ZkXo
XCIbAsCXdziKXhQjabqOSCqYVETO5un5RXWV4H9psa207z1cqeTD5CIG7ItQ
LogsYuF35UCuHiDmZTqFhS1W1Qq+U4MC8vTwIl4BZwAeC2x4ct2jVcAL8AgQ
G5RcQGpCqi7jwa7TrAJmD0vCS7wq43OivhN1m8tJkgEzz0saLY5AiGb9bBIj
qS6RsieGHkQInJP9t8cHkZGYcLAq+VDBgVxHoJSQpECwwyknimv1+JjxYxLR
4EHewn6+d0Qfw5qycgmqXo8YRDydpkJSUaKLyvSXhNTHswTgtqz4SOb51YBP
fJFOp/NkY+NedAiqQT5dETTg73vR6xwIecx/vo6za3wiKbKkwisJ+JGdAwcC
wtaNQI+c59eIKSVs5x8rEEUjYpf5HOQGOJyrixTuSQwfX8DRzwHwSUH0A3Ar
gG2SXaZFnvFgHz+KkPzp04Bo6JRpKED8GnekX4RxLvFQVjBdfF324IPJfIUQ
ixbJAgTjHmhHoFOeJz089wmSM/huEgNywpkwWJf5VVIMiGvD2BnixiUeGEH6
IoHTLZOqoq3jEkDHhJP+cJGepZVbDCy8XOF+y2iVFck8BURIGP3zsoTTB6zO
kjksUaABQnwF2hZegzN47CqdVhe8nuk1aILpBBBqibC85qUdHpw+R60/iifv
s/xqnkzP4dUKryzsDCZbRGfXsFuWitJfcJ9xVNBdgrPTl3BphQmcDtAa3i7g
5oM8ep7JHSDBIz/VEMWPNH8DmcbKp0Y+iTqIpD1ziDvDT5+AKMBbExScv03h
Cl1Hb8/+HYAMsuwSgABnzkN0EOvlTVTR6E1c4Ak+MMFB8P5EL5J4imQHKEzB
7AmEvP0X++ZVUP/g1QGSsyTKEtlPKUK12zuTW0KHgGlr1IYZgTCUfOpwxREI
9kpPc6ICHz/WVSdC3gXeUcR3OH0kscDiSthKuRb/8cbgLNmKOAWcHdF6uPTp
kk/M7AFwvCRShRceMItvXDrjSw/3nYgA0p0iPVuBPgLrP8/zqbuJkwSRhjCA
TtjQlQgZN6BPuUCbk1pJPE1ztBwscL4iAdKB782BmmcTgMeK5oDvzxf2XAH4
0xXSv+vJHN9KqskA5Kkc9lhEqQMRQBTgEyMptVTM7EmuPmycrh3Imkw1QXPF
A9AHJmtgokE3/SydwytAQOANoGRXefEegBPDRVuhoBPN0mJxhVBfLZE/AuvO
F0kNEQgBCJ1g9HK1JDDFRH4S2B0AZ4Vq6fzaB6QmiUCDgPVkaKYCApBcJhlz
OYAzvDR35AdY08YGrcKiWpnPV/gFqztEaixVSj4AWsECC7gZQC2Ie8gdO4Eb
TZQA0OYgIy7Ddw0YT08jbrPhAy6SkgPO4hLuYeyuPaD7NRyiW2RSMKlOjDqG
+2QzA+I8rsydffIhXiznxDvNas1AoSh9fHByOlvNYQvqonSYw5p7/3B7hMuV
SwAH5tE8VOdBAhRyZVdM15toCJwq8VdhzAhD4rkAKLjJiMZIdTwmT3fpHyCB
EHt3HByAhOIKn5SZyREewyeI+eMcZh946wE9AWLTZU4sBfEeBFcUJ24vOZmZ
QBAq8oUApAQKlIhIVNHzi5ju29xICrA9uFdT1DNwfc1jwjj5aj7l2wAvKRD/
GYEDJPkShcez2KcySPBQTkIakiwT2gMIT0ANBueDXnBpi+Qsz4kyAwBnKFzg
kEUCK6L7qsEKOF8CovwZH4UR4ss8nQo9QpSFeWN76cUUR+dPV4ev3wLlHCNk
aFkS703FFB8IHsjgi2TwpaTkdqG4Ge4s8+KSCOs0WgGcK96r4dQ1AbhB+GXe
OkmXeBVJZQc4neekyqNovOcJ1QZJgATAEuHvIr6KlmSgYlzvHB+9JMeE+5DI
M+t0CTMukRNLllqV+ECYQ0I97GK5qnCGC+Bf8DnpmtfwBhyFuxjEJNGVgghL
JyIHMTEGuwmgV0krTWZJgegAgAGdqAIiiWhoSTRJAEUyZcJMcjwxtsSyV2SG
F/Ca0RemOYwM8C+YwAE5swwB8L8vVw0h0Dk6Aaj4+gle/eATQsOSxZwAeTSM
z67tZggzcJFAa5ECwTKYV3siQQRcX3CcGEaK9LaglU3TkqUCWlGLfrSxwRte
gFRTkrIDgEPpM3OIyXIMqxDA4QxxY1vYx4/076dPzIA+kKJJVrGDD0v8iEg3
eg1QXuLJ6NwaFSO1Tm0p0IfXcZcAh3j3MkF16keQY/f3T3rRT4OdrSfwO/23
TBKYH4+ij0Og0MjzWv2SJ4/i85RIvJOWGYMFIDPQQgEdY2PEYlz3UMqKmiBV
DEjR+p7fFdeg1UM9GVw0BU8LdZrIe0JouBQi2iIKwDUmvQPfBvmvT6oNYMAU
3YiJpYSiZKFXBY7G8iNAudU8Lljuf3iaglTNVOJVfhz/uPcGiAKrvTmxayOF
2cVXxBJuTdvwXcP60kECbECRgfDOZLh3lvZpkJrlDeU1o447HltdgFwD1yCd
E00hDq90kwF/QtKCgBHuzTS6Ss6YQMBtc6jOtgExTehTyfKpUDgD4J4i2DHR
PVjxAyB9S3gtIXMDXgXczgJengPgAGIgEGqqaMkdAJ631FPAtjgFAMffPVHU
AiLNLvP5JT52vyL1/b5YVkCkn6JYBpomKMaoI+RzVAPxXmRljr+QoWNSrWJQ
oUtA272oul7C4uaWf6ao5sOq84ywGS+Fo9EkyDsgAfCIG3uAY3DxVPi2SIYy
Bh8MQhcPj1RSY47omBOOAYAg4QNBvIBVEAsSpo0asllVw6R6iHPAzqv4ujtg
G0e/yvsELX1QJStFDSMxOyKRCDT/5BLVGZAiUbnKEdQWIlckOyFiw3lnyQxu
L4louMJAQTdMXdZvcNAQyQmNxMIT3DmUEekgYqv4sCpRWmUetBxQElCG6Yms
5ARZkLHgv8RjnNUG2RpKc/EcTRTXhGYVAQAU73yRlha48xxBlhQLsdI9XxV0
jE1CCo4MlwW0vTPWCT5+hMfQnbiE62gooaayaCuzU5Eg5oMqXZBCWOJJMjnZ
bTKgtZjamu1qnpGO1CtSc9OzAu9YeVezW/QmR+0bRBhSaAFZPf3C20RhyBVg
TO6dveHtpaICeEhnbB4APhUtY4DyhIi42supoWTWeWFGIqUMd7+Mr1ElLpkH
gVI9N6czyWM+GbQOinBxgjs9YPWt3NjYJxcwa8a44Genr06i7cEoAjo/BWno
faI1TecZBt5DtOhg/9kL1oScAhwdPusFZpCz64pXzHv4E69cAA4LQXSBP7Yf
POS7ABJpyEZSkmKmhvff3reNrOLjxxk+hYIVck2QT0ujw9I99UUvxxlpj+gY
QckNdK8U7UnwfLA2un5k/7OPEnJcsL0LFgK4j04HGtoXg3ZbpEcaE9UlECpi
klLwE9C6Ura+sEoe/Qjs7jR/n6Bh4MfTbvQARaZofx6nIMycILUF6alrhIYn
wDjt/IY2IFO2nxWiRd9/n07v38bK0BPuQPKZrzeEE1Hg02U8XyVmkg87VX0S
jL8gtP3vzT8bTz/zx/pX9I+YKJ+9QLdgaT+1UMdPG1/sez/Nnza+CJA1v8L+
mz/d6H/mz4ag8rttPeXo0Y2/2heH+sXxjv1157H5bXvLPrO9vWNfHOkXt5+4
sd0Xj9yMT7Y+f4+neQWU2//Z3rI73h7apQ63H9pfx8PPx5w2VPy4G92zpIVd
fU83hbzWCQtcE6KEg01gFiR/9EFqPc+ebk4SlFY2PxGtfmYsFCd0xwAL2SJe
YPgXWioNS7WmDPRuF+dxRhJwjGRmDsyr3IW7dRZP3rPLEa5+vqrmIP6UQt58
CV+I3XmKwLVkp0QjHYpPl2lyBUMYCaD0GRwIT2zaM4yq5xs1MISIzEIialqL
i9KScSb4tw87RCptzTP4Aim+aOYSRyFof+X1wnvMwFp5ixwlb9iqT1mJ1rZS
YpwwKYq8qEGAPlX8nVVjo4FYbiMmEauZKP5CvJAU1Nv4IDcIRU5BZEvJOM26
7TGbZ/gIXoGOtkJIfLyHot0nxh6EIKAcMLDN19+fnG72+N/ozVv6/fjgr98f
Hh88w99PXuy9emV/MU+cvHj7/atn7jf35v7b168P3jzjl+HTKPjo9d7PmwyZ
zbdHp4dv3+y92uQQGW2PI8MQ6aEkui8xDouw2RM6v90/irbHzNAwqBEgzMxt
+9EYpRI4ZZ4qz0Ct5j/hnK5RPUtiVmTmaDldIp7jgZV0RBmF5AJ4j4lpsziX
fADsqlg8gnXN4kU6T+OCz41svgDf0sg/E5Acg9USj1Z+MXEQn5BhFE1A4vga
D+k7FBpKc+mtx8hg8624MZumnUFjzUsY/kivgMRAAq0vOSiZQYTtZ89eWYv9
FspVp+xXJA/hs7iKo2egGWUkWjss7OB7XSPAkfrygfx/DIspvqc2raA1sJIq
0g0neOM68HjE4iDiLn6P7/yIEiRZ28hHhN4Bck9WdVtjPEffMz9MRpBnKKbB
zSJnHxlmDsQHwrPbAXjSk0T0y/FgONimxeFvQ1yutw8ElHiKgAajmZS0R58q
JcrL4/tuA3mzis8JnrhCeG+TTcFIHjZ7QvsZXyTal6SpjXtCdN4yEwDqoHiD
Ud8cOXWybDA7iLIX+dTqt2v8GbsN7ITtQa2E1piERZWwDIvYXThYn23avCCn
vLIWRAus8yciDfRYy7ZCxKrqnFdRLfT2kb20o6MGu2z+IHpxLYDKgZ6RBca5
k8SFyDYgpy2hNSjmeAqxwQ6iV+l7Cie8HBoj2JOHYpvtPOsarY1xbjx+iFf2
Djwel2stbbFZgDlh3qAFJdsZrKW1wfpsXpT4QuCPHRqjf9iN4vMYTflonUIr
JIgFgISJsVnNG7dptWakBXyMOPzrvf0+bq6P0nrjovuHnvsLiDxRCpbYzhdx
qGZsHNoV3/3nmEyEmGrx602Pfvfup5se+XXjT58rH7uff/315rXc4seO8t27
n3tIETug47/bB2nhHdBVgH4nOv4zHkcnMh/CDvE/P0dd+j8Z5V9++5b+9GV3
FEV7B3vP3H4OZT+Hej+HPd45Hpvbzx/tjJr1EsByo5fc6b4MQBmBUVr1FORo
ZLNCPxbTe47dEvMUklHhT+5SdZAAkLgqVyXqHJPlVjsXWnQDtOhgJEzsO8Ql
8Io84JgzBWS88EMdWLw3sodQKe8BFEGAEHxDB4zDIeKaYB40cTWvCUF3yPvB
iBpknUjT5tc0FmMOCyx0KeyI2r+EYj0QRMPoZfQm+9LaySz6chS6uZx8CnY6
ZeYpVegQMTiQISgIH8/0mj2pAMjkMlzy+nXg3YGrM4j4nPHPY/4TXkdLquI5
C5CznSS9JN2uJuqgOLF2RqRG3R7fYok6w4trJiyVVNVrl7eYEzurMGIED2a0
ymBdZDZmKxadjoRgOKeAh6SwUh2HAh/RVqPN2Wo+7884InBT8SoMIFLLaRBj
Co6QS6xrGx7HbJpv2GYMKsiyIosbgKAj/yqDBG6wG52+eDfs4X9H9N8x3xLU
mn19m/1JpV6SD0p7g/bplkqaAMg+KDUtMT43q1oARffLj3HB2exKWs8MduNk
VEN3aBF78OVS1jnLUSq0+z5PL9kxgLc/5XAauIMYSGbjGQ6jIDDtClXDKLPE
A9XSgHxEJLRmItcf0zC8Fj9iBybOC/TFcCgyfsexa9FslU0cLgZxIDRUGGcf
U2hUjh590nYSPyiE3nlNUi16/0T0ZnsFmvfx8vOlBayycpuy42tqsW9IGRAV
L7DP0FV5WPl32WlMhhWH2FUsCzt1AYsziuUqDFaB5vqLR5frLnbUIRkROLAA
mNJ5oWRQxFWKm7BJfBy8scxBkz6bJ+Ignc8Vx2AjfmGjqeR2m5EwPIqilVuG
VBHpM9ZDFjk7zOyS0cNetsfX6+Wh3kGmhdCGqIOhne+VAyWFbFPmMUcUOgcY
q8AcO2gdZ9YrhrFROQeZ4BGSl8LI2uRPVjETvv/L+nQQ/1eLBQz3i1bI4UF8
jnRgwIzokrIedcQTGwHS+DzLUelGv5gAt6bhtyURspPLRTIfGCr58Z61XJLZ
7LskQybO0ovNSHDRMAAs0WuLJMHosimKLddOqulY83ovsgZz9+uoa6MBnNDj
CTwI/VbiZEcfCyeDZz374iDaA5wNHIEIp3arknF+zeY5mm/T+XyFTnCO6/KH
ivAZx5HbVgmIegUaO8doJGyYZDkywTQ5u9TTRvuwaNSwJIq8KcjaxwFRcsrK
2MzGVLb0DqwPU5mTAwtZGthnrJWYBxILLsZDhOTbhSkLgefbT5frvEgCiq/s
ax2UPHrEabtmcyUR1IAcRx32XE5KjHW1N1eNiv5QjNeKlNdcU9NbkGYzR0oh
USYEzBFqe7iLBK4csQW9hAeU6wVEa2ZyND5+BCWB9WRKZbBYjYu9WeqOZxR3
gPIOgtNDNxQ6eLmGKeIhH7WzWJwSCWsyQ8p6ljDDhUWigxU0jTlHR5wnZN5h
/7Q/4SD4YEzhOBwZY8IB2ajzexgFXh+cvngLuHPy/eHpwQlrmaA17+NvgFS+
C0+UvN9D4Wx0ITas5csq4m22BVYX3uXFO5DrkdgiaIYR5qYAwttRfgfTQqOH
dM2OfstPMEqTkcIHzIgBM7LGCR7l98SX0dqnvgpcgh8GE8Jh7MGhYZR/6Ue/
9f9uiy/jG3bUZLghVmz8yUSzDPd77jHpt4ZJP2cmLU/dYLzhiCDSDD7eY8O3
mHRYl6mShVAnJK+OHgh7QabaX5Tn231kxZTtlZI4QYJ4Iilbs+sW94Wx14vH
geOvWyKrrY/2BvcsuQkt1yIJAwDSYuPfjbZ6EUhwQ5ayLB9CwPMjfVKYrDdJ
VIH2FTRtk9P7WHyl+BdzgkF8/j6aEjpwh7vGxiXaMUp/Nj1bpm7QllkdM3F3
CDHSEinvQhJES3WMrEfU+LkRSJxpzmRMXcSXVggi94A4shaiWuZWurDudhuh
zSyctZOasd3QpiYadevP4A7+QCFFv0Z1Pv2r2o7+zETiuzv4pdaCP1swhxdA
JPM2ffa3v3nupL//3VK47bZRdMDSjaMMW96421pGbaPcci1fBrpNdFJfV2vn
ZsQ8xc9uIIRAB/dV4KKSqj/eAyHa2h5IWxU3ZHkLc0mHhDgQULrWMMIURD2P
t4XvrjU98C0bYFxm47CBzWWSF0WCob01lRAu8yye4LWLq0QsvGTOZQOub48x
2ZSBQpx8SCacZCJk38alogJjYsLL1VkpaV5aYHeZbBzpLOEsVj+RKkekpuj0
7WDD05yEciZBWZiqt1wVy5yrrdDa2wFnzRQUpHuNhuiqoGwM2gdxLQyuDBMe
32byeNs5s5uT34/6wzEey3BkqWmyWFbXrJ2rWaOL+/e7tBRQjOYUa0AEGneo
ihXAeedl5YWtm1w3Cm5hqESz5Eotr6R433u+Ua8ZxwFaSnUkVwHmXGCQWovB
PfJ5Bt8Ep4GWlG+dVr7QYMLYHSkGGJGRqqQEC0OMJQRZQzrzkz9LJ/fYRfCa
3NhuTcd6TZmS3m2SvN3IF1iQXQHa+lvpAuUqlyIQZI03RtEFiai3JoCSKQVl
Ifh2hubZOHwrnpL5WnZT6EgxhkRcqetau6BshM9MvLSglyRBtRBPgopceSSk
ZrCNjecqc4iAe5FjzoNYsxt2gQi4mjvDkU0wETJMmVQlVv0SBxZGn+MmJDYn
Gg22XTgOZRr3FIhNHjocKRIxjEryIIQndB0OOAoGJBxks0QvwKy6WGWC7mQD
bWdHGS50NmmlYUBpFAJavekBsHRCWprMfc6RKJr4sOfBJKM0gRxekTDzuE67
cvup0L1eNEG0XmD5JmBOVYzR6BTG744ovEf6SnDw3GVSmCcXiKt6DyWnry2X
FNOJovG61cPLDfBpsA1ytc8qt6jOqRLOM/HxnmN5QCw170F7kQlLoaRSZFMY
1+Vhj6Q+zSmXjzLuS+UnuEUGCL/EMMI7eEn5R0xC0syvPoGXLocVHB4xTXSD
pGUk+WvsXRB/VoJm0xgrrZCUn03nCTkQjaKA5U966u8iIQ8meh7Up9OVpWH4
sVdBAj+YJgvA3RRIx4dQTKGj5GAsFuCct6PkV7MUVJ981pfyBDoJWi3ByEGc
+PrZeo0q/XAnneZmeujikI0OuO+WzBSSkFGUcLcQXGupy1bwRXLvGnfDVxUA
dSw3aflTzwtpjuEsUREg77aNYOcWSzURyD9l/VKLBKM+0nJhCbzbvMucQ64h
/KcnxWz2jiTv5bYyMUmr9J7N5RQXS1yW+SQl97J8TzmffzQxfBDJVxZCJTMI
EZLT7CKRvHaTiquBH08KuM+RyjTnVKbMRd4giUF5qZVUY7pgg2GdMBTj+ng9
QgKnroTLtVEDznBtFBBgbUNYXnFZIPhb6HmH0yMv43TOGdI2csADVNdION7S
Br6j2ahzTalzXmYj586ZIjaUIOoF8lOabjtDc9Kvuiw22p/5TGAGOnJZYh/v
UWo75kKkKjTXGMpM3SybUU4Z57iuWhru/ZpZrcMhRl1O+yodMmFuncvYEt8y
12moBeFXKkZXKG5D3E5Hpemj4Ipqo4kCR0kGuBlFVMWFyhsBDgSUA53hcWGD
08LgGxXRxJq5tfq5UABg0chM8YWN4YBgdBkEUFDcW2BIj2D386mvMOgTHYVG
0CEmHU48ZyV+PJKPuxujgVlcEFTTUaVV1tgWDeOxqTHdZpArqHTITfCha8LL
qLyajd4xF6V+ZD0pltV8ntbryUHUSxvkwzin0hxNeraJDe5xoEtJ1dySD8sU
hY60LFcoPVJVqU5TSQdmoZNanUAvgs6w8zPfWYq5Vn4Kt0RgIAlxxUksvjCT
YRXc3Ku0MmKalZVsEo/lxu2ngPfdGh5qGejzNMNiAzPN2mBC64hO+kTFsW4C
p+DHEyGrIOShTHRGp4DDUgZtbWwbOYM17bigis2krpfiWAPhDpu/jffpg0HI
dPpOjoo1bWvIx/waBwYW7ZzK1ZIay6E3bMJvwgbGeaUvtsKdI86k7ldupApU
T7hgQ8csn5AzRTt/N5AxYp3JisDH3BgWXxDfWVpk2ghnXEw5bFIkazIj7O+f
sKoEStCsL0FAatAHZkTrmietnpYp5ELX4+FU6XhygSGZZD7gS7dIYrzdbI0j
4VAICo3Uz7M+VQ/owxQCQfL5N+Yw99ph6kKNruJrL9wriA4VmxSnNKQc6SRH
oP0PDSJd2UKIJf6KauQYt76jli/E+xKrgmwqrQ8VRzyJcBR6Ye3Z9KgCTzoT
ImBCszjEylqI/M3LCjSCU0IDJVP3jN0mrvyog/rCPBpDqCRaxqFFWcee4Te4
FCQ1KIze2DjKMcLR3rxYWxqIGMaYJ8RByXYtQPpcoSjipya7Q9ilJfW2BKfE
gLsxyDbJg+sZ2aVlE7DUyK5coaqsWXLhUrelAGUCdA+rZ0jmV+zqlFRUU5Lr
h+C9W7dMY2YV6U9FoEoFGZ3mDijPtn2lwNvinSWHfXJyjyQ/Mb6RS1C9sr+H
5mYFZNTIedmyNbtqpAS4cKN+0Oq97Tas3KYbqTkVhenouEZYeFi90XAiI8mj
pQErOxATstRnTSCn4Rp7z6zRP8jqsUUnw8AoMi0luD6qR6fiL89wGUbuoyrA
ht9L6eBMbxdILEE2rVTdoAZcrKPeAZvDROMAhTEpGxZihzECltoDWVHhJCcE
R6LYPJpV8Zl0TiZUDkPVo/HmQUmUSnoxXvBoeFnRCJpfucJfsMbVwuQoo7ZN
BIsMLFbj7jg8psH5zPBmNzI3Tyah+FMU3bquSKs4uagQhqlRhh+0ihYUCfwj
V7/hngnkSDzMZkVsU0KjztHLQ6c51C5gTzF4poV8uvve5vbM5kA43uvqARxv
s+eXiqdvxcUtr6gUFZuIqRVM1OFLEJs6svhhL3qzd8gH+z2vN1ROlFam5vdr
VGI9ILH7YzQlp2MwjgAJn4NwUVHNpv29lnp9tIJ/R2D4MoRElDYjfQ3lzR3R
ZMY4PpgIIrUCWnQZz9Mp2U54qn6tfCCTncyOZaDKMPNSas+uw3vTU2nheDeW
lct4sCmI8AuxJ6kepXgU8e2Ermu1PsmETCVkIhTWoaDX8HjKN847RpJPPaRb
xtVF6zINHEydKy1wXmVlKAIahqdm5IybRQq0bc7CJ12kl4f+ZQFpBn2bITpZ
ktN02/XMGOirb5cu7UhI3RdE4onuhma8q/sAjPtY1otAAtcT09ANZFBSphKj
nJudOKlsLXqeXiQ37QzE6p4rxYX1xvmy+pIhzm/c3SyLCdESSKOCSNDuUKXC
NUJlt5lWtejbdZGLSAUZX1Du6dWJlhXCuL8QSjjOuNmq9jfOVBPQifCZYl6C
uyIfUGxunpGqXvi1wU0VNAt0jGEnIYF9yj06TYcQoulIiQAdzlUsuFQzUWFN
RNBV7rIsvKTBiq/EWWqvtQVXg0rlrNxkOtBXgPKfLCT17FZbC0t7T1wq1K7J
BkRNkjPzLOTW6Yf4OGgvQZJgk2lGOJhPW2tadAurEeJgXavCbtwdrs/4QM6h
BSg9T5Jqz2q8YRhXGf3m6x7wBDmS35kvcCKNKaW8SEuDeZznzh7cayBJC5NV
hoxRcuAJJYvkHIW1wks0Na492h2mHJo2Aq7IIG+A+HxYwFUkZzxR1KuZmRrz
aCI2JBxl01yOTQNOKSQkQ54pqyppPDicfRukpHni2Qzk7JSV09QJQ8QO6oX5
QVabggabXDZG/gLK8QbQYpNtA6WV8bUmqO5NbcRNZiwY1Yml/Mj+y8UN4iXW
XkCBRtUf1uRVjBR44bHJziSV+udAy7keqlTFV8K6sYIujSZep8WKLLKGHzgF
qCaZcweUn9qN7ViHNZQZmpIo4YUuByEw+dHmkrVRtmH0T0Now97P5BhxaZnW
rdtw960mmSVcOThcjF9Z1DyyfnlrzdZW7jlj6gzPoElHJcVQ4KCZ10um/O2j
843y6ui6lzleonFvbYUQOXCibR4HynAS90XjwICItuYl4Q4FoTUMVwZ2OylA
yTKaleWb1mGTn9aB0yTyeCHYa2olVho575d+2t39cg2N94sVNAW+ORVxTYK+
GuQ7CYj77l09ZR3lKiaCLSCgaA2RoYwIH0cnTAFZSwayADpyzmSQRTVbxAlF
0DuNfH+Sze6LxG0SBx8B21BSR2xLct+mCFUzKdtXHgWhaCSU3ODLAiyrVVLo
mbXdoKQJc1xDsmqn84U8Jl/bQeIkVUYlLvU0fLxF9bz4kxv6hprKX7o0aEMV
sFr9ULmPjjeS5q5dskimgcClZMs7i8/lBD/gN9YwodTGdpGAqpmS0MrP0PrC
OqO9sJKf04JIv7Wux2hTKh9Zny9LF2vq9rcPBb/uYewQGi43MVSEt6iZgDks
L5QvNV5R1JWumLIxtXRoCv/vwkkbuK7juGGROgpnkiwNI7ybQsrW0KAktOaQ
puiQ1qmq+DkhmpCTq8Na3Oy5jfRUMbWGNazfjdQVpFBcHfGxxtGtwhdckLeR
xq6wLp2yXXetII39de2SDmdswsSiG9yURH9/cwwC2eUnk1Vh9U3bLMhUaLCD
UXscCqkkL4smGliD67pKaNHz5EM6sXHurLHxOtLCMlkOHDdDl23V6aQ4XVCS
zhox1u+N87pqxX3tleYQ47MkvNPPDo5tNL33nvmQnKTYv7C1/u+t11cjCTeu
Dl/YV3TmFsTyLssxvJItRtTComE9K2Bh5+dsX7rTbs3w6KDkwK+2abAPvZ0F
LVdRFH0TvYnfJ1M7jGlbtgLpTUwu2FEC1CdHnVJrKLA9mqY5pUZQ7ZH0g20y
Z9ZGssXWh73trcfwv21Mubch5OyvczyBK7OdJaBp7voZYh/XZk7Wfh7AqrHp
5jDajTbHw/7OVn+03X/+vH/wvD961B8N+6Mnm73wJdAL8aXH8NKt53sAMhO3
99y+/WsPDHQeSF1ofHc7XE/jm+8r+xJubut2L6VTeamPM41v9dKkuDQv4UwX
98+241ECROPhVvL48XQUP57ujIfb29PJk53Z1tmTLXzpwwOv0vVoNhtu7SRn
j7afbA+nD6dnj2fjePbk8dZ0CL+P4vv09KcN/N+nMK1LkrjYb7+vZFAgQ8Od
ne0nNuvMZ9svjZkuQ/9L/+HYeMuvB5Lyes/G5DohzpdKjcC2saFKaKmCWofS
vcjjOS1xYr5oedeoMSmKZvNFdMhFEH21NhzJlA67mxzcWk/sbvlY0krDBF0G
RXoa7d6O2BkT1G+VxWuSt7VJtMjZdXi3Dx7I4aY/kVLGvPJsx17DWuy36KKD
G7OSvCJsWpttND3qOnA3T+TlY3kTeWp000Trys1pqC7ipU3woDhEbjeDNoXg
SQv/dtxD65LR+5yFqXZ+LGLWj9WJ8iY6mgS+5nAC/mwtZnl2khZUSjMXNdd8
l8lEkjQfqr4Lp2QsZl+RFEDJciOtSjwyWTn7PNpmfTWuw9eHnUoe6+mseZvg
xLJio1QGuEF92CR7yzOO26msmG1X483dM4K+hL6h2s2SwW5TGwlx1NzYTQIX
xB0l7EJ29Z34ED0FTj0aA1cjRowC4AscRBLC8Hvy0Bz31IK0G6Z5IY39M2gx
vpbUsBhcC7z+DvjOh+iTScyxn+xiV4hwcR7e8RSpaXabeC1O0ZVDAFLhXnTx
4BL2KaXLS2WVKON02mfU6dPKLYvCLzAEmTUa82W3Vg0Om33Wk1mZE9wmlZWr
QGPXrCquAsQ0aswt6qCrGILS5dxxVIyGnQCILqf4oihr9NL2Ltdme2Myo1dx
zyr6eHKRTFCwPuPrae/HhAM2sDAcJnsNdPflMlpQ8TdSeV1xxSYvAs5pugDc
j7hLnM0q8/3jNqucIwmvuYNUMLG0A8U4nUuKsKDSU4pclRYgujJdabMMXc1Q
UoCtwk1nKRNrOGKpbEIxLggntmUyYHCRd06L2Ger+wla3SkNH50ee0ai8Cpq
6ZJtsTg2XeigKtJlU0Y2iVDv2W/EvUSfHszn6ZLaVa+KywS+YldcwZ4br+aZ
5HLt7YOinp2j99ENqVHCqePcuS3LV+cXHlMSsFeY9YjG/Dl8ju57a0dX+YKu
byXdGTe4192u2cHAQiCG/lIFkQltkWNc8aKi8HyQTYBdS8qEKQ/TeXnwuqvz
v47ysur/dRVn1WoR7esWj52jv+53I3gei/XGXp6iOFa2jMFp+Y8J8hJJmgsy
ANs2QFLKch5PEhX9G2a3yEzbvWFv1JWubRiDS23budV9HDQBoPqbLvGKgJgB
IZJiMYNa/g3VjWzwh1heCmyBKy0qsP210SXjUiVenJz0X70+GUR/QQsphQ0D
4BoKu7NUVC+Rrr1nqQjLX8cj4wUWcGIPC11wkYHYqfL7Nw7Jofo2SL85NF3L
Qdwiw5yEEwOZXkrjZpBcb1FQud5vlMAggjzTUKJlbhaJNoGnqG8EYyT7U26K
zFgHhsFtCByLpaa3g6MhJFbwu1j+yo1qPyZJqf6xI1+2MVHUsRVduva5Fo9l
xxES92wDbmENXBUHW1uj/jJY6cYBhqV4EEm9tmImorlI+k6OxaTps2Ru762m
RfwCEvKg5SvRQ3uByUrL7cP94GRKwk6NP5pV4HxxlmbOoBD0X5EYeUXweRKx
5XJDXvZM6o1SAA3VgcxUkIfbpn62xKqJ9SGaJGeJxbx2CLUqjAjUH4578J8R
/meI/9k2NTxbpiWhCcuXuCitw703e4ZvAkf4+JGf7JuPSGBMCeNSsY9L9VBu
9DGlLjyE0pGRBGSyrT6szOYm7B2c9Pf3X/dMBVEWfqlJpJIxsbMsy9RhQ2g2
pVKbx3SBxAQjrUFJpooiTr6WafrbD/sPx31sLIbn2fBp0ezzPzw4OADd4fW/
fUO5RwMxk30T7I1bx4wYpzh5psAuL+Z+dmCO/lladZ1phRJFBOrt9yvqwALx
xUETSMc07Y4C6/5FDP8/3GqAay3JzJOwY9NxCbcgq1U7KBvmjx4G5/kdnmfK
NPycK/WCkpv12yYlPxWFhWC7Za9pvRYb8BxxN9hLmTotL9l21wiSIcNkuFMH
AE1i+3F5uzdM/BzRi8oxCHmAN4E2ZNidOFg63KwyvK9iXaPybnRL3TYGPuiG
Y+7RW8e4/Tcne/IQSNrwh63dqoulc6sbuJ9S/A+upbEgUIiTty4WE7kmvSJs
0mjWpvPi90ZmUukdTeKGDppNXesdYzZoC1GpFXcIA5mRGFFVLg+saeUkhjRz
3rSlTeQKiwjdedyBLeLqTF3+wxbtjBhmd9EzBY2Tqa5nbNKudUfXsPAiafuI
kUktYAn2cJ7jBFQ5QPfRanuKTvQ8xRIjXB7lQx++ld5R96ID2wLDZWqQfgYq
+DuQEWyeujTVootpip3Xg4ITo20R6404R9eWH8oX8IbEqxJHbRkIqbgK4FWV
oUlNa2/dEZfKAeZUoyGy3bcvjzDXAPBEQj5tm69H0uTrEbf4+tva1mp/53tD
VNFv53X/gzILIbBV3xGO5vF10ShcZa8NHmgjNbIOpb8KhzB7HUTo7bZ+/CD1
SjQkcvnev/Yc/PgKG9uuo6fAKOdALaybkYx4RvIxh2+XaBqe3bwtNgAcmByy
PS+HjPrLdYC7dQHp9p598ltqUKnLJCq4nE6Rit3ZNdVyNS/oeVvrXpfTt9lr
zVRebFzsyBDbFAzFWH+mHDEm6cktnuuDTKW8qpcPW3KVOeMbJRNvWkz7HKds
w9XJteWNqY1Erm655OWVk5x1KV5dUDsfdOg+ls/HAX/Ba7aXSd0Itwo/BTrJ
inxOjE2qo5g8PS5NxcXXy5Xv7XfJaBxFnC9jtCetSRKUAxbrSZLZXGi/3sjA
IUnDGOY9VbeWymlT0ULnraMPh11jCDsTdYttSKvMgRSO1qsAxN/1cS7uUXj7
pYx41pG3lDF/OO5KyVgz7fpOAmQ1b5+ZQwUw0qSUtgDGwst9ErtGuZQQF+2Y
6YCA/I6UKMwMmL6ji98FcpAWpa602+Cyp+aMGyhgP422v4k6IPDawaJdvDA9
+YipyS7KOb2NrucF3vAMlaaVe/tejcVNkhCFDdRbZehmqnTQSni1cfeIbWsA
YIsfxFnch+9sG0xsSmkMGG5/jRYY1FEdVKhlkcRjW5ueiDoozHOsu7vLRvDy
hFOSl4MK/NQ+RcrCSQH9opDYIK4vj1NzOXWZhEzaeeW1QujxquJ5CDZl6KRe
Tl6cmy2KdpnmVBvJ0VSScUBfnVibnG0dzO4wrvXFFpgV52ggHGk7rwFBUco2
DihWHzEEJnPQon1I9QEeUubGWkMJJ6zr2sxcPRT5fCPZf48IqJoyqFOh1GTR
PDhLylYKURuO59dw1USQ2tPRdhTMQPvHoFgvDs8FowpXNrUKfXPCmS1itgLC
cCPViE5QTldDmDwoHqO6KMhGXemMJl0J1phO0ZHaJklaMY5K/pAQVAUVYgLf
CSa0ZF5hE8mwreWxUz44G3ltJDzPZlUZuTsmGsHYIT2wlxbsqRhluLyRuZ98
s+TMReM2PrSZZX2Soa06kODSdZmhUl2QnicGUsge2nm54tELqd9kk7CQbExM
ia9aqxYK5Z4k2KhIWqbaZBesBNXQIsYr9KSqztj8NS6GJcFZWB7LzCVWNoN+
3xdp/wgTW9FIxvev/5wo7p+t+I7FsyTa7NQlVlBZEiUjBatEnCCh1R6GR7VU
9TEtPjkFn/uh2ePxyvmVcBql+NtDouNVNjZZKS3FvfwU9NixdqW78ObhTPca
0bbDlfX/XEfbEbU/mWFqUj1pxw8wN30gODbiz/VUv67ZyFKNGBa1wVwBh5NO
RV1nrC5tmq6XIOl0+zU5XrDH8YAKc98pyqajGl/YeBCzZxdkP9jYYZ8S2dwN
K75B2MROTsQCpX8G/zM2o3O1io2HA1XPUdSr0iuOYu6tW1ZiarEAMjyiKGMn
8JUXaIQWGfeBieCWfLYZ8s2eqTSXZCVZQlqazymC4PrP1cJ7PIODxbyxtQ21
EUd7JU3gTT1cxmFNYJNm2zFQximuf2brRXtkkipGhBZ+EEoBOsJVk3r5uQZD
CMcoXBVAIvqmLDJeZiriY/KUJ8j6RPOz5QZgPptOWQ9TzdbxDdVSGJ/qwzd0
9SnHp/T5bI99eqbnjyqmZTCV+kiJYx0JO5ex8MuVkYs4JRMnU+XmxVlESlUJ
0VmcIspNYuFqcPHtaFQCFs42MZyN4oquLq59QWBGtijZYMjTZYcmrldlZarc
B5QI/ZKDlSd0qjJLtsYAvpzdcufRlbjoZQuIdrhqQMFduAEmBNGrBOjFcCq9
bEQrI7Dh8qT0joUfIds6X2VYr0hgoQ2YJN021/FA7HSVpii9sxeCz5SY04fU
5SSEoPidkbUkt8KloLCaamutoF3Mpqon89IJRA2Au8JrivDxYpKaquYZnuxV
4zPqmu0o4ji2eT5U+4MibYv0A1fdBWkFMf7F6emRV1SNZQYWb6oLk8aXsqzB
ZMaUgKrX1FU9RW+ikZTtY/qcri2d5eoTNeYMKxUtlPksMaPzpdWY8Cmh8Khn
wY28iMukdE5D27Y9kWAiPZ9Qv2wQdXzTutXf8GtvL46xSKSTFMBi1EhcCPTQ
pU26d9rH9W/GDWOPBt2NjbcEvgmGH3oWOq90aBuFND6bCr1tfvMKcb120hmH
W1L5OI7pwjCjzO+ZB4/a2rMUhlfxPXDe5ymbWVZpeWGRCyN+yLxNVMGUyG5b
ruscELAInW9meEUYCJaWdlgjWYqdH0sgkL6m9QHrk/v+mKnAGgkKeReqtdh+
EwMonrnqph/vmYKlRpElYnfwAXt2Vn3AjP7BhyXzbUxefPzwCfDxIIvZDwgw
TKW5vyLtnILZXMNv1/fDFQpQZzcwy7EFc9wgs/RDMu2LA3aVpXhnMHi4TFbT
HAjVFOQsmqhzdPyyK2Xpa92ZyFRJu6zPoAL+xEYO41FRbNMtuPP25euuE+lg
IiZGrvqu2OIsXHtmOnLI0v0Iqs6aPsOlV+ivBPbYtFAKVSAQ9l8+e27BuCoE
sHiG1LvR1b5sBKkeJ7n+nloeG8eSPP/xXsK/me7yjZAuuw1NemUIv7+U/kFV
FF6OnppHO6ARzgFahy9fR93WtzY4eIBZYOMBHeIBkW0RhvNSdOlKYfwKzkuW
UuOHxQdS4wczuzdFS/OsHf2tgawB/SlmIp2tuTvUD6Q/lCTFJjgAeF7AKfcb
v1O39FYzvTzYHj5eP9nL13v78JD6uBcNdx72os3NqHvLSej5myaBh7xJdraH
MgmlBcEJvRsmGxv8b9NNJfyrAL0Xuve0ZXSDyL1qMNNSMhe0RTjEPdrJ0Q4Y
41L1ol+SIjf0RjXc0OEomlIaU7EYQARWNKiIX8bC2RORDONiOS1XOnnMaE4J
/TZB1kP2baqppDhu4CwU81rZU3MZB6dZhY0niG21cve9sMyWbUedrQ8ctUJy
CRymn8xpG+M5/25Db7zv3v30c9RRtW6Ilhp368/I3r579zPH/XWDJoIGIA8H
N8edo7/XeAJEPaCpkc2WYTP3nuNjmdGOUL2BpaVlraRPU+iiFaLUa0usDCgM
3cRb2yyGPYx7N9CXBZLjnTLqes5b3gA+OUdhUbI6ScWzTes5FPXR+PGnT7tr
qTAN+VTe70Q/U9Nbuqjmo596dCZrqPLabRGR23loxDEiriQS45dI3hBX0Vlc
mksbl6bO0fqly+NAJIGk9GUeQ1doXzdyEkL8p9HWh6jTgvfdgaNJo2S4YKqE
v2m6JFuQEky1JMQGGjUaRHogQ6W8vUtogCov0FQ/dk2heqLDdhrFbBl0CKXj
n7B1L0OD/hL0asC++rXlbMyfenxvfzKlWkhPVdPybAqQ4w8jAST+ditAjnpN
UBz3DHwNZ1Bqg612wJ4qPd06cCtPzeeCm6YJwI2wQIAf/qwBfvjznQDOOXg/
9zShPFQAl4nNfKQKkEjHgj1IdPiLCHRc9OnwB3a4ArxrQroS7Dyh14p5S6qJ
zFJoiTGbKi3HiQpBDOQ6rWG9yAjiN4LViL8E2B6bKSZFuqzeoVDSi8RTLMk5
PRO12TVJ0U9l5fI+6t/qoRtIBj5NGV6ucALF72jXfoMLnl57Sg74YL3RLtVd
QD+8cctX8rfsQD/Bq9yNVuS6D/z0tMINeOxPtUlSW99BxA4VyOyeJakOcP30
BVoL4L8jQjX4ZdzMjUsvh5qNvx93xeP/dHOSr7i1Z89Lql73HGugrgV901MD
3iODi3ZWqZ2R21cVxzQoTHf08AfcECD7nyM24W2+PPj55PT4YO/1u+Em/Eld
zfEXuEL4z+EP9C+8RF+NNmVyczYWsLImieBnrJC/MJ5jnUZp4v03mjUSury/
v0LSekWcXtL+yG9TT9ZNbbUU9fWrz9ZRbpqJRIqGmYQavILHHn/D7/S0XKYy
OdLKmCwbKK6msR43+iZSiKl5lktoDe4t3VpXGS1Q1y0X/iYiFP9SQzKfgdW+
4zareF8aTAItg49uMTgDjPJk51JD0TvlgL2QWQteMTsd3XqnNywGmSscpDqW
Hu6657Yt1vz2LrN4xEI4BnIMggnytqEqPrG9dZ2KWv00ZP6eXYiFAKatXmCX
xOFaM1WrJGUiVOogDWZCL0Uxw/xAs5U4kOiRIfsvdZp5t7BuzfvNiRCbGrcx
/SYGqfmGCTND6RNZSNDMzO7lFb2iM2kMFPs0Gjn4ayxBZyAGpk7GGsctYuLo
a15gZTaAD8fA2V6fnCDcE84W15+2ide6nWJ1latkBGNHoBAYTBdWTlebc0Up
SJyobEwKeEtMenGVchXoiNw9saleTzWKpJw3BclfxWFha5T4c+ouQYI+ubV1
7oia7D2jITUwFJFTZQbmIIaVtpc1HQsu3DOsi+mCbqvW/7ouRpPLJrM7LLzQ
A9Ud0ickYxXuaeREwgfb2YCslyKr0FtWc3dvnsgiBrU7Q1MAE+6IiLZ/ePTi
4Pj04KdTICONKP+i0zUySTDdOmHcy1PQAXf+RQ8SFQxRGvu0iuA0Q5GOzEgv
340N4Rx7/MJXHtwsjs7cir7KBcMLUEabNNY7mFMyzPlvnHuzVmvnM7mNo7XW
os5OF0poxmbLVIqaa50EJijxL1I/Wc7BB+1ykrIDXfopwZ0rVllmA7VMu1uv
xLY919C2z+XMwvVR5XoqkUqiy3waaMmY/u4K8GIWtv5e6adUPm4TUWvT+lfn
UynQaPmDmH/sIpEyzOcrzCZTmTgqq5bYMN6fNr5ht9LhKx91d0XLa9LD6ZGe
+yq4KqcXNZ8ItU/GvfHouGBzdc9XMWB0lYjFkD2THAyMkSgFEJzrydwQodt0
wLXVIgnYvFZpi43IYfoiYGduUoSYOomUwqkVupS224REullMqWGfig8+JzMK
Bv1QPEVTqG5cNiAjxzCZx7nqrG2v+9wlAuH2j1yA5sd7SC4+BV40Z0xXKUSC
V147VxXqCWx8ie69onAxI3yTwz7T+ARnWcCGufw34EeiYrqtlx42yWPY8GQa
wsvemGPqBo9A295rCA71yiw67jJjKsYZAlSFvuOR/p6tADykuLc95aIE7rgQ
5y8vkYK+Xe5NmGILK2PcUN5fslxILlKPf8NirNtMPOnvA+bEWy4oBfvbUbMu
7A0gxT04pMMVWqo32/FDRwy+cO0RMdSrHA9dwEmqJ7SvrMPh92vm63rVqtRC
Jaz5PhD0+2zqtTirkPQtZ0MDsiK+9SU5OkRa+bjUWKoR1GCXxGuRMxJI6gO4
ZjkhsPH+V15kDiWfUp0cIhLvk2QZ+V2Sg77FqlC0CpXthbYH6fRpxUA6TES7
Kli0uwwqa8rGE+qZ01Kv9MzrI4H0rT16r1OremsqGXnszYhypsNue0R12DrX
ZnHaJCj7rnVkqUxPnW5IE3Otl2DDDATHr4gE1YoA48gudrKiYJGlrZQXEAuO
Pn9GweZRc6w5cFkYM8lsxHkQL3LNXSjp6KhpOXGGHsaP9DiebppyqEgT2AE+
wwEwJ1V/LjjlGnAa+r576RxW3cblmJuvYrwHkgTJkT1ZHkxYay5oE8l61GHv
qgENga/FFcfia04btFQx5X5EtHUVjp/ZTvcnkv2yALp7LkVtPn6c5iWDamTW
boFgDkVK9SaaHYnVSfDMB6TlS2LOtw+ZnnGCUBniv5msdhQBflqnhrrRM6oG
E1ZYxoX1XFG+Xm3tJqK558+DYmJa4r1Ms5XtU11HGtALKSv1+aog84KpShPy
Vl8AJJo0cVlhHv/e2Hhm9T12P0xcnB2piWbpWu11lzzl2DEhu4NIOfYVuGxQ
pXPpq5Hh9iRxwUwdA99I9eXcWiNImIFMqCqNQTAJQwLxYi/ySw4ConRZIHF8
8CUdFmWpEHpIkonrKhg7pJiuVM7ZSkSCPt23RUp7JQaN/SznDRfUrqfxpp6a
e3hlyiO7F60MaSre2RUlek247qmpbUwnqr51+e1cFEdG2Abeu9j+xC7E555M
qB8J4tA3NlzOqYrs8ESsMA0zzKds8OW4Qdmhw0HkLp3S1h7YNRUbNsjRrvw4
+/Qt2QQemNf+m2QB7mIyIvp2NqRWwdPob9HwG0pT/Ds/3qDik8lYVtJvztAK
M7PQQmrXCu8URXxdL6vAbNj3jN5Qv6GHCM45RS4/CM06/EghOmXCdSrtI174
oLVIcOwxUR+5qIbi+iPWshbMAERz7T5D1x0Ge3iFfsR4RtQbQK0SJ5SeIRYL
KQZBiOIIVJj2gHDG4+/7oTI60DyMt4U39ulQLmOQ1ZAliamwMQ8K6z0R6vQ9
IfqW3V9NM2N7ukee+KfvF7qlyKpDl+xTWP+D7xgGwWCin7smgWOjXpvDlfRo
SV/ptWIaaCXZhG0QM5MvfEtEcglxbgvEKvgV6ii5Bsl6LtSZSfaVhNtPWDyn
ypacOR8WG1FZ43YNzVG0UkGCy325JHTZgm3aZGNHsddZmq9Kn3lLTBnJDmer
+TypulJsEFufNFx30idz4s1m69wKu3WhwrvpHE36tNbJzKHLjmvBFmbhVBlQ
RKiG5KmaWMKVHOkjvNXR0BD08Baim3VKBDFIcWooBqMKcVeGz2k0p3K5giUN
pKgZiaN4wdkPeDlQZxVhI6lbLJCJ6ugTppcSTg94DKjQ1ajTfGmsLNZwcTyZ
yGLXDVhEhtvvqBRUxZ4uP9gPKRk5JJzNj8vJrA0Up7JMXOA5rdhC4uqjvOKw
N2Os90u1mIak5mlc3v5FnpdsJGuglERVKT4Ym4vifCa1xbnqtUxGQx4Qv/Dp
WYMVx7AVZc0JW4DUM+WY9jr8bqe9aKWu0V7drAVpr9EaWmnvsyTYiy/+0H5/
UJleay68vjeMaXHF2luKlzEgDpoB+zW/joBWCv8SLaap3gvrMliFK+DFrND0
Ajph76i0IOAWzh7lOIsn771iT4HP1epj5hqZaE5D3rTig9UKWJwJrjPKG2Up
DUMQ2abJ2er8nDQCIMBI313H2/cp6BNTI7VPrRZqajCwsmatZ6SGkjy0Xltb
u/AmcXuI4vZwrbg9VOL2MBS3h19D3B6KuP3du5/fKY/X0BOrjwOxuskbRheh
NkrfWJiQ4LoCkvBc70a5TfELMk+qcUmSO761JHcrcuDDnrxszeQgFMWGITn4
ZxDzn78gMT++MzHfpzbASXu0C/lVX3Qshez2GAdwsm70m9ypLe7i4Zd1Fys7
ht6GidvgPshCsyfx5ILyMoGyTG1Tc9/+a4fw4MfRK2E0poS5cvygjaX7l39x
dQJ6tmngf5NaN//6rz0QbSbv+NDgg65V8T439NkWngaYYMWCbbR7jroizXmT
mfDbsAYvO7RNjebm87zlKr0uqsHKtnBlw7aV0UPm4CWyrEx/8R3xYZjbLVa+
wVVPXTOPvr5Wfn8SaUWCLqeZPbug1oOMZwcjhEQRKOyVrZpn1UlnrWiGDMto
8lm6LfV4+Jq4ZHsXvsuLdzawjn75CvjRPBvRUjvKfam5xIVjrOMsyrlISHNS
zXgwvmUrB8UOmkqJrgtBNabj1ubezdw0iAlQHTiNN76jnYnd3Q3WjByyPI08
EgQURx4xWPQupgpp8BBTrjqJMmNKVZ6nfMREELUQ4UdFnPnRDxTHq4Mf4ghL
VRfXknp6SaEsmNTGUBuYSedxyn4vEIDUNh5oSacBN9z6uxsm9p2ugxtCWWAk
yqnWS5LtYe4V2ygFbv8xdkkhzOS894vEi8jJOQgQqyfz01QkN7tMrp2x323O
muWMUwN9zCXvkUcyADE8SEfI1jgR5rcIH/JDvC/u3++5ad+ZgF+TlFH7phbL
7S3brkmjwVO1rZ+AFKoFNCiUwy+hUJro+1ta84bNtrtQf6wJjIH+OGzSH9c5
D919uJPX0DjqSULE8hKn+ftEXOU7/WpFwYMi/C0LLv0wRWXfLwPF64M9UBaR
PjLLfYJAW19DHd6godZ157CiguMF7B+kchd4luY5a6V0Iq9jt7qGkZusgSs4
MN8y74ZkU6+aiEGFIPHAdyU0gOtmLb3BkvabtfQvqn+nM7qOrDSD2CzVcKhf
EGLZP10/H6F+Plqrn4+UjjgK9fPR19DPR6Kfe9GoRjcP9PBb0Sh/C0rNvcnj
MAqp1g1K34iUPmH9iih8HXVv9IXVPU/fa9rEb1X8hjXFb1RntzYWf9QzmVKe
4meK4x0aqWQUKn4jpfh9bhJmKD4P2xS/0W9S/G67zBsl++22pf1Omt/h3TS/
w7Wa3+HdND9VcX+d5jeCUX+L3vd1UKnGc0dG7xvdGolvjx3Ns/1n0/sUQnwN
ve/wBr1v1EShGvW+kaaHcRCNuhbeO4PGbp6NLRPXZ1GvB7hKlnCZNAhqSlhj
JkMdf8wFukyw1w6lsfUCvezoyx0HqF6NB4DQp8dtBnPEGYXt9sWRTdElfQ6b
dAZ53t/oD/uB/haAxaOqQU8sJpg/3LgayRSm5aSX9dW4z8LFpFnDUdy4pCPP
HHB4kzlg5NDamgM8a8Dh3a0Bh5414BCtAbcxBBx+GUOAJ2gaesj3QLpyzvy7
2eTNHYmTwovDX6Nnj5yeTWqhOI2aihN3SP/cf3fcdW3nVCKdSmy7qZBa8CqL
lmFSHkYLNpTBkOprNyVpGu7pMu8xlYFCakrRrHQtDo+9SSSiRImQE9hWI60k
fclXfnG9EyWU6xzbqEMlYSdpxaWMPX7RDdNpcCROJ5xft26fuw1wGHhD0V4O
aJd8x3BzfoVEq9i7vWDYZjypVlyD3QjZtV0JChSuHW1ND8ZwjGWCPbO4ryj7
tWQkr26ANyonwJJqK4nkwf6BHwAA5zec2mftqgP44s4KLsIslVqWXVMIHbsN
L9J5TOLlVZySpkplDye20i8nAeztv+xygmg9GpUK9zXPRPIy6fBmP1f1oB3c
jy1bCTjz9mT/7fGBy5LR/T/qcUeD2zlmR7eLyqjpp4FVbfR/slXN1ZJ2/lwr
HH1tqWgdIVWx6U54acyyHzUa/0a/2fjn372vZPwb/e7GPw9c0e25Yu9LsMXG
w/gK/PGfFn/0n9myyfKFqzwfSBi+sTzkVT5tV263uzApL3Lt7kJLmGDkSSM3
SBwqdOVWLH7QYAgeoyF43J4+63iarT389uj08O2bvVdU8psD8QZULDhkqRli
JnJ/zT+MLBgUhTCHf4t2BwoiYgixFXGT1ux/E+fM91R4d0flp1BhgS5VcAaa
Nc+vuUwz228lpeyLdGsIMVMCxjNXCxtbalzlJh+v5Kh2gL1aF2f5uZR8XICr
N9DQbISzgeooJAsfYM7ej7YOefAEt6f39udOQ/anJR2ToxW25aL+EixaceV6
h131FOkgr1CKQACGIrNYWj9ls/NirCz/49B5Mf4azotx3XkxbnNe3EYS9Hdw
hxC9sS8brjE0/WEtTOMbLEzjf46FaRxYmCIuQvI0IDUdXS2k3br0Jc1LbF9a
sxQpVNJiWvritiVrXGKD0VgZsfjvz7DIk8nGu12fa7EZ39FiM75bZMT4dpER
4xt0uPF/6XD/VB1u3KjDjf+QKQb/mUX8e1KR5QWmG3PFF951S+MEZgIUQE5V
DcIEpL1mSIuPm6QcuCJJWunuLkwxAPu5OQseMXay5yG86grc+Y++KCNRNPiB
eXwtta50xx+lIKMuX/BjpSncY0r7JBmF/gfHq/rq1jqNm6aHWK+CV+PV5Z0B
4ZsPIt9A21hvgL41gqo6HI8GsR5j25gIamMwYlU/fpMbOzWCplXJtAKF3acA
3KibaZQIpv12VdkSByGO1bLgenSIkhzoP75Izy8q7o1GTeLPOEuSsQGVlaqC
u5i4IAu7V7xEyi5bEIY0A2ljgyf9gvInD8iy58Hx8bv9t88OXCY5fnL45vnb
5r68H3eje7P0nNG4byBRpdU8ebopBQxpeGFtm590Aoydra/TJ3Whosw4bcRA
RB10t2y5bi4aM0GU7VEiKZ8+PVZGnSzBehmXZFoFCZfiW20Oppw2Fem0mzQL
UQ2RBqalpSSMw+IQ0fnW4aVzS5dyfEWyALFyahJKGrVisk5xRRdyGvARuaEs
DXTQpY+paJQrwaRe4Jga5NfEHRwp182dJH9TNxXWx/mnvv1Rvzb+3frzp41f
3cH+6kBLPR5/Bf7OsUi4mjU/v2786an9Ub82/t36g2uRny2YG4mumiI6YdRZ
tw5ZyxeCi/xsw9xU61Ot5fvMyY6/51qGMLfk6tq1/Ch115psnl9hLe0EhRHb
kBPC5n2L6/z3ocNuJC5koJJzFbbFVGXL5LFLgXnWGOam7qE2WlDjQ6ERlrqw
kJMijz2PsH0qFnozuM1mOS7thUhmGjjaUCRTFM4sJSyCCrROtyjzqy0lHzg7
OppxyyDYocIWb5fbHmkUGYJ44zQnZkacKXbldBXdFSKktmXkqTgiHVk86Sqq
Ko4uVos462MEH0kX0zQ+z/ISw5lsdjzIuBUX5jzIzudpecG0XD1a6YJC1Iov
zehkVDvzMp9VV1TXKgPhM0nsvlYFk2MjlRp5h454iU0M0sqWb5LiXR6YbQNr
Z7dv2IbII2fKyGQKcwEaETAUCkmh/kq9BnhzzuLoPblgJ+aC7fMFO6EL9vFe
UDbAO+AhH4p0nrTdEuKIyX5JgrVLrdY9JptLUogy5/mFVAGdxoIE+FQYS27r
scT+REEJh9p062s6GC4YZJ5/UkiaipOG8l5KRGOsazA12d6cnplyVSa8lqaa
h+9AMsnwDRlTtZpCa1ZbqUIvx3xUUoGCux0UDI/WDrm1ydvAqtPZWei5oThG
ByUS6Uc5J3NQusa45qfWw7Jh/911u6ORmmtO6KVaF0BQriJEi4GaBsi2mcUG
BTXVyzlrEB1vc5xIsNsWLCfqLrJdCQibWJylre5FqgAlTIFKYIgFyLvxb5Lz
HLcNhMP4o1g1QKpiRgljQqiLZNDWMXROSnkQ7FoJC+ja3GQqwsLEr1hlzhai
LfC1AFKmxqVRTeJJGK5hSqet0BXckmaBPdaxFKAsuNWtiqZ9FzCiC84BUbPV
B9kCQOh/ldY66VIrILs6KqImCiFuGraTM5JQpwukz/kyct39VKUpWmTZVIun
Xki3JBhZfZVA23rb+axjI2TMVlTt1VbpDGGIN8ECcK1XGsGXZnIUhs1JvR6d
nJ2Ghwz/73k8uXC0+MSwzqE30zJHlyYSU7pDHM/foG7kq4qGEeS3Jb2xEUAf
lDRsAyDFiuqeVUsBCblQm/Nv2k4vetiLHvWix2yZe4I7n2JZ4ZjtqvXKM4Po
eXqOZWS1frXd3OhFvEb2sWHLY9j523O4UbP22pUVu5IliDg6PumIhchvQBHt
SdClOze17vWVDFuvh3y+jBriqgxE8ZbLnU0LrHgv5Ts7PlS6odXRnoiHDA/J
HkjtqJ3nhbx+TUi6E2ieblN3/7Erc1oN/5jW6hbaTxFbvnv3U4+tz1zxZZ2G
9bk///pruJbgx1GzdT83jXK7n+ZRrI7+NBr2HP49hYNsG+Vffjtg/nTjjphw
fs6O7voTjtKALn9D6vL3tTjzx8KXVl1626rRcsu9vt1ypbngqX+bzX0F7RoG
BCX1Ki/e9+N5ep4B/UuY/FlKIjVIm0jJ8LakpIweCyXXFCVQJDqhyNht4AvI
zx6BSperIv8iUViRC0CL6nU6KaMrTLEO+Q/TRirSG0fnq6RcS1NbwRedpGie
bXkrE2/BDoa8ID9LK9HoppKsYy9okNTkhAuj2HARwsaame2STDAMq8GWdbbL
tlaaJvcSyO2dmsB9EdeGx8OBHV7lq/mUTRKuTl/ljS+autFupdOfeTUVwz8p
fmJ0n+SLxJeOvOqAgqCuokz3qzOiz6MrfzDC8tUYUSsf+tsTkOn+3jjKf2pG
1IYuLOS2I80fC19aGdHwToyozgscXb+BIzk1x6OC98ubKr1yC7KGgpUgm8/S
D8h8mo1HoisEJWqpWzbHsyEPq7HAC3JcUTuLCZbl1+a7G0w0TnZvtbis41Wd
ZuMadfc2MVBkWCO38HRF1teSFKebKzMyz/aYzA0827c5noFeT0bxlJzuhzeA
wogJDeBwrLABBhpWrnC+6/q7LSagINyyzYvdbrCEDbgClJk+ZDR4Z+mSQ4dV
uVdyfVKEiBcYr9PiQ2mgsbSbqx9v7BWOydF3rS55aqADL+Gj1/0q7x+aju8U
EjhPseA9gOYfq7RIONz1471FlX6iIImgPTwaA4zNjdDdMzvQJ9oAdYsBrDmQ
kwLQsuFayvJnpi+N2oMdFbHKm6GUUFqZI8g8dCZkMizqudgCqzvG6NDBdQu4
yy5V/jq3ztjfPwFG8ONpL/ppsLMF7HIf/tv1lxa89FvgYV0mNjoQsDp4wUQk
ySthD7CGGfZ+Dov1Y/jygXJsbxPeDq07StduXTcccEdpdLMg+xR8D/eDHO2H
OVzhBGOOTGdAwPkzGIky8V1YOmsdZFpHmIat6YCPsPOJR5IIIN15xYwj8v3B
/rOTPUT3gyn8QpqJxOVg4wUM0Sa3Ffa5Mh1qYtJLuOUhRkfB08gpLjCID3tM
lqW3M7MWY6+2F5boqUcXt6LO3sFJf3//dX/7Yf/huE/9b6WLPdnTfhru7GwD
XtFqe1H705zE4I0+vHH0I/7t4IT+WTM4hWDYHbq+RLU9BtvLgxrAwzq+0g2z
LkM7EKK6ygLCBxJTvj1JC8WphMwQqTwxEX37ftj6x3u2KRn7p81zR66jGT3D
gemmPVCawdJT0deauqDZWHr4H+AphijNo5PD717v9Q9dbOfHj/QR8qDvXe9Z
chzk8/z8moexT9Wa+gWt2nqAp5iTGeYHcCbFHOt/kMOcQvfLCgSna+l/lKCx
G324+MAg2sPQJGRWZyYW0a7Af1Sup+d0Vd5IayQI0iSQurZP4Rp1zuEizYm4
2yQ4CS2WLJRw7jWN9Aaqexup2gEJVoVOagl58TkmvleY8koJYhQu5iqorx1F
1XeUUZZxWaphJLouR+N0eUHKMzfHAqGZdyZLdnJbCbIelwQ0cHngJlaNelgW
tJ49PIplDgMjVSM/PMCZcazIV0Qvtd3aFO1XkYtwcChdxAUvrIaZ8VRcLCal
SuqWEFOkIC2qc+h3QQuwdYI96ShWLZfShxxPNRcxhtJl0I1oiUBvfZg5R09K
zXobLMr5xxYb7BGraEAMCY116lnJFQawhIf3KYEwzljWsA0khFZQ2CEBhiVk
ERRbEiCpm3t+lZ0X2LDPBdJrsxi+jdHWOTy0hMNVIo3tUKK2IWG+MdwqQSIz
GIzrXoVrb8QZE7VrWx5aW5JxsobL8dtx4L1PK+GfZXAN4Fgvb1tDvkFT8R6p
xSxYXK8rLDfRB6JJBQvM9BZ1V3w03HmM+H14cPrcEu7S8iXp/EVN3C5jutaL
HCbJKfSF0qHMjTMEyIWTcuqVUXeMVMw9K2y57aD2kIQCM/2PVRtPWwUMWeEc
A16vEg57VcEvqlufZBTSbDU+Yi1yFLZCdjy49oDlaak6U7WV7CkdvqjXgOxV
FrO48ADHReqBY/3E7YaxrStxUbW2piL4keOO4m+SKrg883SBXFwBlnVbrOXu
mI2hD7iseRK/pwDqtHJngeSaNEEK4riCR4gW1EWDxn69608dUAdrd/FZFdKH
UfrS2R33AlCq9mWS2Wq+LSlGQlzQ9RPRtCNAVtsZT3oWmgJZOH7yYZbOKxas
5O48HI5RtnkuS6buLXfZNyImSsxmOd7U0+ssXjTNjecEqh6ZkW6zPPGPmPHQ
Ys2WIAsFaqFORmxRxpGTkDoQS/8516Yqn8/js7zgbFAVVFNwjb25atlCVTSi
C7ilyGzS8j2iyYxR2UQM8QZwTQPqEU3YSl8lTM9hl2cFtgulPkikMIGwDBQl
zkjwci8IwpTXiwVmGqFEeg58f8lXFsnGWZ5j8CtQDOxgXqNXGGV4mbjOiAQj
x6EnOdvuOFepiK9ULwRTZWU+64tcM8HrMJOiZ5ifhenEFG1p6eXxnYYwnXGY
bU9YW6BsWd2TAQScIrbdaolTuUBAidlz6HNbULFY5NNHbG/fR2GeX+oYeukK
pKHfRwrMUUeFsttI8SqdkUSSAypDiESS6yJBqOUgsqswysQ6Ii00QhIykoqr
TmgRFyNNFnDfULetaoxgKq/a1BO7EL4OLt8DyR5C2u7O+PIap/HfaxudL1uw
FgWBtnOwazDafSCPs4SiwN9AJ5umefHs5XNJRNUthKlbRnlBEjOx16qL/MNE
a3m8D/Bfz2LT3kWZDIDvDRquKCT+TXjliauN+7JVBtasWEpCTWslCmy9Idt5
bY6sO80uc2cudYaruiRjJWgl74BmnC5WlH78cNw/SyuVqyccGhgVxt2dFZgW
TQzEU9i8MbaHj1sGmc3aRnGVizDknEL8EB8Pj2CQXnT66sR1oSYrElLn93da
reK/7ExF+UOUIuJCFEAIc4wHo+gsnc9VtYIS+aNxpSKhevg4usYupIoZod4X
sxaYZjXjGygeKWjTyeSCjBBs4/8/oNYXofgFl+n6AiW5sGSCkSpbCordUMKj
JdDyN9Tx+idV6vqn1taK/qsMzN3KwLz0ZH3FWXHMzsv9w+4uirxinPD6CHJM
rK48W9ZsjjBAk16kiRbQKMq64BQuMc15bNjknDvBn9kYg+tHWkZr6V2fDvTC
FV0ZE5o1Dn7GGuvTetbMG0dq3pjv96aJcPGIms5mR/HTNlHIZ7i+LNNziOnx
DDL33rgcwkN2Y9GbPJBNP3JmrONkuZqyredumBOQTjoXZQ+X4kFJE9kSJQ8P
zwRea/cnmmeWRULJ74Gk67ZKh0bFCjCBHQhIGesjKMVI0/oykK00n8eVWLCU
7cQ5Ve+MrNp3zr1g51cxyXrZtUEl+nqSLgmyrvi6cfxS/aC4mKdMFrlntzXV
uQTnmSnRFIN2dv1LggEQb/ICOc9w69Mn+OtbAG26/VjCI0jP0BlXLpzfBJvb
HqAkvOOwZVpy4tS+Z1Tx3SyUe0um4hoUVbyCKouiHOkjR3qIKIulXctQgc4i
OYg6UQ9YC1BbBLmsnXXhDR+J3QIG0YvExAQ2mamxRqVIqbwUwc+28ZwWg7lQ
IAAi/u+2P66zEEWdJZMkVcXxAAX3txclaB3CVBJfy9MOEqIRzLvIq8IUGHTa
cyyy5VwuEnJZLtjcAMx0NXEwQNM8utFDszCC0/LPLM8mEqpjdGlidQL6plaJ
pbg5yPpWwJv5IhPyhaYNS4yiveg8z6fYLBdEIYS6etizfJiEGryD59zHkO6f
msc5xAj7nZ/F4BVZeED1YfpupP/npgwjO33D/o+0m1oWKYaVeP5qDz15BR5p
4CoC56YD4wxuyoVs1p+M2jB6qSNet0Z8QnI9jA3USkEA1kvX0tHTJ0upGNZM
2Op4xmMjAQHNN5jefA0woC3ab/vuOfIN2c9lVlyWuArTcrIqy5qrsJ1sDBk5
PSdyeL41xZ9lZZ+WKBp9ngRsqnR+SVX9jv3Q+ZWKJDK2tFUpzCTs99Vx/P/F
y2fP+/x99zZ9wPQLjlaeJRj0WyOZhH/kzz89ZjcNX+B8VhmpIzZxFyX2rafS
JcrXxahKPhklq1rHCZ/w4Ztn/f39vTrBxoAJtvK5CConupm71XqmnM0EPAqj
KYRkcfBflpzP03NUaXt2du20wrvqrGgSq2yXoAmluJTSLKPyH/tRh0RwK9pw
qialL2XiZOiSkGSFAqI9lGOUOznf3OQelsBI2V6vyrqsoYyunAU9A9r+kkzC
2G6VIcaxIDTcT+PxY74WWkoh46hXWwjN34/Gj8k6T+Hnk+Vw52Gx3aNfR4/H
+CvbWyfLneF2sX3zqLbYE5d6OjnqP97a6u883LvTLDFaB2O6neKEIVj0kZII
6LyCQkBMRQBRiZvMfXyRZM/6i9FhRNhOwpaIfp5fMUfn7znGSBScuH4VujjJ
/HiRp9yRjb1CVFnNkDpyKVi2GkSsmOo+QHLRXfgLBheWuZBvmAOo7STF96y9
iJm2ZOBXbK0h/UDZwHsmOdGWwXJaEVrrakXNfQNKQ8okhyMkmRimrOnMX5YU
V/H7zRAL63OAmEQLPXg4jjrye1SB7MlyD4CCrWNlV9iecE7nw8WdSuakNQZj
PG4AAetJ14EvH3a4Psxkp/LEf0bG99u2CKZBZTMZvc1hYVxhk+cjrqQHwqwG
CjBUe+dQvuI901N8tcD0hwVXTRD0oJcO997sCbIV14zJR0Bd+39dgRgDoK4F
LC3/MaGsTKsT0f1QFtW09MV44xYCeMPNKthGgzUojNQY/UPmEsNFwRHYDgmx
tRARKwoFQaEMZL0cvZ/OsaKcqtccu5pgEN4geqYqrrIRRdixqSBKri+kc5N4
SgZ/UVqN4Z2RkOJnU1MFxAeRnrpz9Nf9roEwAL5f5Xkf5AeWCmnIAUbOXhv7
93VJzRPNNJxNVHLUCxak78PO+xg6DPenyFEa5VRkmIcYx0UsN97avgw4Qb7G
ElnG/ZcuMCEcA1T3ubwQDaGQhlQ38tfJYU9UrM2BIfz71Gfb3/PB/r5rI0F2
Izyz0rOF2BhKlEWboi4FEoCDJ8bvpVdnCJvkLEsUjrnOOHktTlAqv6JMNZGM
0wl1BhIBjDBwHhfnSQ0Fy4GdyJRZQPdIvbmQqqJ1TTeqJ0EqSLgRwI3vmOW/
ODnpv3p9MlDamS39xOEZtvSPRxbYoyzFX9S4Jg6ZJGpi0RIOgwBHy9wBEL1l
uZLCja85SKHz8uB1N1w3fIaxeip+ITUCR7SlrdPeWtQzUaqrXrLTLCkWlnAE
Qr2Lk68NGk8R44lpxbguV/h8F1NeJFInU+SopXMT9neXsJ5EA4JZFgxlvw68
W9+LQ0rggisRvVi5UMOwR0J+U1hA5NM4MHGQZSMIR0B2r4JHsaaPs9A+w9v1
8R63m+7jXav1HawzUgogIJ852qeZDOqG1dbUC9PG9IcUBSrgipB6dK2D/nQJ
NHJGcYwZ8neOCjUCtBmaat2x3XKV+VYH8ZseZmJ2ghMpiGOY4ZD2YDJTT7dp
p36nfGpBEUYVyUq6ICdCpZlTNr2aB9zmoLS6GGjbSTkt8uVSwj1MndMkkKhc
0YQ9sWt4FakZj8SydFNWESrIy7xiRWXuKcsiUbBS4JcDvdWh08nUTt4/Ajlw
0VaA7p5jL6SYDILFAmtPSJhJ7ZiI2YcH1XQqhMbPbFXPE6nq+fEeFvIkaYLK
w1r1sf6oDryV0gQYhWN8uCALR/nSBdc82X604+JCQbZL5jO3R2OCkSINCxD4
KXfJMIb69Nb88q0qMx9lK6q4AYvAO5ubkM1EZZF6pnE86Em8KsNsX7wagIdc
V6wi5cyEGfnBYhT+T2chsVLooATsUGGlKiiQuQyvnGIyg4QSW3qFrWMq0tbZ
4RyvCuEMx0CHRjglkVKsuqry7dNkwWyeWjaC9GKTFyoKXgfkiek+ZQkl66GV
ocAgcEqA0TGkjMrkr5rF7xWIgQ4on5y1uFIxKlPnUE4hWSw5Ghxki/eiUJpy
OuJSy23N3KCuKAbGBtlQ1iwoWNaQcYIdKlekGsx0fVBV0kwYRJX7pvNzlijC
6qAgTORcPwxZBRb2aKuvSuV07YItTbRuFbyRfs5DaDUnChNfxuncHJpESJIQ
JcZAuQJiX2B/sF8WOIwfImBR1luGJ7FaO5RMj3YVbLy0QlbKT5coxhs13JpP
JBTaRWSX+YqDGqZMU6Wtg3ettGy4LJPVNG9ZEaUmkEW46TEiuF79NbREN108
q4OjSS8m4lHfWyz1njDUi5DZBf9Ztz1X506xf0x2ic6ilHLeQN6/5nzDDlHD
xw+3R0gN95ZkPPoQfTvYHmxz2ae0LFdisCjz+Yq9qqJqCDfHQn2EQHnDPMgU
iHXlXDURxdQs9T7CaFSqtAoiVTqpKO5pLZxtwlR8xnAsjMongvAiRls/hkEu
VwW2KADKxzt9Mnr06ZPN7UDz5VXMvYt0MCz7gMILi2R4dW7SfNIi6vAqu63L
ZBtOrByjxp5DzjeK9zG1uFKqGujUARtnJAE9C/JGltqlQNh8VmDRdMqErEw9
q3J1dpmQJNG2NLaukAgEFyP2BHkVHifm9khbg1WOQy0g1hiMKa7Rxicaty5v
+Oj4OVG16AXaL+HJl/AvoAmposcH+29fvz548+zgGeMTShwkqdjof76xvnNF
XCTEvFcswtBBhRCwHrYrkLY5OZhNKDomvxdt+odCj2w2lOkHjHr45NETwChV
I3QQHbElVg9hDKN90rrcMTtgNkzJnkJMoWPif87a8DLHlF+mlxhNxDtEM515
rRQEtTgt8roz1sYKjhji28fWvfikA+oAJBBMiscaGklcwCrR4WpCmLgmOxcD
C1PjSOgqG5vtlsbdc7maIy5Krg9aydB3iPylj6JFlpDXZWMWr+aVSWrJMxsr
J5XgeZsOdAssR59I1I+x+G674v5YbKQs86w/mRXnfXgPg3XLPmJ8P8vh6sBR
clCuEcol+mAZLzkJBQ8MBOCy8q3KD4FiDm9oIgBAKGF8qTjJBIzFGWbmk3xx
xhnZAWbr/YHgM59rMoIVKe1Fc3EXhz+ULu9V1NQwh1GMSm3iLgo73nkI7K3E
ly481+Mhv43BGKpju9TUNi85LwIZIWzkdIOTz1nREw4oZpZnWy5ZTcqGHN9C
7UGbjxSFoRBDPG0XvcUCqnG8YDSzMmALzdRpUkSbYGX7ezo7Dq3+OChK80UC
GtKcib22BYPqbAJN3YsuQZmmWhcebWDzHg3NDDDVwDbs1MPVe72gG/vI/XJd
f2sqaWGGDRuLNAyry2W0D3vLgzJNBl1JSnJsNOem7UtVvH20AOARJ+QsxQgE
I2d60XG22iF9k53nzs5iRQDPJUi+j7NSElwaE5ekoYkEESrhSuJBnU+mcRO2
hq6h2yYYw1k2yStq6hvTDRUdj9UV1fWePqAcKzeclDGmuFokNsoRwbIK4GJR
abDaQqhUXLhl2V41Awm7dybZ2MHHKjYVG+HhmJi+N2pb3P6DaIzwicI0oYnr
m+pwBDGNy/TSmGXM9F3WwVUfmyspWN48FKmUdqggzir200RdtxITTdqV4iNX
yHvRahHKvaIJJ/QInCNAIs4SlFqby3ib5DtUMBjUxkcCf4hB+EryagxJdHJT
85g9fpcaSXgws9ZVm84wTz6kE18nwgAuYIVoGrV4gptBq6vQfaq8jcJFTx2x
ZwHRzVfiYhpkLgL9nPu836tDKuW5Y8l0aAakAqAt08pHQjCzsEKyjRQkfIrI
nLPtNWd7lrW0VpPTysiUO/DQqP/7f/w/bSMxDhtxHDNE5/nkveFPcvSyJ0ay
WtFtruZgfGueVE1eXOPGrry4Ui1W0MmRGimX+FR43cEHuC50IAfZZQoXiBsg
nx4cqFBkZw52NinXJqpUU7hYypTMC7QkGGwQobFK6lUwpksumr2ubZtzSV9q
8roAEgZfoQuHxRYnyPoSSc8GPJMFhU/06Pgl70ZkOuL+4V5ObVQfQvLgwHit
xQxMJdrxppnCdIkCrSMtVYzh0qKiefG112ymNQhDm6VB3csFpY0V/iAsd06p
1K6s2J+d6lOQF7jm6k3jLP6kGnvaxrOv4jMQF4/Fa0zVevmb/hy/waKPOCDF
vKMPkuJo0cphHM1c6WsabTYNvAmEdJqYgtRXkvqWoSq7edCWqvn20tTZ6dCY
3U3TNohmVJ2DqVoVoNUmzAryGmzjMk2u5HEg/KuFVXHcehGRaXE93aekJ6Wk
bfXgPcIwHoK6MbnuCIY2MeykBoYQKJfSnLF1ZO9k//AQhIkYnZco+2x9GG5H
ffjnEcxCQ2CM1XnKuax00JtHx4c/7J0ebHr9LGZkd+Fbb9yHaDbUcOF1S3Qm
LU9ou6HcJhjFyK1Sw5fZKTrWG8C161VP1D8btP7dyHYy3FAg3SU3pXF/mJC5
IJp2w4J8N/rb30jfmuaTFaLz3//eOu3t1oPtDP0FHf7wz1kPC5nvXscI+ncn
RKH8lT2THDcRR/nJSJ78PdYUz2+3Inzu89azoeiPH2KlyA9z1b5BvzvTH2/g
Pyr5+QHvZC/aK4r4eh0V6gmhoeelmbv0yrJamPFYNlOqL3LJafrdqD8cb7jQ
t93ozYM9wphd1AST4lJI1JGQqO/L5Asjrl3H6A+yjuEfZB3bf4h1bG0QQu9G
21u9qL/N9b/G8Cv8Ix/Juu5UkUx6wra/83V2s212MzK7wf/dtB1MA/b3g2/9
ITY0bDqebfj10R2Pxyvp9k/azKjxdG7aTfPp/BH2Mzb7GY7r2CafyX72L2L4
/+HWg6N8fr092tq5DbK1v/R19rPTuB85n7vtp+l4fu/tPLR3JzidRz35yCAb
oMp3+6/bjsRDseDRr3TrLWaNYJ3jES9oCL+PAGj8mVk7LMIuaPR4bMBPvx6c
4D9m6cGTX2npPhKNd3hBO+pSjHfWItHLA3cElM5wiztB73zmhqx4K9GY1A5T
CbccCtinGq23kGwpIUjJtmrUP7hk+8cQaalfT8buXyxN7oGf+7Qbc4hqO2nO
6+7no0b5o56PKcTfC3q2Iui9Q+NTsnX7vYPqeY35YuowbGOnEbq9cDx+Tp3i
5x+i3yfXM2lJnNCeV7mRomzVHURLWD+Jp59x/9bM8Ec97yZDF1+9U3tOtbvJ
dq3PupucP4VbesE1so9cBSN1CJOrqs9FtPtU4kgfhrNQSWyoqVIPx1FIHSf8
YrN5mk0HAHck+jioX+vbM4xSiE6w1B5F3E0xnt5kCnZwaHMa3I9agHv/PSz9
fq0AuNwDXNCPyVl0SmE+nf0fT7viWBw9GWLUloFiOOakbBkzw9Lf0f48TjEN
KqmoHnjXFKBHRwCmxOEy4bkH8B2Hrtk+tbSmdy8TboEb3Z9ks/vRBIeThT0a
PzIjMF7YU5qZ7GTsbUuxgItlJU7mBbZ7naraxGTqpObj7d2mbbvgWguLdT0t
sIfHGzw47jkhyPmrwmL5or3ptNdn2jaWrjWYXtdxGleBR29Wcfrts238l8D7
2hRMgg/2uB9wiAVR2ADk1+Bf9YXXe1ef3+2H8E86gMWXOBFEWQWLIf67iJfR
g+jeww780hVYNCDvfzJYhALgzcTvfTptJX4Y7MrhAvZCnkqfae5U8LsRP45k
Lzmc/SpcD3VHYF6FUQE4jP62jM6w9fkD99zXJC6NJ3erY7TEpZGu1GjKr45X
1pHot60CDpexd0zzOPDBH4TyLoLjV1BJTn2V5MusohGVcfL9fLEACLSj8/vk
uj+hh34rSjdO919ofXeE+oOh9XA9WvejFrT+dQ19B/bAMjKLU/069aeHbhhj
EVfYOSjntTaPccMQrtVP/dsvCU/vgtINRf6qy+i9ltLfwf1EeRtLaJAK/Fuu
aMt8t7ugoVDEksFtr2SaUQIfBhZi/IuUMmHFw9WXkmfYx4vodrf7jLqbKVEl
WqmNSGRQSE5sWjrFtDKJgeYy95uARDdyF7Gs7YGa7/zQEn185S/NwF8zLoyB
pvLwYweCTtndVTCgJzmUDF6oClC9kmI3Ojw4+Q6/OvHyXZ/JNaUxTGz1aDCm
Xm/P9yNULepXmtAWIf0jKMH9lxmC8PvjwyarSzw1KIlxnf339tnNZHqRTzZN
GOumP9TNyBg+TyeGA1Olgg+7EY2vgDHxgHH6vA6MqQbGv/3t33yb4b/9/d/+
ju8cJ3OpxGbTbnepkRNB5TWGY9OxNBqhHDgobpuzwzdVaOuDACxqPAcS2ith
f0Zoo96nXa3OKvelhcOxaWbgChKznxG+e7uUAK6G74D/5pTS5mXUwvd8e2lG
FdDpPYLJAQatHtl6FAaktI/DsI9SOIYs4wgzyUtsXO6lbLecVNTxPuriCHu6
QhGn3lLqJ1ZksKexS0V6Xe2QhG7k8yLmRCQlwrWsc89Fw2kU2diIom+i1/F5
OpHcGEIzegm/eY4pXETDMSHQ/+51PMEyGOVFxOXg8XDReOaeAvBQWc/o/wJp
hRrIcaKDFNao4gmTwBm3N/SRFw9pk81h5X1cP6VIAL6Viam8zMdE7GWFLHI3
whjAt28Yr5B+S6oS5tDzAwYcNO4tJ2mlW8gmMbl1n8l5/zmt/stcsaaBb+aF
qlrG8cHJKaZlq/DMErhjfnzQ1fIv7VARCO/ePrDX1N63Xfrr8NkuKufjIf2l
XBotBAogBQfCuUZEIjpF9bQbvUqz99Ep1taoor0KzusMS9L+wHFla6FYmNEY
kMCbk0EAwbtO+PWgK14nvUr63OPKbAg2+xrcErD78zRIQ+AIVEtDfEBhsjWm
+6J5GIPni0vK/LAPUe0grs8k4c8m1ZmKU2CUN1Vu4OBfCUX2syUka9gzJ8M9
5XYGLmWYzlSOGE2vMHRsSCkJPmqrKBIZJ0DcaKpOS3Njo3Nq/0AFjzisdx6d
r4AiYglzyVS1xTxpHJ2zM89zirCe5dIZjOLi0RbNGQjThLPZeCHmfc4V41KL
XCILXnKD4ooyShrB+j7olcDc2Go1xVOWvRS0F9R/dY0fKjPkl4zwDdfcyQ7u
5Dco8nLRdupXQ6IqpY5hiqSy+pcDORoJylfNBicXiSS8T0xi4cykzprcaOcK
IGygiqB0gGZYl7asC0okJliUCvJ7Fahwo5nTXTlXxdzEnilYxCWKTOcjO5kA
y1Vp4mVJqnu+TDNK0ZL8gCaoJL7sIZ3GknlyiTkU1FEJSw7giEQLcKNCCoVd
S1Ylde3hqPaczAUU9j6zsPz/m/u25TauK+17PEUPdEHABcAACOpAW56iKMqi
deKQlKNU4mI1gSbZEQ4MGpBIy5rKg8w8wFzNbS5y5zfJk8w677UbDZKOPZPx
/1dGbHTv81577XX4PuURwhwDaoK03eKyLXoWJnMvXplhMaRDys+z5Utztywk
EB00gPGo4DGj9OwPtkiErI0UHNKSBQpO5jPDPmmenlu7xM+UBXhqhAwUYCbk
IGIiRSqDkgmoSJzVcXa24FwPAuaCNzgXwXJ+QvZ78F0EpAxfOhalAen0fCEg
dFgyDlakLxeS22dAZgoSuvqSA/lg3lzJCL9U7xijBdiCpgQQBznmeeg8YZi1
PD0FQYuSvN1OTtPhe5SMhBJEodgS/Uqo6Igbhjx3JJjp6P90byEPCbqHIVQ4
Lz/krRuA4zjEG9/E2UZxtw7ffiXliVaO/Ki5WwwxF0D7pFJtXhzmXIQudISs
cixMdBJFG5oX7qCYHIDHIvLJzgo8JrXTKtU15bogrG3J2IRWY4I7CWzctjcM
ALZY+nWEy2L+5SEUeEnzuP+0kzR2yhl4/Br8iNkS/uUYXZMq5tweZRZVeCj+
A1YzinZ2rIXLrKQjW2pgp4lCfN+xjdyQHAinIui2yqOne5dy8ckcoq5Vl+au
SUAyZizx06RBqdkMKHS9yNpi9Cgu0sts1LxhyDidi9CHYKVTrdoO3BXCnJsx
SXuLYXCw0ZiYGb7tdZNG96q7QzgxVga0oFnV1oA/OyS1p+kmyYrE4ohHhHhz
Qq374ZV2r4/V9p/8ptX2n3TuPoU02CRsQfRckH10dRrxJTVD3TqV0ztNFpbh
il2dJr8KuH3xjHWvnj3DwRv0nj37TYfv2TOBjb9ZjCFFGeYbjpI6KgPQRPix
Tsg5mqOcn7UIFQd0Ykvn5kYRiRBJZcl4JCTgOP2U0DBuEhXRgGky342NJgka
DRStUth8vDo5Yw7HFB+6pdHUxEnpJ2ZxMuL7P9J0qrQjwLKGJahZK6aA33A+
tHQsb8m8jrDFQ/Nh7Pimj1CTROCoKZuYrJnDgK6rWMbQ45+FTExjdCbk9LN0
iBYbzhotJUKrmXdt9xAUSKW4cpHz4ZpObz5emMSWzMRu+UtF8fERaK5gNnNJ
+SMxyiEw/m1DRZtzSjT2wmY40EXT4f3pHp+d7eHiqh2wEdYfpXKSo1rPfZst
FwicQpBcpCq46sqDFQiXlpT6j7dhAYomeXVWyn/abCV6WUW0Xbp6ajUrXfEK
OWw3VZUKufrAVTs+Tful07RJVyJUc6N0J6rapRsJOjRnI51eh9TUElF9wJLU
+BjNZaRAsWOT93GOIjd+VDF3q62q+BEa2KIW1quSvOr0Wfkn+KYe4x5I+4bl
kcW9f7GxQbK82xSYevIpls8eKOEJIQ8jCksLs1xPRNMXRcchSzcQQB8+LZpG
N+EQEnb2dp4GjGt9o5pZV30jERQjJiHCBfvUNaeALmt7iMaJbjAPq4CjA6wE
Jj+m5/OMMl4Rwu80VUQczINmfBEt1RiUpM7E3nVIj6EVnfXhx/G0Py6tskb1
PLdwmvywN2t+CSe3l8OLgkpx7WyujzbmrVOaLZnslflMf818al3ID7BaF+ZQ
x3QurvIYyvsfWkzRUQ4qhAIFV3T1F9TW4t64wpSzoNzL6U3ynLVJOSPxPRGf
UN4qYorIU0yED9T24aONItYL8ByKP618wwFY+fiCG5UdPP5ZDdivHvYyLMsN
qhqF5pZvhp/V74pvZYYsmleOFP7l0GRWRmvhhUQn2FPDEaVAnO5IIg1ync5U
nsYW8cXyrtfTavX2B3q4jO6UTCKr7YgQS6QugyFhiL9wfHkVgm/ts8sAvkda
Bt3fLwnnxdkxPI7nVnuxhJ3BGoiaKObhKu+NFcNZerle0RAshEU6FRszah6y
ihguQa0Jc7kATQP0CIwUVyJU5/3Pnx2UaQwJmxKFEuPEWP8YW4HQozlrEeZy
+B4E8Gw+Yu4EJjqejsYByWW0DDC6XInBiyrq6pm433jk0sCRZ9aykUHEFmWI
WFzC5Gbghc8gqdbkYIBT+Bzr1wQuiaQ7B4xdVjzj5ojUIZU4/TDL4V+MSgR3
iMVSrGCkeOIocxC0qNGEKC9WcIczU1IDaJ/RuESbbVU00UtFtOOcjBIjezKf
jYlRSGmOhxezIpv6dHpyns0KjyqizDaqlamOijJiZwjSYiSIlFWEA3YD8msP
xvXgDdxdxJDMdrN+pztIGuwGhDuZAIdlhnb1dp63D9LFxXZS/7ITIgrEpYfg
z9FRgth37M5gpf8jziXrGQuDDxEvTWbzJozV6qkZ5XiTmWEcjseaQ+5yeaVt
r5B8Kc+dLvQzjIwhWkpVrrdLmjuxTxRs8RRReD2eMft0Gg1XOCJkUcgA3eBo
6pQq6yfRmRGj1Wo7rBpZVlKNrsSKVq6ZwnLtm7+o9ts6edtwMb5tlpH92S6Y
/+td3hlTsomev3n5pjYIwkNIln7TBhAn3+ycEWrRT6QzjyBGUxbKMah6aqNh
wFEM4etmILxzib40wb/FHwULiZvdCoZq/6OUw1QQZN41NgKUYHghKojNVDNz
zKBQZQxgc7AbK8oEIoGmWPimtLAxOWMyhzOB8SrLzKDBwMoI6opRUenFhBQg
o/io+J63fujiWvskweepGpeflcpzTdg/q5AT0Y5ouTEkkFC5otUR1rmO98+z
raYXMSgUmTahwa5Tw8h3w8kAeaJ9o855nS2afNctshWTodpW1WDJZ9MS6xyf
tdE5PKEjr4PfS3KYtAZWGlvx6UZALMUlYrxahI6Ix7K+fjobXTtvLT6Kh9nQ
d8yHLvYTVEVxsxDKIO7S0n2EzxYfTGJmJVKmZQoKk/PFV7UFwaS6T4hvB2Mb
RoykLlchQfAOZp0YP01OIlqiPlaRk+hQEezh+bsvTvyglOMHHKTJtPaFbXHn
pA36A3p0PU2UrlkyR68vIOyVBi+XJpV0w61cdG34j1XtWhRn+xP8GWJmv/lJ
UiO2WZI3MCfzcbfT7TflM3qM/7xZKyhVkhyw5NwmsPNW+QRebdJPX4foXWsS
SVwRuPIJPaJ8oiiWqCrMZ12LSgf0P3d4SDCVDu1fPzrlEtYtlU/byT1b5YwP
9LhecTVS2oMKqvFcaCx41dU/Y5kgMjDIoA3ny/n0cR3xlrN5XThbPG1OtMdU
My6ig1jJHm8knvXivPxBmXFSaRaC1hCaRJI5asa6Utc2Y127V5qxRtj07yps
YuEQKRhB+WR+G7NYV0mf/buJr1j64Dm5VsuiM7YIlQj148IuJ4LqyH4kkru3
KeLCYLBOB/z/LQz/meKtQtT+34q3/bJ4qxC4/7TRWRG1dxGU/V8nKHkd3iYo
V5lz1xpfnO1CpBW6A3hvjFR3PcvnUEbVnhp0ur2k8Zb4kTBVHzeWTyadriMa
Et3/Liw4qAL/IiYcp4evGoL0ihkutnYJEhx+/YSCyVRVpRF6gqCz7d8hn4RF
KRnvj9jkHm09IhNDiXB7LiHYZO2LuZ448q9KtJG5lNh8UzPCz2eXc4JIjq/G
aCphilJfEtnK5KYZ3QuZgijNMXagIV48LI9guSuu3utkL4cgwCLORiU5TJbS
SlMpynOx2ZrVNGJ4LVtUyfSm1mVZVmsNzJWNp/tLKnsomKwCG0DlrZ0Lsdc1
xIgiDuhTNqJdY4gKFhy/T3F7VTxtVQC9ZGou1ccxdlFxSZaTvRq2XTdpPElH
lDICY9P0AQSiRXBxgr8u7BApEsEIuHC0+ptEmLNF5VK+B2ZHiLWdAFeiGkRU
VNWAi4pgNKbB2cs1MbP5gkwHAv4ei2KLv4zHMcwSGzfK4hpVMs0X40g4JY1Y
WW/qI2B0i4+zZI6cHW3YmZdFzL5IalVsS5SAAqqTtngNUx4ml5i5cZiRPV3l
DPoAJqDBMFObxihG9BgD56e/333UJRqMLLmCushUi1scVZlpiUHa8zUSHAa6
2cgYPndt+BDcfKhKzjUAD48WIisphikayyXWpEwMT2FXs2nWJiogo915M83s
XgyvEkEFyYKhDAPHTGi8vJkByp1ia5Fnw/A1k+YcsUmWfClsL8Ymsq9GZ52a
MI9nIvKYKiVrmyhZ2wc4JOhMezNcZIv2EQd67QaXWwVXdr+z2dkUvuy93W/x
IAv8iSDouVayyOkbfNZIOAmjjcywQotmO9OAgWGWjxtJYzw77yd/biZfJg+T
JtO3aFkSXk8Ny9X49udW8qqVvGslV5esLf/79aUwcyyyy+LG5kuEMJmYMOyD
sqB6HRmFhRz/GZJKM1EKVCIhdlEn3t3SDX7bAZ571ybswgV6AKLt55u8FY04
NrEPq5FH9FXyOHknt0ONKFN4aA72Jq8ejte1sUkEVpHd6nUTApOEUXVqlKSc
38L50MJuTipHmlz7de5C9JlSJXCh63Jd5KDRXPMW2jnY56XP+wGmUBhFguT7
MZvPhJgdjwvYLy3bShVdiLyJiicvGh2OpAwPfi2MO7KdTq/1+oVjKcx5vC2Z
OIHiYbpX3X7S4CMR54D+/uNPf/wpeYe2R94Va5rG0eOYlmKRVKcgmM5ArSMP
UYn9zSbDmKglO0NMoRZpTORYlRPfCPZG+EvWMm6ufJKDIESrohhSsw9qMga1
WldSeWbFhtpa18EFnnzkYCZ/I+bgWKgm9BRLJqYIUWnrxiTEkjOiTRCiBm2S
+vdsM9xTsl205rYYJoys1Qj0YCwpn+7hz/AcH6t32ujt8qKaQoX47nQykL+N
SNVTGLMcXa0WyylUcoNHKO6oBerQ79ITbMoNPFCcEKXQTRQZQt9vPbz/SOHH
zFZNxUt/xCwE0mqIWvkTzlYXiIrSodzAD5q+qXyAEk2ALH3OaZIdS2QerHcZ
ozo/UzWasi4kRmyZY7qJnDTfHb15zQWji3pMnl1O/0fQCtxhrDSZxJI8e2aW
JV+lCAaEnsdD7P7ASUxSK5XUwUKZuYgotrYlw4auekoahMLT8+mMGNXsuAop
RemIVAkipB2JXgGNvVhO0mlhOhuNNSG+PQ0H0UtYpksclAZOUNMvAB+TgBoF
E9JT9ivPPJFrMfB+TIvDpjGRjZIOjD3qRMVT93R4yQe02kl0IuBQ0AjnxCDv
nSHQJApPlKh9ohEMUX+BtxB9BW0+5zguOUxhMUQAupbjSkE++Yw5OgqJsIBZ
CgB8CsxHNSmYmI9ASU9nEhIwSf+E+hzULuvNaNaVpjnE3xHyIqUZWV8pSMIv
GMmKKDBIERS2Jfwv4p05nxTyoPsRaCCAQVPMgJ6lobHgH8JKCxTwCCxaYL7m
D0m5QZMUVJNPnymvLs3nKw2m3UY+H7QQKIwaBrxEL4IIx3NE1FKeVPaUKUzE
cQi6isAE8PxZ5JOs4FWFUgX9P4U5xkb5yk5h1iveu19/7Qm2/5UptpNvvhHT
xiRLNYmdf4FnGngUeEqsBAbSoRc9+xkMer5Y2qWb3VaSP3ianSGlqTDmslig
4zg/c+U+Tj4lg2Sb4ls/u1qwOQKWQ5FW67oDBcBPvoxvvmlZlg8hRHLSwmAz
7XUHg67kUaSBRSgedzIrU8NlzvREC3IZX3EbvJP8zqWxxQeScMJq5L7E63rL
DT5BkulzuuxBubuns/mrjM6VdSa7p0GA2H97Iiqi/zCfulaBIvML/6v1ktX/
QKNafbycygklO7jWH1R92XvYe3jbl+2KT7tXmw9WHk6z81SI7PXLraovV+tc
+ZLoi1e+PFstzouiGq671a8G3ZWHTmLBR73+cLRR/qiPT9d+VPENfjTY7G32
72/eH1R+VMeP6uWP7q9+5ORmTXcUVvfZPqIt1IsaCIKyBjuwR3jSNH6wKblZ
m91etx8Nnm/WH/w3P2gND1c/IjFda/jXm/r6ysuJSeWae9/1+6YvfoOdcoOV
fa1FHNVHlO9BXSlimwIzZubqGgtQu/yyRP+xmj039qJIftBHNaEre5z8Iel/
QQhcPyjoD5JNPU56XyQNuL/CHyfMHLSNv7bkEasU23jdbNWatVoIJ3lMn73a
O37+5mn45ujt/vHe0ck+PBHKNXiIXHOMN4R/7dKvAX0In7F078FzqDSqqC8V
fXvy+5Pd/YPne4fHe++O4bEv8LBUoPt+U753327at+69wep7A/8e2wD5HYNH
tm4bMHIYKVSb5H268VLu8glFqoem64gv5G9NBHFvsAljmzQiLNgvMUPrg8sH
36LujIh3l9vPajIzIyZrOC2RigaeZAvfKrOJ0pnMClQW2iGRKqQ8UyfCjeU7
+JOjT/FCNEovNWGRkML4rLZMb5fXRKSZAQeEs9oLiyNM34tuhXdTARXlu+CJ
jE+3ZTfVExy+nsAFGPpwiGPTSimZiSyPgbYumERZtcZ4nr1dip588+LA4cbB
kvdO7b6yiqlCbtCnITOIQoKSjauNOGn5QYeLenBHjmPN7eDcCE7jc+3ajNo1
8O0SilVro9hg5hbVLnOME4BaMY9geZhZX8urjdFFstXpt7fUMnjrQu2UuqKM
w6Snkt+GjDDjNOftRSznRTEb5qk2U2N4KcnQ1qhxwE/1bqQxhh8oepcrLhUl
NlXo64ndJnUAxRgo7lD4gBFh+VqZCdA4BkcuKQhRCmzoLydpOmrKduGVvtTY
jnwq2YH4B+X+sMWi17svZlqdzRzuWCCZKJx2oLruZNPU3MkADR8+D6TpA5DR
2pl8oXlSOEIvoLQXJzk/fz3DPILX8Gj/e312YCN/ELeEf94J40eX+B34+I9/
SOq6WjQ/6vg5tB2Bdb4g2Sbs7G7V0tIXz0uXo8MlXMOv7PI7vdYdljepqvPV
FU1S4tblPIDlPGCMvDsv50DNvrKaU+x/vLjUwy3uwtavW2JmXlDiwdAY3RLK
oRtZ0OfiqKeWsBCMvmRrsR84L1TZX6yXAllp+B+sBZvwXt31rZX4ZrfMWfoD
f8qWjzVv8ykmH1BQaexsm/TDjuAsoKdm0SiDttO1T6JHr5N3na3uI9xdu/h/
PT853gRNXZMULnPplFfGFXxtTYh/GsKNsS2mojZW8PkznUOYrsXZcKy4maF8
42prsYFN2hjiP0LD442um1sv3ld0W99ETYgmbReqeo7Ff2bGbvx9nzA4WpVf
Hj95unn7t19h0+Ef1HoEZPTNXmqzl7+42VuoNs3zX9DYwbovNDM/fOEyxdlO
5kKQQTKOOBeeHOwSx0F088TerWkjueL7aHIPs7Vj7utIk79T9qyGyOSgChAy
Kc173BHsBWak5iN48FkNgPaEQEMrOhg4m4XTQFY5Aryj70Y7qga+lU3QEvwx
dsh+SmDyWvA/C7hOwvNPXC38z4mqubipQtMp7xfNdbaRaEhLuqQNLS4XWuWl
VNHU7zj0VuSx6ymEooSq2XHg+hwGebg1xNZfbVFJrZs2bMWurNy9bmOH7gRN
EdF2SQvdPapqeMh8qGpvRKRBbVwh3aBQgdo9BbeUIKbjDIYPR+zTPYxoaC/g
7xV0I1kCDPQzyskjhowpLjbd0qmkXMp+xBdV04h+5uzK2VzVcgs8ww6+e2f2
dz4oQrQ+qFzLyWWAi5pA/2An9DohEEqj19KVMArKh/zMA2m5ZAbYJVknPgSt
8TgEpzbRjfcldKKHkRctEAHlqBGO6OrU+h29HsMtO2nsYx+L+DxsJYfyFO25
wwRuEXhKNmuboOTh0twXZXJ/b28vedjtd3o7h7Busw+IzxJh0pSOGltN3bss
0w4dl19Aa9IhuYgLrd6l4KPNfkSF0zjSjV0/1K20jwJoQIZZ8WYxfDKNtfgn
1uAYDKTLh8KqAqtf+4CXptVpRMnQxg0k7ecLDRWMIgvdS25bwAy8X1w3kbUt
aQznH8Rz0O4nDR8O0uzERwO15hNxXWxjm0A5g+v+KAflf4Pkf7bNTBiSPVkt
RIz4hUlfdCusbs3aVifwDaUR35BeLQxsMVzCeRFUBAsV2TjFRdtOh1kbrr9t
LPJHHK/7UM/b/fb9gYW5mDMaI83kROrUHnRAo9fdaffB7XLKCwFRFk7pNH8Z
ua4O8TTb5xAlJTVjne9p5pJ5Qfa4vz5r0GJAlOB9r5TsFenABJxBycK2kU12
tgy7UgN3squM/Mq5jyFERS9qlOY4W5fWqPmg5W9ZCBXnQovrhVskqQBxGhii
AilKNzo3G7tvXjd9gqFl1RkMD/uIJLxtkrPpIx1iCDN0+5yjYmZT32h8Y5xe
ZwaLbgh8JfOJz+POixDRoOOR+aa5OkdJY2f3RdOlDFuzw/sUfxWWLF0UI2mL
EQYw/Lo2RllpZkOCbTZJ+ZYhSQBzdj1FsTTkYhyPJSg/iuBALx2hNYU8Y8Kd
VcxqtSBlDkFWYyXRJT/nLHbypVmmvMvilza4pHEa/ULuiaY73pTXTsiJqEym
fAXkY8VSxuFRgU43Wrcr02M+LBzuNghxRFg1PBzEXKUr2hxBjnBNkYaIO4PD
T9SOEM+ARxCqXl7blOQvMx8aFUV2ShgRAlAFhKzUx5V6S0k6ZUQEQyiQa/kU
9ceoXI/4T7rkqWmz5ZZYXZLY2AqAkpJUu0AYTEMaFU2BLhy8iZfzudgeHcYD
R0Eg/maqoVAr28CDb4WtQCZNgrKhTeEhw0qoKCRPKJlm7CjqJlU7ps65QbLE
4wgmHJ9iMZO4gHJWblwoX8t5xc8SimDBcaLAqLWFv8+ySyk7gsEoFyYW5dtb
gRvd1X3sPrB3fMAGV+eH+312uVAEIRrrjyXkWrq+IJQHbFqSq4hEcObvFjIx
GnYcA0OQLujLpxDPd7vPd15/u3fycv/Z3vH+q70YHWvQeejiblnwNqO7GK8i
F+hHUjre1rJeObn0NBumeF6vygQPrCoLT8SvLDIaskk6vIBS2a4dJyRYAKDT
O2Ikh7VbA0sL9hPdzRZ5Qkv95j2STwmqJIATSTA/R3bAgCWvJW0+OaDdzMGz
lgVWqx1YtLXHBtZke5UBydmSoqxC+thptviIJCMEyp1zo21MUPLTqqRjzMHs
RWnOmjShdwMSw+F0CLkFDb2eNKVkDLEmDf8UVEgU2BxezFKR7ydtCbC3aPJt
RhXTpxQ6KeopXnbLGfCWqt1AZG1noE166/LDN9DJuhHMnpTbzCGlWEeTQ3Kv
LT3HtIAFa4qUy63123HIaObTa44nldsGton4ITUNge97i+EFn4ZaRYQW0Jai
bRVyIF1n3SLQuWf05DD1eHzgahCAGtL5fDCqBvZmBC4huCg4yOytClg4tdrX
/9Jul2vncqVqeJ1PNlzweK2O1uDS2spGoqnYktpjOl/QQAzbg/P780UNbU4U
ndrpdOAryRIZzaYbErUKBSwoeaVgPQOObkIMRAcI+jpb4Zjl9+hWZguDM7k6
tXb7G8o74Kjkl7PzWg1ZYPiGtJ0cjMlLDbKLUJm8MYFEAgErtXs9QX7dJvIK
QksnpTw2JcA7L/ZeFaV3nENv1RpC774lZh/yLL463nePRhFwoqPmoHdeZx/t
poC8ZP+2S48PqS9evYmj3z3aGBe0d3UJ1zCB9YE3fIu5LOiZhb7udjajJuaa
/WKG48KNXJdHrrctbTOnwMi3vWREK42P5CUmb/HOjTFLu0fRc45CY5DqgMG9
dsxJgggvaVSOGg5l02BULfmmFZeRvOFFNMiU3HKSYihCLmGQ5FhvpGMMDiVO
yJJ7vUkF7BAbBUy3DgPPxM7TbQlgHvkIO/LxjQLGuvIxKNR9NCHP8nNyPHG0
CX7KE0Zxf4JiqnFlQ16mQ7esuGWBboJGfEZApJ4Tw6q2ue4+4rnubosHTmMt
JDo6l7BRvGV5o7SJdwt0u6SlRGtEVymaPHBgcwM41hgZAcefqmM1pdgE8dxR
X5BBDSqm5SOqkvoIcVUssvVrhAp/ywsFV8oariusIbCVzSLuKhuehzQ83Ucy
PN+e/J7PYh81whrQR2QVGy9HQatgc5T169XOruSb47827TMmrTArLEM7wjp2
A8jJKX//y3/IkP39L//JB+RHo7xgRxxKj3xhAfGhmGgTm6LYImqwp4Yc6ydA
TCo7uxougqEaZYjFpWLbm61R+jpjJME0H1u4uEqolQmK2uYWuGvpZmerRRw+
TuAceIFDxUiCD1oH+2IeNCojI6Djl9GXbUHNOI4WzmsmEQxl4ihjmU85p2RV
WRuxKHyPn+uG9tHz5QbCRCKkXMZsSB/TuSSBDa9xYqnd8MrqT3EN648ZX1cA
MtiYgg4qwyKqlmzmEhadM8r14irLIWMylleXKdVQmmgQ5DW3lR7wVnooW+nA
ISxcyZFVApw0RStfIGyP3gZCSydwlmMQIK85souf7L45PARBxyEt8AU/bpEQ
FZ1hpGPEteIWPXHOMGU+cQyTeLeA9fAVtRUVLFwypxTxaQkMqD2R0JQiYYIm
SP8ylGF6KjbWamuuX7TuvHBtiPabuZluXXWocUTqg6Ri7R21v919xdLsIoX/
3+9CRQez8XVvs7sli1xONZoXTJWkKfg4a5OR3Q0ZTvfrox2Ohs7RvEF1lSS2
xSHOpm4S5SgIsFTcQOUIK5anbZMPKl1o2tLhe/JjBuRrjx1NbR7NQQFtV6e3
clmOlIPthRLG7Q1Tpk8hpaOqmtIUGfCBaUb28mpYl6kNblfc513xYDse8aB/
sOvdqYPYx+PncpTAPzbj1SzWm+ASChi2lFtb55HxSyIsFCJpMlasehXGdT28
7W316kEIK7ouh1U9HEdaUtzXKaeCgC4/1vQaIomTJGtqLl3fYaQMox2PO7xS
yDSkI02p5mD96WzatrhsAtvnbCfGuPLnHJ9SCUOhUvRhKEfeG3P0COPizsaz
cxiaIJvE7FBP2t8kSV1MCfEosRJOUYucSbe3K+l7cUpddbtEnlaGAvoNsX4v
INjErTvBMQbecrSwbK3vLK/gDjXGWyWGWNWFqktuFjuRo4le8N0LAX3o8xt4
XMCB2x5bvD3ub4fx1I221ekjMSVvsoOwyd6wBUtqM0pJ3D6ahrRLscZ4HkZx
k6GOM8vVj0EWWkK1bD9IGGq0b/zq5lhq8Yxo2qQ7aLkUcSurSJnzd0oam6P+
84DvE3ah4zTXqRsPfKce+9+P1E9e16lDmx8OkqwpBXvOKQsEFdbVcZ5Nq03B
FSvcYsbYR1KpLUQfcGI9jxTsq1iSaQPqb+ggUJLYwljyDP6gHulkSvlkafHM
tZbwLCwKL34HvL62ZH2xmDrMkIT82RHuaNGjs2s+YisqKt/PMR9khigvNkZ3
0tj0pQXanTgStPTLmhiIZCFRFr5fm9yvwfaKis3QFjyyPb8jgymAbo/o+991
YWbRqsYF669AMFAhEvYdXHte7P3+6Phwb+cV/NhwXSJjk7AiN7nI+ouTflZv
JfX97/EfWJb7WlQIc0NbdpmuyYGfOT1gosnT6eQXX6KIr4jo1qPF/A5MuMJT
KoGfa2Y/khGRkFuhk/DT66arz9O1adOF2SrTc03DDzPGMdSnIGmmU7EV6k8y
EC/iU8BLCHljN9IGB1TiFpsqorF8d/AG5veQxtJuqUixBEUeHL44GVxtTgSX
FYZhjFstu22VRBHbpjov0vOkMZ2pJEAlMwxT8+6jHsmW3XUbxu8TNhJ2+xXn
Sw/Ol7cugmhNMyTEIff6tg14Z1Mus4T5Xbpo/EPC4Yrc8OvkDc0l6gFDZ/CQ
OBa3CUkVsht7GA02/HV727EgPjh6IdHN8fNYYvhAIQ2jk6Aw8+mz/P20Lcx/
2ehxfTpT3EMOTUE0ckWUTafvYS3N8XSCJbYzKX7+WwGn7c4YJ306ms+SJ/Pl
NG8lL1K4LOTQcXjtyUU6P08/pNNWcpxPYA9f46SBrtQCNRHJ45KneTG8aCUv
Zz//9zB5hkarfJ620P2XF8m385//Oj3NhhfJARkXMijnKRT7PEVSSCjkxThd
Fvjn4n3WSg6XIE6eo4cRI6+OFtkZvotNnv04+0BtvaKmFskLBJaF4xf1BVwU
yct8WXxIU6wbOjBOXsMVdYLtPkrHH9IRTNLBz/81z35sJXtIaQZCHHS2Mbz9
Koedko2TQ/y/81GBPsVjGDsY8xF8fDFOvvv5r6BFTKn13+WT5AhexGDm3XQO
N9kp/v3z37Ay+P3lcvQxP4drWr74EbuASF/j9ENyNLkuLsbXaQbd+D4dY6Qp
Phpjtw4kBIkAkOCb2fsWKoYZ/HO+zN/jB3lxMU0/5MnREjSfOfy/P2HXoCfv
qa0TGE/ECoY5Gc5gpsazofQMOvZ9lo/H2WIheLCv0nFepMn3SzjyYSDYpYpn
ukZryNEuUQQkbQn2dkERsoUaySn8ABVhSral1HjxVCCL2HSUnUpSUBgyZi9g
ljMof4mu4bjukqMatSrzSVZXXqv9DqHcZmXW2wvOvCZA4dOMKGQ17EQcUc/7
Xbimw92Dk7H2n+0ftZ+jibhxPsddQ2G+VNajrf79rX5TyCjPxsuzs9r/ABvP
jFbsHgIA

-->

</rfc>

