<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.6.13 (Ruby 2.7.0) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-core-oscore-key-update-08" category="std" consensus="true" submissionType="IETF" updates="8613" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.22.0 -->
  <front>
    <title abbrev="Key Update for OSCORE (KUDOS)">Key Update for OSCORE (KUDOS)</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-core-oscore-key-update-08"/>
    <author initials="R." surname="Höglund" fullname="Rikard Höglund">
      <organization>RISE AB</organization>
      <address>
        <postal>
          <street>Isafjordsgatan 22</street>
          <city>Kista</city>
          <code>16440 Stockholm</code>
          <country>Sweden</country>
        </postal>
        <email>rikard.hoglund@ri.se</email>
      </address>
    </author>
    <author initials="M." surname="Tiloca" fullname="Marco Tiloca">
      <organization>RISE AB</organization>
      <address>
        <postal>
          <street>Isafjordsgatan 22</street>
          <city>Kista</city>
          <code>16440 Stockholm</code>
          <country>Sweden</country>
        </postal>
        <email>marco.tiloca@ri.se</email>
      </address>
    </author>
    <date year="2024" month="July" day="08"/>
    <workgroup>CoRE Working Group</workgroup>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <t>This document defines Key Update for OSCORE (KUDOS), a lightweight procedure that two CoAP endpoints can use to update their keying material by establishing a new OSCORE Security Context. Accordingly, it updates the use of the OSCORE flag bits in the CoAP OSCORE Option as well as the protection of CoAP response messages with OSCORE, and it deprecates the key update procedure specified in Appendix B.2 of RFC 8613. Thus, this document updates RFC 8613. Also, this document defines a procedure that two endpoints can use to update their OSCORE identifiers, run either stand-alone or during a KUDOS execution.</t>
    </abstract>
    <note removeInRFC="true">
      <name>Discussion Venues</name>
      <t>Discussion of this document takes place on the
    Constrained RESTful Environments Working Group mailing list (core@ietf.org),
    which is archived at <eref target="https://mailarchive.ietf.org/arch/browse/core/"/>.</t>
      <t>Source for this draft and an issue tracker can be found at
    <eref target="https://github.com/core-wg/oscore-key-update"/>.</t>
    </note>
  </front>
  <middle>
    <section anchor="intro">
      <name>Introduction</name>
      <t>Object Security for Constrained RESTful Environments (OSCORE) <xref target="RFC8613"/> provides end-to-end protection of CoAP <xref target="RFC7252"/> messages at the application-layer, ensuring message confidentiality and integrity, replay protection, as well as binding of response to request between a sender and a recipient.</t>
      <t>To ensure secure communication when using OSCORE, peers may need to update their shared keying material. Among other reasons, approaching key usage limits <xref target="I-D.irtf-cfrg-aead-limits"/><xref target="I-D.ietf-core-oscore-key-limits"/> requires updating the OSCORE keying material before communications can securely continue.</t>
      <t>This document updates <xref target="RFC8613"/> as follows.</t>
      <ul spacing="normal">
        <li>
          <t>It specifies KUDOS, a lightweight key update procedure that the two peers can use in order to update their current keying material and establish a new OSCORE Security Context. This deprecates and replaces the procedure specified in <xref section="B.2" sectionFormat="of" target="RFC8613"/>.</t>
        </li>
        <li>
          <t>With reference to the "OSCORE Flag Bits" registry defined in <xref section="13.7" sectionFormat="of" target="RFC8613"/> as part of the "Constrained RESTful Environments (CoRE) Parameters" registry group, it updates the entries with Bit Position 0 and 1 (see <xref target="sec-iana"/>), both originally marked as "Reserved". That is, it defines and registers the usage of the OSCORE flag bit with Bit Position 0, as the one intended to expand the space for the OSCORE flag bits in the OSCORE Option (see <xref target="ssec-oscore-option-extensions"/>). Also, it marks the bit with Bit Position of 1 as "Unassigned".</t>
        </li>
        <li>
          <t>It updates the protection of CoAP responses with OSCORE originally specified in <xref section="8.3" sectionFormat="of" target="RFC8613"/>, as defined in <xref target="sec-updated-response-protection"/> of this document.</t>
        </li>
      </ul>
      <t>Furthermore, this document specifies a method that two peers can use to update their OSCORE identifiers. This can be run as a stand-alone procedure, or instead integrated in a KUDOS execution.</t>
      <section anchor="terminology">
        <name>Terminology</name>
        <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
        <t>Readers are expected to be familiar with the terms and concepts related to CoAP <xref target="RFC7252"/>, Observe <xref target="RFC7641"/>, CBOR <xref target="RFC8949"/>, OSCORE <xref target="RFC8613"/>, and EDHOC <xref target="RFC9528"/>.</t>
        <t>This document additionally defines the following terminology.</t>
        <ul spacing="normal">
          <li>
            <t>Initiator: the peer starting the KUDOS execution, by sending the first KUDOS message.</t>
          </li>
          <li>
            <t>Responder: the peer that receives the first KUDOS message in a KUDOS execution.</t>
          </li>
          <li>
            <t>Forward message flow: the KUDOS execution workflow where the initiator acts as CoAP client (see <xref target="ssec-derive-ctx-client-init"/>).</t>
          </li>
          <li>
            <t>Reverse message flow: the KUDOS execution workflow where the initiator acts as CoAP server (see <xref target="ssec-derive-ctx-server-init"/>).</t>
          </li>
          <li>
            <t>FS mode: the KUDOS execution mode that achieves forward secrecy (see <xref target="ssec-derive-ctx"/>).</t>
          </li>
          <li>
            <t>No-FS mode: the KUDOS execution mode that does not achieve forward secrecy (see <xref target="no-fs-mode"/>).</t>
          </li>
        </ul>
      </section>
    </section>
    <section anchor="sec-current-methods">
      <name>Current Methods for Rekeying OSCORE</name>
      <t>Two peers communicating using OSCORE may choose to renew their shared keying information by establishing a new OSCORE Security Context for a variety of reasons. A particular reason is approaching limits set for safe key usage <xref target="I-D.ietf-core-oscore-key-limits"/>. Practically, when the relevant limits have been reached for an OSCORE Security Context, the two peers have to establish a new OSCORE Security Context, in order to continue using OSCORE for secure communication. That is, the two peers have to establish new Sender and Recipient Keys, as the keys actually used by the AEAD algorithm.</t>
      <t>In addition to approaching the key usage limits, there may be other reasons for a peer to initiate a key update procedure. These include: the OSCORE Security Context approaching its expiration time; application policies prescribing a regular key rollover; approaching the exhaustion of the Sender Sequence Number space in the OSCORE Sender Context.</t>
      <t>It is <bcp14>RECOMMENDED</bcp14> that the peer initiating the key update procedure starts it with some margin, i.e., well before actually experiencing the trigger event forcing to perform a key update, e.g., the OSCORE Security Context expiration or the exhaustion of the Sender Sequence Number space. If the rekeying is not initiated ahead of these events, it may become practically impossible to perform a key update with certain methods.</t>
      <t>Other specifications define a number of ways for rekeying OSCORE, as summarized below.</t>
      <ul spacing="normal">
        <li>
          <t>The two peers can run the procedure defined in <xref section="B.2" sectionFormat="of" target="RFC8613"/>. That is, the two peers exchange three or four messages, protected with temporary Security Contexts adding randomness to the ID Context.  </t>
          <t>
As a result, the two peers establish a new OSCORE Security Context with new ID Context, Sender Key, and Recipient Key, while keeping the same OSCORE Master Secret and OSCORE Master Salt from the old OSCORE Security Context.  </t>
          <t>
This procedure does not require any additional components to what OSCORE already provides, and it does not provide forward secrecy.  </t>
          <t>
The procedure defined in <xref section="B.2" sectionFormat="of" target="RFC8613"/> is used in 6TiSCH networks <xref target="RFC7554"/><xref target="RFC8180"/> when handling failure events. That is, a node acting as Join Registrar/Coordinator (JRC) assists new devices, namely "pledges", to securely join the network as per the Constrained Join Protocol <xref target="RFC9031"/>. In particular, a pledge exchanges OSCORE-protected messages with the JRC, from which it obtains a short identifier, link-layer keying material and other configuration parameters. As per <xref section="8.3.3" sectionFormat="of" target="RFC9031"/>, a JRC that experiences a failure event may likely lose information about joined nodes, including their assigned identifiers. Then, the reinitialized JRC can establish a new OSCORE Security Context with each pledge, through the procedure defined in <xref section="B.2" sectionFormat="of" target="RFC8613"/>.</t>
        </li>
        <li>
          <t>The two peers can run the OSCORE profile <xref target="RFC9203"/> of the Authentication and Authorization for Constrained Environments (ACE) Framework <xref target="RFC9200"/>.  </t>
          <t>
When a CoAP client uploads an Access Token to a CoAP server as an access credential, the two peers also exchange two nonces. Then, the two peers use the two nonces together with information provided by the ACE Authorization Server that issued the Access Token, in order to derive an OSCORE Security Context.  </t>
          <t>
This procedure does not provide forward secrecy.</t>
        </li>
        <li>
          <t>The two peers can run the EDHOC key exchange protocol based on Diffie-Hellman and defined in <xref target="RFC9528"/>, in order to establish a pseudo-random key in a mutually authenticated way.  </t>
          <t>
Then, the two peers can use the established pseudo-random key to derive external application keys. This allows the two peers to securely derive an OSCORE Master Secret and an OSCORE Master Salt, from which an OSCORE Security Context can be established.  </t>
          <t>
This procedure additionally provides forward secrecy.  </t>
          <t>
EDHOC also specifies an optional function, EDHOC_KeyUpdate, to perform a key update in a more efficient way than re-running EDHOC. The two communicating peers call EDHOC_KeyUpdate with equivalent input, which results in derivation of a new shared pseudo-random key. Usage of EDHOC_KeyUpdate preserves forward secrecy.  </t>
          <t>
Note that EDHOC may be run standalone or as part of other workflows, such as when using the EDHOC and OSCORE profile of ACE <xref target="I-D.ietf-ace-edhoc-oscore-profile"/>.</t>
        </li>
        <li>
          <t>If one peer is acting as LwM2M Client and the other peer as LwM2M Server, according to the OMA Lightweight Machine to Machine Core specification <xref target="LwM2M"/>, then the LwM2M Client peer may take the initiative to bootstrap again with the LwM2M Bootstrap Server, and receive again an OSCORE Security Context. Alternatively, the LwM2M Server can instruct the LwM2M Client to initiate this procedure.  </t>
          <t>
If the OSCORE Security Context information on the LwM2M Bootstrap Server has been updated, the LwM2M Client will thus receive a fresh OSCORE Security Context to use with the LwM2M Server.  </t>
          <t>
In addition to that, the LwM2M Client, the LwM2M Server as well as the LwM2M Bootstrap server are required to use the procedure defined in <xref section="B.2" sectionFormat="of" target="RFC8613"/> and overviewed above, when they use a certain OSCORE Security Context for the first time <xref target="LwM2M-Transport"/>.</t>
        </li>
      </ul>
      <t>Manually updating the OSCORE Security Context at the two peers should be a last resort option, and it might often be not practical or feasible.</t>
      <t>Even when any of the alternatives mentioned above is available, it is <bcp14>RECOMMENDED</bcp14> that two OSCORE peers update their Security Context by using the KUDOS procedure as defined in <xref target="sec-rekeying-method"/> of this document.</t>
    </section>
    <section anchor="sec-updated-response-protection">
      <name>Updated Protection of Responses with OSCORE</name>
      <t>The protection of CoAP responses with OSCORE is updated, by adding the following text at the end of step 3 of <xref section="8.3" sectionFormat="of" target="RFC8613"/>.</t>
      <blockquote>
        <t>If the server is using a different Security Context for the response compared to what was used to verify the request (e.g., due to an occurred key update), then the server <bcp14>MUST</bcp14> take the second alternative. That is, the server <bcp14>MUST</bcp14> include its Sender Sequence Number as Partial IV in the response and use it to build the AEAD nonce to protect the response.</t>
        <t>This prevents the server from using the same AEAD (key, nonce) pair for two responses, protected with different OSCORE Security Contexts. An exception is the procedure in <xref section="B.2" sectionFormat="of" target="RFC8613"/>, which is secure although not complying with the above.</t>
      </blockquote>
    </section>
    <section anchor="sec-rekeying-method">
      <name>Key Update for OSCORE (KUDOS)</name>
      <t>This section defines KUDOS, a lightweight procedure that two OSCORE peers can use to update their keying material and establish a new OSCORE Security Context.</t>
      <t>KUDOS relies on the OSCORE Option defined in <xref target="RFC8613"/> and extended as defined in <xref target="ssec-oscore-option-extensions"/>, as well as on the support function updateCtx() defined in <xref target="ssec-update-function"/>.</t>
      <t>In order to run KUDOS, two peers perform a message exchange of OSCORE-protected CoAP messages. This message exchange between the two peers is defined in <xref target="ssec-derive-ctx"/>, with particular reference to the stateful FS mode providing forward secrecy. Building on the same message exchange, the possible use of the stateless no-FS mode is defined in <xref target="no-fs-mode"/>, as intended to peers that are not able to write in non-volatile memory. Two peers <bcp14>MUST</bcp14> run KUDOS in FS mode if they are both capable to.</t>
      <t>The key update procedure has the following properties.</t>
      <ul spacing="normal">
        <li>
          <t>KUDOS can be initiated by either peer. In particular, the CoAP client or the CoAP server may start KUDOS by sending the first rekeying message, by running KUDOS in the forward message flow <xref target="ssec-derive-ctx"/> or reverse message flow <xref target="ssec-derive-ctx-server-init"/>, respectively. A peer that supports KUDOS <bcp14>MUST</bcp14> support both the forward message flow and the reverse message flow.</t>
        </li>
        <li>
          <t>The new OSCORE Security Context enjoys forward secrecy, unless KUDOS is run in no-FS mode (see <xref target="no-fs-mode"/>).</t>
        </li>
        <li>
          <t>The same ID Context value used in the old OSCORE Security Context is preserved in the new Security Context. Furthermore, the ID Context value never changes throughout the KUDOS execution.</t>
        </li>
        <li>
          <t>KUDOS is robust against a peer rebooting, and it especially avoids the reuse of AEAD (nonce, key) pairs.</t>
        </li>
        <li>
          <t>KUDOS completes in one round trip by exchanging two CoAP messages. The two peers achieve mutual key confirmation in the following exchange, which is protected with the newly established OSCORE Security Context.</t>
        </li>
      </ul>
      <section anchor="ssec-oscore-option-extensions">
        <name>Extensions to the OSCORE Option</name>
        <t>In order to support the message exchange for establishing a new OSCORE Security Context, this document extends the use of the OSCORE Option originally defined in <xref target="RFC8613"/> as follows.</t>
        <ul spacing="normal">
          <li>
            <t>This document defines the usage of the eight least significant bit, called "Extension-1 Flag", in the first byte of the OSCORE Option containing the OSCORE flag bits. The registration of this flag bit in the "OSCORE Flag Bits" registry is specified in <xref target="iana-cons-flag-bits"/>.  </t>
            <t>
When the Extension-1 Flag is set to 1, the second byte of the OSCORE Option <bcp14>MUST</bcp14> include the OSCORE flag bits 8-15.</t>
          </li>
          <li>
            <t>This document defines the usage of the least significant bit "Nonce Flag", 'd', in the second byte of the OSCORE Option containing the OSCORE flag bits 8-15. This flag bit is specified in <xref target="iana-cons-flag-bits"/>.  </t>
            <t>
When it is set to 1, the compressed COSE object contains a field 'x' and a field 'nonce', to be used for the steps defined in <xref target="ssec-derive-ctx"/>. In particular, the 1 byte 'x' following 'kid context' (if any) encodes the size of the following field 'nonce', together with signaling bits that indicate the specific behavior to adopt during the KUDOS execution.  </t>
            <t>
Hereafter, a message is referred to as a "KUDOS (request/response) message", if and only if the second byte of flags is present and the 'd' bit is set to 1. If that is not the case, the message is referred to as a "non KUDOS (request/response) message".  </t>
            <t>
The encoding of 'x' is as follows:  </t>
            <ul spacing="normal">
              <li>
                <t>The four least significant bits encode the 'nonce' size in bytes minus 1, namely 'm'.</t>
              </li>
              <li>
                <t>The fifth least significant bit is the "No Forward Secrecy" 'p' bit. The sender peer indicates its wish to run KUDOS in FS mode or in no-FS mode, by setting the 'p' bit to 0 or 1, respectively. This makes KUDOS possible to run also for peers that cannot support the FS mode. At the same time, two peers <bcp14>MUST</bcp14> run KUDOS in FS mode if they are both capable to, as per <xref target="ssec-derive-ctx"/>. The execution of KUDOS in no-FS mode is defined in <xref target="no-fs-mode"/>.</t>
              </li>
              <li>
                <t>The sixth least significant bit is the "Preserve Observations" 'b' bit. The sender peer indicates its wish to preserve ongoing observations beyond the KUDOS execution or not, by setting the 'b' bit to 1 or 0, respectively. The related processing is defined in <xref target="preserving-observe"/>.</t>
              </li>
              <li>
                <t>The seventh least significant bit is the 'z' bit. When it is set to 1, the compressed COSE object contains a field 'y' and a field 'old_nonce', to be used for the steps defined in <xref target="ssec-derive-ctx"/>. In particular, the 1 byte 'y' following 'nonce' encodes the size of the following field 'old_nonce'. This bit <bcp14>SHALL</bcp14> only be set in the second KUDOS message and only if it is a CoAP request. For an example see the execution of KUDOS in the reverse message flow shown in <xref target="fig-message-exchange-server-init"/>.</t>
              </li>
              <li>
                <t>The eight least significant bit is reserved for future use. This bit <bcp14>SHALL</bcp14> be set to zero when not in use. According to this specification, if this bit is set to 1, the message is considered to be malformed and decompression fails as specified in item 2 of <xref section="8.2" sectionFormat="of" target="RFC8613"/>.</t>
              </li>
            </ul>
            <t>
The encoding of 'y' is as follows:  </t>
            <ul spacing="normal">
              <li>
                <t>The four least significant bits of the 'y' byte encode the 'old_nonce' size in bytes minus 1, namely 'w'.</t>
              </li>
              <li>
                <t>The fifth to seventh least significant bits <bcp14>SHALL</bcp14> be set to zero when not in use. According to this specification, if these bits are set to 1, the message is considered to be malformed and decompression fails as specified in item 2 of <xref section="8.2" sectionFormat="of" target="RFC8613"/></t>
              </li>
              <li>
                <t>The eight least significant bit is reserved for future use. This bit <bcp14>SHALL</bcp14> be set to zero when not in use. According to this specification, if this bit is set to 1, the message is considered to be malformed and decompression fails as specified in item 2 of <xref section="8.2" sectionFormat="of" target="RFC8613"/>.</t>
              </li>
            </ul>
          </li>
          <li>
            <t>The second-to-eighth least significant bits in the second byte of the OSCORE Option containing the OSCORE flag bits are reserved for future use. These bits <bcp14>SHALL</bcp14> be set to zero when not in use. According to this specification, if any of these bits are set to 1, the message is considered to be malformed and decompression fails as specified in item 2 of <xref section="8.2" sectionFormat="of" target="RFC8613"/>.</t>
          </li>
        </ul>
        <t><xref target="fig-oscore-option"/> shows extended OSCORE Option value, with the possible presence of 'nonce' and 'old_nonce'.</t>
        <figure anchor="fig-oscore-option">
          <name>The extended OSCORE Option value, with the possible presence of 'nonce' and 'old_nonce'</name>
          <artwork align="center"><![CDATA[
 0 1 2 3 4 5 6 7  8   9   10  11  12  13  14  15 <----- n bytes ----->
+-+-+-+-+-+-+-+-+---+---+---+---+---+---+---+---+---------------------+
|1|0|0|h|k|  n  | 0 | 0 | 0 | 0 | 0 | 0 | 0 | d | Partial IV (if any) |
+-+-+-+-+-+-+-+-+---+---+---+---+---+---+---+---+---------------------+


 <- 1 byte -> <----- s bytes ------> <- 1 byte -> <--- m + 1 bytes --->
+------------+----------------------+------------+--------------------+
| s (if any) | kid context (if any) | x (if any) | nonce (if any)     |
+------------+----------------------+------------+--------------------+
                                   /              \____
                                  /                    |
                                 /   0 1 2 3 4 5 6 7   |
                                 |  +-+-+-+-+-+-+-+-+  |
                                 |  |0|z|b|p|   m   |  |
                                 |  +-+-+-+-+-+-+-+-+  |

    <- 1 byte -> <--- w + 1 bytes --->
   +------------+---------------------+------------------+
   | y (if any) | old_nonce (if any)  | kid (if any) ... |
   +------------+---------------------+------------------+
  /              \____
 /                    |
/   0 1 2 3 4 5 6 7   |
|  +-+-+-+-+-+-+-+-+  |
|  |0|0|0|0|   w   |  |
|  +-+-+-+-+-+-+-+-+  |
]]></artwork>
        </figure>
      </section>
      <section anchor="ssec-update-function">
        <name>Function for Security Context Update</name>
        <t>The updateCtx() function shown in <xref target="function-update"/> takes as input the three parameters X, N, and CTX_IN. In particular, X and N are built from the 'x' and 'nonce' fields transported in the OSCORE Option value of the exchanged KUDOS messages (see <xref target="ssec-oscore-option-extensions"/>), while CTX_IN is the OSCORE Security Context to update. The function returns a new OSCORE Security Context CTX_OUT.</t>
        <t>As a first step, the updateCtx() function builds the two CBOR byte strings X_cbor and N_cbor, with value the input parameter X and N, respectively. Then, it builds X_N, as the byte concatenation of X_cbor and N_cbor.</t>
        <t>After that, the updateCtx() function derives the new values of the Master Secret and Master Salt for CTX_OUT. In particular, the new Master Secret is derived through a KUDOS-Expand() step, which takes as input the Master Secret value from the Security Context CTX_IN, the literal string "key update", X_N, and the length of the Master Secret. Instead, the new Master Salt takes N as value.</t>
        <t>The definition of KUDOS-Expand depends on the key derivation function used for OSCORE by the two peers, as specified in CTX_IN.
either peer
   If the key derivation function is an HKDF Algorithm (see <xref section="3.1" sectionFormat="of" target="RFC8613"/>), then KUDOS-Expand is mapped to HKDF-Expand <xref target="RFC5869"/>, as shown below. Also, the hash algorithm is the same one used by the HKDF Algorithm specified in CTX_IN.</t>
        <artwork><![CDATA[
     KUDOS-Expand(CTX_IN.MasterSecret, ExpandLabel, oscore_key_length) =
        HKDF-Expand(CTX_IN.MasterSecret, ExpandLabel, oscore_key_length)
]]></artwork>
        <t>If a future specification updates <xref target="RFC8613"/> by admitting different key derivation functions than HKDF Algorithms (e.g., KMAC as based on the SHAKE128 or SHAKE256 hash functions), that specification has to update also the present document in order to define the mapping between such key derivation functions and KUDOS-Expand.</t>
        <t>When an HKDF Algorithm is used, the derivation of new values follows the same approach used in TLS 1.3, which is also based on HKDF-Expand (see <xref section="7.1" sectionFormat="of" target="RFC8446"/>) and used for computing new keying material in case of key update (see <xref section="4.6.3" sectionFormat="of" target="RFC8446"/>).</t>
        <t>After that, the new Master Secret and Master Salt parameters are used to derive a new Security Context CTX_OUT as per <xref section="3.2" sectionFormat="of" target="RFC8613"/>. Any other parameter required for the derivation takes the same value as in the Security Context CTX_IN.</t>
        <t>Note that the following holds for the newly derived CTX_OUT:</t>
        <ul spacing="normal">
          <li>
            <t>In its Sender Context, the Sender Sequence Number is initialized to 0 as per <xref section="3.2.2" sectionFormat="of" target="RFC8613"/>.</t>
          </li>
          <li>
            <t>If the peer that has derived CTX_OUT supports CoAP Observe <xref target="RFC7641"/>, the Notification Number used for the replay protection of Observe notifications (see <xref section="7.4.1" sectionFormat="of" target="RFC8613"/>) is left as not initialized.</t>
          </li>
        </ul>
        <t>Finally, the updateCtx() function returns the newly derived Security Context CTX_OUT.</t>
        <t>Since the updateCtx() function also takes X as input, the derivation of CTX_OUT also considers as input the information from the 'x' field transported in the OSCORE Option value of the exchanged KUDOS messages. In turn, this ensures that, if successfully completed, a KUDOS execution occurs as intended by the two peers.</t>
        <figure anchor="function-update">
          <name>Function for deriving a new OSCORE Security Context</name>
          <artwork align="center"><![CDATA[
updateCtx(X, N, CTX_IN) {

  CTX_OUT       // The new Security Context
  MSECRET_NEW   // The new Master Secret
  MSALT_NEW     // The new Master Salt

  X_cbor = bstr .cbor X // CBOR bstr wrapping of X
  N_cbor = bstr .cbor N // CBOR bstr wrapping of N

  X_N = X_cbor | N_cbor

  oscore_key_length = < Size of CTX_IN.MasterSecret in bytes >

  Label = "key update"

  MSECRET_NEW = KUDOS-Expand-Label(CTX_IN.MasterSecret, Label,
                                   X_N, oscore_key_length)
               = KUDOS-Expand(CTX_IN.MasterSecret, ExpandLabel,
                              oscore_key_length)

  MSALT_NEW = N;

  < Derive CTX_OUT using MSECRET_NEW and MSALT_NEW,
    together with other parameters from CTX_IN >

  Return CTX_OUT;

}

Where ExpandLabel is defined as

struct {
    uint16 length = oscore_key_length;
    opaque label<7..255> = "oscore " + Label;
    opaque context<0..255> = X_N;
} ExpandLabel;
]]></artwork>
        </figure>
      </section>
      <section anchor="ssec-derive-ctx">
        <name>Key Update with Forward Secrecy</name>
        <t>This section defines the actual KUDOS procedure performed by two peers to update their OSCORE keying material.</t>
        <t>A peer can run KUDOS for active rekeying at any time, or for a variety of more compelling reasons. These include the (approaching) expiration of the OSCORE Security Context, approaching limits for the key usage <xref target="I-D.ietf-core-oscore-key-limits"/>, application policies, and imminent exhaustion of the OSCORE Sender Sequence Number space.</t>
        <t>The expiration time of an OSCORE Security Context and the key usage limits are hard limits. Once reached them, a peer <bcp14>MUST</bcp14> stop using the keying material in the OSCORE Security Context for conventional communication with the other peer, and has to perform a rekeying before resuming secure communication.</t>
        <t>Before starting KUDOS, the two peers share the OSCORE Security Context CTX_OLD. Once successfully completed the KUDOS execution, the two peers agree on a newly established OSCORE Security Context CTX_NEW.</t>
        <t>In particular, CTX_OLD is the most recent OSCORE Security Context that a peer has with a given ID Context or without ID Context, before initiating the KUDOS procedure or upon having received and successfully verified the first KUDOS message. In turn, CTX_NEW is the most recent OSCORE Security Context that a peer has with a given ID Context or without ID Context, before sending the second KUDOS message or upon having received and successfully verified the second KUDOS message.</t>
        <t>The following specifically defines how KUDOS is run in its stateful FS mode achieving forward secrecy. That is, in the OSCORE Option value of all the exchanged KUDOS messages, the "No Forward Secrecy" bit is set to 0.</t>
        <t>In order to run KUDOS in FS mode, both peers have to be able to write in non-volatile memory. From the newly derived Security Context CTX_NEW, the peers <bcp14>MUST</bcp14> store to non-volatile memory the immutable parts of the OSCORE Security Context as specified in <xref section="3.1" sectionFormat="of" target="RFC8613"/>, with the possible exception of the Common IV, Sender Key, and Recipient Key that can be derived again when needed, as specified in <xref section="3.2.1" sectionFormat="of" target="RFC8613"/>. If the peer is unable to write in non-volatile memory, the two peers have to run KUDOS in its stateless no-FS mode (see <xref target="no-fs-mode"/>).</t>
        <section anchor="ssec-nonces-x-bytes">
          <name>Nonces and X Bytes</name>
          <t>When running KUDOS, each peer contributes by generating a nonce value N1 or N2, and providing it to the other peer. The size of the nonces N1 and N2 is application specific, and the use of 8 byte nonce values is <bcp14>RECOMMENDED</bcp14>. The nonces N1 and N2 <bcp14>SHOULD</bcp14> be random values. An exception is described later in Section <xref target="key-material-handling"/>.</t>
          <t>Furthermore, X1 and X2 are the value of the 'x' byte specified in the OSCORE Option of the first and second KUDOS message, respectively. The X1 and X2 values are calculated by the sender peer based on: the length of nonce N1 and N2, specified in the 'nonce' field of the OSCORE Option of the first and second KUDOS message, respectively; as well as on the specific settings the peer wishes to run KUDOS with. As defined in <xref target="ssec-derive-ctx-client-init"/>, these values are used by the peers to build the input N and X to the updateCtx() function, in order to derive a new OSCORE Security Context. As for any new OSCORE Security Context, the Sender Sequence Number and the Replay Window are re-initialized accordingly (see <xref section="3.2.2" sectionFormat="of" target="RFC8613"/>).</t>
          <t>After a peer has generated or received the value N1, and after a peer has calculated or received the value X1, it shall retain these in memory until it has received and processed the second KUDOS message.</t>
        </section>
        <section anchor="ssec-context-handling">
          <name>Handling of OSCORE Security Contexts</name>
          <t>The peer starting a KUDOS execution is denoted as initiator, while the other peer in the same session is denoted as responder.</t>
          <t>The initiator completes the key update process when receiving the second KUDOS message and successfully verifying it with CTX_NEW. The responder completes the key update process when sending the second KUDOS message, as protected with CTX_NEW.</t>
          <t>KUDOS may run with the initiator acting either as CoAP client or CoAP server. The former case is denoted as the "forward message flow" (see <xref target="ssec-derive-ctx-client-init"/>) and the latter as the "reverse message flow" (see <xref target="ssec-derive-ctx-server-init"/>).</t>
          <t>The following properties hold for both the forward and reverse message flow.</t>
          <ul spacing="normal">
            <li>
              <t>The initiator always offers the fresh value N1.</t>
            </li>
            <li>
              <t>The responder always offers the fresh value N2</t>
            </li>
            <li>
              <t>The responder is always the first one deriving CTX_NEW.</t>
            </li>
            <li>
              <t>The initiator is always the first one achieving key confirmation, hence the first one able to safely discard CTX_OLD.</t>
            </li>
            <li>
              <t>Both the initiator and the responder use and preserve the same respective OSCORE Sender ID and Recipient ID.</t>
            </li>
            <li>
              <t>If CTX_OLD specifies an OSCORE ID Context, both peers use and preserve the same OSCORE ID Context.</t>
            </li>
          </ul>
          <t>Once a peer has successfully derived the new OSCORE Security Context CTX_NEW, the following applies.</t>
          <ul spacing="normal">
            <li>
              <t>The peer <bcp14>MUST</bcp14> use CTX_NEW to protect outgoing non KUDOS messages, and <bcp14>MUST NOT</bcp14> use the originally shared OSCORE Security Context CTX_OLD for protecting outgoing messages.</t>
            </li>
            <li>
              <t>The peer <bcp14>MUST</bcp14> delete any OSCORE Security Context CTX_DEL older than CTX_OLD, such that both CTX_DEL and CTX_OLD have the same ID_CONTEXT or no ID Context.  </t>
              <t>
For instance, this can occur while using the forward message flow (see <xref target="ssec-derive-ctx-client-init"/>}), when the initiator has just received the second KUDOS message, and immediately starts KUDOS again as initiator before sending a non KUDOS message, thereby not providing the responder with key confirmation and not allowing it to safely discard CTX_OLD.</t>
            </li>
            <li>
              <t>The peer <bcp14>MUST</bcp14> terminate all the ongoing observations <xref target="RFC7641"/> that it has with the other peer as protected with the old Security Context CTX_OLD, unless the two peers have explicitly agreed otherwise as defined in <xref target="preserving-observe"/>.  </t>
              <t>
More specifically, if either or both peers indicate the wish to cancel their observations, those will be all cancelled following a successful KUDOS execution.  </t>
              <t>
Note that, even though a peer had no real reason to update its OSCORE keying material, running KUDOS can be intentionally exploited as a more efficient way to terminate all the ongoing observations with the other peer, compared to sending one cancellation request per observation (see <xref section="3.6" sectionFormat="of" target="RFC7641"/>).</t>
            </li>
          </ul>
          <t>Once a peer has successfully decrypted and verified an incoming message protected with CTX_NEW, that peer <bcp14>MUST</bcp14> discard the old Security Context CTX_OLD.</t>
        </section>
        <section anchor="handling-of-messages">
          <name>Handling of Messages</name>
          <t>If a KUDOS message is a CoAP request, then it can target two different types of resources at the recipient CoAP server:</t>
          <ul spacing="normal">
            <li>
              <t>The well-known KUDOS resource at /.well-known/kudos, or an alternative KUDOS resource with resource type "core.kudos" (see Sections <xref target="well-known-kudos-desc"/> and <xref target="rt-kudos"/>). In such a case, no application processing is expected at the CoAP server, and the plain CoAP request composed before OSCORE protection should not include an application payload.</t>
            </li>
            <li>
              <t>A non-KUDOS resource, i.e., an actual application resource that a CoAP request can target in order to trigger application processing at the CoAP server. In such a case, the plain CoAP request composed before OSCORE protection may include an application payload, if admitted by the request method.</t>
            </li>
          </ul>
          <t>Similarly, any CoAP response can also be a KUDOS message. If the corresponding CoAP request has targeted a KUDOS resource, then the plain CoAP response composed before OSCORE encryption should not include an application payload. Otherwise, an application payload may be included.</t>
          <t>Once a peer acting as initiator (responder) has sent (received) the first KUDOS message, that peer <bcp14>MUST NOT</bcp14> send a non KUDOS message to the other peer, until having completed the key update process on its side.</t>
          <t>In order to prevent two peers from unwittingly running two simultaneous executions of KUDOS, the following applies.</t>
          <ul spacing="normal">
            <li>
              <t>When a peer P1 receives the first KUDOS message from a peer P2 in a KUDOS execution E1, the peer P1 <bcp14>MUST</bcp14> check whether it has a non completed KUDOS session E2 where P1 acts as initiator with P2.  </t>
              <t>
To this end, P1 may check whether it is currently acting as initiator in a KUDOS execution E2 different from E1, such that both sessions aim at updating the OSCORE Security Context CTX_OLD shared with P2. The particular way to achieve this is implementation specific.</t>
            </li>
            <li>
              <t>If P1 finds such a session E2, then P1 <bcp14>MUST</bcp14> terminate the KUDOS execution E1, and <bcp14>MUST</bcp14> reply to the first KUDOS message received from P2 with a CoAP Reset message.  </t>
              <t>
Upon receiving the Reset message above, P2 terminates the KUDOS execution E2 where it acts as initiator.</t>
            </li>
          </ul>
        </section>
        <section anchor="ssec-derive-ctx-client-init">
          <name>Forward Message Flow</name>
          <t><xref target="fig-message-exchange-client-init"/> shows an example of KUDOS run in the forward message flow, i.e., with the client acting as KUDOS initiator.</t>
          <t>In the example, 'Comb(a,b)' denotes the byte concatenation of two CBOR byte strings, where the first one has value 'a' and the second one has value 'b'. That is, Comb(a,b) = bstr .cbor a | bstr .cbor b, where | denotes byte concatenation.</t>
          <figure anchor="fig-message-exchange-client-init">
            <name>Example of the KUDOS forward message flow.</name>
            <artset>
              <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="1152" width="576" viewBox="0 0 576 1152" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                  <path d="M 200,64 L 200,736" fill="none" stroke="black"/>
                  <path d="M 200,816 L 200,1136" fill="none" stroke="black"/>
                  <path d="M 384,64 L 384,736" fill="none" stroke="black"/>
                  <path d="M 384,816 L 384,1136" fill="none" stroke="black"/>
                  <path d="M 200,208 L 376,208" fill="none" stroke="black"/>
                  <path d="M 208,528 L 384,528" fill="none" stroke="black"/>
                  <path d="M 200,848 L 376,848" fill="none" stroke="black"/>
                  <path d="M 208,1008 L 384,1008" fill="none" stroke="black"/>
                  <polygon class="arrowhead" points="384,848 372,842.4 372,853.6" fill="black" transform="rotate(0,376,848)"/>
                  <polygon class="arrowhead" points="384,208 372,202.4 372,213.6" fill="black" transform="rotate(0,376,208)"/>
                  <polygon class="arrowhead" points="216,1008 204,1002.4 204,1013.6" fill="black" transform="rotate(180,208,1008)"/>
                  <polygon class="arrowhead" points="216,528 204,522.4 204,533.6" fill="black" transform="rotate(180,208,528)"/>
                  <g class="text">
                    <text x="196" y="36">Client</text>
                    <text x="388" y="36">Server</text>
                    <text x="200" y="52">(initiator)</text>
                    <text x="384" y="52">(responder)</text>
                    <text x="36" y="84">Generate</text>
                    <text x="84" y="84">N1</text>
                    <text x="24" y="116">CTX_1</text>
                    <text x="56" y="116">=</text>
                    <text x="108" y="116">updateCtx(</text>
                    <text x="80" y="132">X1,</text>
                    <text x="80" y="148">N1,</text>
                    <text x="96" y="164">CTX_OLD</text>
                    <text x="136" y="164">)</text>
                    <text x="280" y="196">Request</text>
                    <text x="324" y="196">#1</text>
                    <text x="32" y="212">Protect</text>
                    <text x="84" y="212">with</text>
                    <text x="128" y="212">CTX_1</text>
                    <text x="468" y="212">/.well-known/kudos</text>
                    <text x="236" y="228">OSCORE</text>
                    <text x="272" y="228">{</text>
                    <text x="232" y="244">...</text>
                    <text x="248" y="260">Partial</text>
                    <text x="296" y="260">IV:</text>
                    <text x="320" y="260">0</text>
                    <text x="232" y="276">...</text>
                    <text x="224" y="292">d</text>
                    <text x="256" y="292">flag:</text>
                    <text x="288" y="292">1</text>
                    <text x="416" y="292">CTX_1</text>
                    <text x="448" y="292">=</text>
                    <text x="500" y="292">updateCtx(</text>
                    <text x="228" y="308">x:</text>
                    <text x="252" y="308">X1</text>
                    <text x="472" y="308">X1,</text>
                    <text x="244" y="324">nonce:</text>
                    <text x="284" y="324">N1</text>
                    <text x="472" y="324">N1,</text>
                    <text x="232" y="340">...</text>
                    <text x="488" y="340">CTX_OLD</text>
                    <text x="528" y="340">)</text>
                    <text x="216" y="356">}</text>
                    <text x="248" y="372">Encrypted</text>
                    <text x="320" y="372">Payload</text>
                    <text x="360" y="372">{</text>
                    <text x="420" y="372">Verify</text>
                    <text x="468" y="372">with</text>
                    <text x="512" y="372">CTX_1</text>
                    <text x="232" y="388">...</text>
                    <text x="216" y="404">}</text>
                    <text x="428" y="404">Generate</text>
                    <text x="476" y="404">N2</text>
                    <text x="424" y="436">CTX_NEW</text>
                    <text x="464" y="436">=</text>
                    <text x="516" y="436">updateCtx(</text>
                    <text x="524" y="452">Comb(X1,X2),</text>
                    <text x="524" y="468">Comb(N1,N2),</text>
                    <text x="504" y="484">CTX_OLD</text>
                    <text x="544" y="484">)</text>
                    <text x="284" y="516">Response</text>
                    <text x="332" y="516">#1</text>
                    <text x="424" y="532">Protect</text>
                    <text x="476" y="532">with</text>
                    <text x="528" y="532">CTX_NEW</text>
                    <text x="236" y="548">OSCORE</text>
                    <text x="272" y="548">{</text>
                    <text x="232" y="564">...</text>
                    <text x="32" y="580">CTX_NEW</text>
                    <text x="72" y="580">=</text>
                    <text x="124" y="580">updateCtx(</text>
                    <text x="248" y="580">Partial</text>
                    <text x="296" y="580">IV:</text>
                    <text x="320" y="580">0</text>
                    <text x="132" y="596">Comb(X1,X2),</text>
                    <text x="232" y="596">...</text>
                    <text x="132" y="612">Comb(N1,N2),</text>
                    <text x="224" y="612">d</text>
                    <text x="256" y="612">flag:</text>
                    <text x="288" y="612">1</text>
                    <text x="112" y="628">CTX_OLD</text>
                    <text x="152" y="628">)</text>
                    <text x="228" y="628">x:</text>
                    <text x="252" y="628">X2</text>
                    <text x="244" y="644">nonce:</text>
                    <text x="284" y="644">N2</text>
                    <text x="28" y="660">Verify</text>
                    <text x="76" y="660">with</text>
                    <text x="128" y="660">CTX_NEW</text>
                    <text x="232" y="660">...</text>
                    <text x="216" y="676">}</text>
                    <text x="32" y="692">Discard</text>
                    <text x="96" y="692">CTX_OLD</text>
                    <text x="248" y="692">Encrypted</text>
                    <text x="320" y="692">Payload</text>
                    <text x="360" y="692">{</text>
                    <text x="232" y="708">...</text>
                    <text x="216" y="724">}</text>
                    <text x="16" y="772">The</text>
                    <text x="60" y="772">actual</text>
                    <text x="104" y="772">key</text>
                    <text x="148" y="772">update</text>
                    <text x="208" y="772">process</text>
                    <text x="260" y="772">ends</text>
                    <text x="304" y="772">here.</text>
                    <text x="16" y="788">The</text>
                    <text x="48" y="788">two</text>
                    <text x="88" y="788">peers</text>
                    <text x="128" y="788">can</text>
                    <text x="160" y="788">use</text>
                    <text x="192" y="788">the</text>
                    <text x="224" y="788">new</text>
                    <text x="276" y="788">Security</text>
                    <text x="344" y="788">Context</text>
                    <text x="412" y="788">CTX_NEW.</text>
                    <text x="280" y="836">Request</text>
                    <text x="324" y="836">#2</text>
                    <text x="32" y="852">Protect</text>
                    <text x="84" y="852">with</text>
                    <text x="136" y="852">CTX_NEW</text>
                    <text x="416" y="852">/temp</text>
                    <text x="236" y="868">OSCORE</text>
                    <text x="272" y="868">{</text>
                    <text x="232" y="884">...</text>
                    <text x="216" y="900">}</text>
                    <text x="420" y="900">Verify</text>
                    <text x="468" y="900">with</text>
                    <text x="520" y="900">CTX_NEW</text>
                    <text x="248" y="916">Encrypted</text>
                    <text x="320" y="916">Payload</text>
                    <text x="360" y="916">{</text>
                    <text x="232" y="932">...</text>
                    <text x="424" y="932">Discard</text>
                    <text x="488" y="932">CTX_OLD</text>
                    <text x="264" y="948">Application</text>
                    <text x="344" y="948">Payload</text>
                    <text x="216" y="964">}</text>
                    <text x="284" y="996">Response</text>
                    <text x="332" y="996">#2</text>
                    <text x="424" y="1012">Protect</text>
                    <text x="476" y="1012">with</text>
                    <text x="528" y="1012">CTX_NEW</text>
                    <text x="236" y="1028">OSCORE</text>
                    <text x="272" y="1028">{</text>
                    <text x="232" y="1044">...</text>
                    <text x="28" y="1060">Verify</text>
                    <text x="76" y="1060">with</text>
                    <text x="128" y="1060">CTX_NEW</text>
                    <text x="216" y="1060">}</text>
                    <text x="248" y="1076">Encrypted</text>
                    <text x="320" y="1076">Payload</text>
                    <text x="360" y="1076">{</text>
                    <text x="232" y="1092">...</text>
                    <text x="264" y="1108">Application</text>
                    <text x="344" y="1108">Payload</text>
                    <text x="216" y="1124">}</text>
                  </g>
                </svg>
              </artwork>
              <artwork type="ascii-art" align="center"><![CDATA[
                     Client                  Server
                   (initiator)            (responder)
                        |                      |
Generate N1             |                      |
                        |                      |
CTX_1 = updateCtx(      |                      |
        X1,             |                      |
        N1,             |                      |
        CTX_OLD )       |                      |
                        |                      |
                        |      Request #1      |
Protect with CTX_1      +--------------------->| /.well-known/kudos
                        | OSCORE {             |
                        |  ...                 |
                        |  Partial IV: 0       |
                        |  ...                 |
                        |  d flag: 1           | CTX_1 = updateCtx(
                        |  x: X1               |         X1,
                        |  nonce: N1           |         N1,
                        |  ...                 |         CTX_OLD )
                        | }                    |
                        | Encrypted Payload {  | Verify with CTX_1
                        |  ...                 |
                        | }                    | Generate N2
                        |                      |
                        |                      | CTX_NEW = updateCtx(
                        |                      |           Comb(X1,X2),
                        |                      |           Comb(N1,N2),
                        |                      |           CTX_OLD )
                        |                      |
                        |      Response #1     |
                        |<---------------------+ Protect with CTX_NEW
                        | OSCORE {             |
                        |  ...                 |
CTX_NEW = updateCtx(    |  Partial IV: 0       |
          Comb(X1,X2),  |  ...                 |
          Comb(N1,N2),  |  d flag: 1           |
          CTX_OLD )     |  x: X2               |
                        |  nonce: N2           |
Verify with CTX_NEW     |  ...                 |
                        | }                    |
Discard CTX_OLD         | Encrypted Payload {  |
                        |  ...                 |
                        | }                    |
                        |                      |

The actual key update process ends here.
The two peers can use the new Security Context CTX_NEW.

                        |                      |
                        |      Request #2      |
Protect with CTX_NEW    +--------------------->| /temp
                        | OSCORE {             |
                        |  ...                 |
                        | }                    | Verify with CTX_NEW
                        | Encrypted Payload {  |
                        |  ...                 | Discard CTX_OLD
                        |  Application Payload |
                        | }                    |
                        |                      |
                        |      Response #2     |
                        |<---------------------+ Protect with CTX_NEW
                        | OSCORE {             |
                        |  ...                 |
Verify with CTX_NEW     | }                    |
                        | Encrypted Payload {  |
                        |  ...                 |
                        |  Application Payload |
                        | }                    |
                        |                      |
]]></artwork>
            </artset>
          </figure>
          <t>First, the client generates a value N1, and uses the nonce N = N1 and X = X1 together with the old Security Context CTX_OLD, in order to derive a temporary Security Context CTX_1.</t>
          <t>Then, the client prepares a CoAP request targeting the well-known KUDOS resource (see <xref target="well-known-kudos-desc"/>) at "/.well-known/kudos". The client protects this CoAP request using CTX_1 and sends it to the server. When the client protects this request using OSCORE, it <bcp14>MUST</bcp14> use 0 as the value of Partial IV. In particular, the request has the 'd' flag bit set to 1, and specifies X1 as 'x' and N1 as 'nonce' (see <xref target="ssec-oscore-option-extensions"/>). After that, the client deletes CTX_1.</t>
          <t>Upon receiving the OSCORE request, the server retrieves the value N1 from the 'nonce' field of the OSCORE Option, the value X1 from the 'x' byte of the OSCORE Option, and provides the updateCtx() function with the input N = N1, X = X1, and CTX_OLD, in order to derive the temporary Security Context CTX_1.</t>
          <t><xref target="fig-kudos-x-n-example-mess-one"/> shows an example of how the two peers compute X and N provided as input to the updateCtx() function, and how they compute X_N within the updateCtx() function, when deriving CTX_1 (see <xref target="ssec-update-function"/>).</t>
          <figure anchor="fig-kudos-x-n-example-mess-one">
            <name>Example of X, N, and X_N when processing the first KUDOS message</name>
            <artwork><![CDATA[
   X1 and N1 expressed as raw values
   X1 = 0x07
   N1 = 0x018a278f7faab55a

   updateCtx() is called with
   X = 0x07
   N = 0x018a278f7faab55a

   In updateCtx(), X_cbor and N_cbor are built as CBOR byte strings
   X_cbor = 0x4107               (h'07')
   N_cbor = 0x48018a278f7faab55a (h'018a278f7faab55a')

   In updateCtx(), X_N is the byte concatenation of X_cbor and N_cbor
   X_N = 0x410748018a278f7faab55a
]]></artwork>
          </figure>
          <t>Then, the server verifies the request by using the Security Context CTX_1.</t>
          <t>After that, the server generates a value N2, and uses N = Comb(N1, N2) and X = Comb(X1, X2) together with CTX_OLD, in order to derive the new Security Context CTX_NEW.</t>
          <t>An example of this nonce processing on the server with values for N1, X1, N2, and X2 is presented in <xref target="fig-kudos-x-n-example-mess-two"/>.</t>
          <figure anchor="fig-kudos-x-n-example-mess-two">
            <name>Example of X, N, and X_N when processing the second KUDOS message</name>
            <artwork><![CDATA[
   X1, X2, N1, and N2 expressed as raw values
   X1 = 0x07
   X2 = 0x07
   N1 = 0x018a278f7faab55a
   N2 = 0x25a8991cd700ac01

   X1, X2, N1, and N2 as CBOR byte strings
   X1 = 0x4107 (h'07')
   X2 = 0x4107 (h'07')
   N1 = 0x48018a278f7faab55a (h'018a278f7faab55a')
   N2 = 0x4825a8991cd700ac01 (h'25a8991cd700ac01')

   updateCtx() is called with
   X = 0x41074107
   N = 0x48018a278f7faab55a4825a8991cd700ac01

   In updateCtx(), X_cbor and N_cbor are built as CBOR byte strings
   X_cbor = 0x4441074107 (h'41074107')
   N_cbor = 0x5248018a278f7faab55a4825a8991cd700ac01
            (h'48018a278f7faab55a4825a8991cd700ac01')

   In updateCtx(), X_N is the byte concatenation of X_cbor and N_cbor
   X_N = 0x44410741075248018a278f7faab55a4825a8991cd700ac01
]]></artwork>
          </figure>
          <t>Then, the server sends an OSCORE response to the client, protected with CTX_NEW. In particular, the response has the 'd' flag bit set to 1 and specifies N2 as 'nonce'. Consistently with <xref target="sec-updated-response-protection"/>, the server includes its Sender Sequence Number as Partial IV in the response. After that, the server deletes CTX_1.</t>
          <t>Upon receiving the OSCORE response, the client retrieves the value N2 from the 'nonce' field of the OSCORE Option, and the value X2 from the 'x' byte of the OSCORE Option. Since the client has received a response to an OSCORE request that it made with the 'd' flag bit set to 1, the client provides the updateCtx() function with the input N = Comb(N1, N2), X = Comb(X1, X2), and CTX_OLD, in order to derive CTX_NEW. Finally, the client verifies the response by using CTX_NEW and deletes CTX_OLD.</t>
          <t>From then on, the two peers can protect their message exchanges by using CTX_NEW. As soon as the server successfully verifies an incoming message protected with CTX_NEW, the server deletes CTX_OLD.</t>
          <t>In the example in <xref target="fig-message-exchange-client-init"/>, the client takes the initiative and sends a new OSCORE request protected with CTX_NEW.</t>
          <t>In case the server does not successfully verify the request, the same error handling specified in <xref section="8.2" sectionFormat="of" target="RFC8613"/> applies. This does not result in deleting CTX_NEW. If the server successfully verifies the request using CTX_NEW, the server deletes CTX_OLD and can reply with an OSCORE response protected with CTX_NEW.</t>
          <t>Note that the server achieves key confirmation only when receiving a message from the client as protected with CTX_NEW. If the server sends a non KUDOS request to the client protected with CTX_NEW before then, and the server receives a 4.01 (Unauthorized) error response as reply, the server <bcp14>SHOULD</bcp14> delete CTX_NEW and start a new KUDOS execution acting as CoAP client, i.e., as initiator in the forward message flow.</t>
          <t>Also note that, if both peers reboot simultaneously, they will run the KUDOS forward message flow as defined in this section. That is, one of the two peers implementing a CoAP client will send KUDOS Request #1 in <xref target="fig-message-exchange-client-init"/>.</t>
          <t>In case the KUDOS message Request #1 in Figure 3 targets a non-KUDOS resource and the application at the server requires freshness for the received requests, then the server does not deliver the request to the application even if the request has been succesfully verified, and the following KUDOS message (i.e., Response #1 in Figure 3) <bcp14>MUST</bcp14> be a 4.01 (Unauthorized) error response.</t>
          <t>Upon receiving the 4.01 (Unauthorized) error response as the second KUDOS message Response #1, the client processes it like described above. After successfully completing the KUDOS execution, the client can send to the server a non-KUDOS request protected with CTX_NEW (i.e., Request #2 in Figure 3). Presumably, this request targets the same resource targeted by the previous Request #1, as the same application request or a different one, if the application permits it.
Upon receiving, decrypting, and successfully verifying this request protected with CTX_NEW, the server asserts the request as fresh, leveraging the recent establishment of CTX_NEW.</t>
          <t>In the example shown in <xref target="fig-message-exchange-client-init"/> and discussed in this section, the first KUDOS message is a request and the second one is a response, like typically expected when using the forward message flow. However, KUDOS is not constrained to this request/response model and a KUDOS execution can be performed with any combination of CoAP requests and responses. Related examples using the forward message flow are provided later:</t>
          <ul spacing="normal">
            <li>
              <t><xref target="ssec-derive-ctx-client-init-requests-only"/> presents an example where both KUDOS messages are CoAP requests.</t>
            </li>
            <li>
              <t><xref target="ssec-derive-ctx-client-init-unrelated"/> presents an example where KUDOS Response #1 is a response to a different request from KUDOS Request #1.  </t>
              <t>
In such a case, if the client knows that KUDOS Response #2 is going to be sent as a response to a different request from KUDOS Request #1, then the client can use the No-Response CoAP Option <xref target="RFC7967"/> in KUDOS Request #1 without impairing the successful completion of KUDOS.</t>
            </li>
            <li>
              <t><xref target="ssec-derive-ctx-client-init-normal-resource"/> presents an example where KUDOS Request #1 is sent to a non-KUDOS resource.</t>
            </li>
          </ul>
          <section anchor="avoiding-in-transit-requests-during-a-key-update">
            <name>Avoiding In-Transit Requests During a Key Update</name>
            <t>Before sending the KUDOS message Request #1 in <xref target="fig-message-exchange-client-init"/>, the client <bcp14>MUST</bcp14> ensure that it has no outstanding interactions with the server (see <xref section="4.7" sectionFormat="of" target="RFC7252"/>), with the exception of ongoing observations <xref target="RFC7641"/> with that server.</t>
            <t>If there are any, the client <bcp14>MUST NOT</bcp14> initiate the KUDOS execution, before either: i) having all those outstanding interactions cleared; or ii) freeing up the Token values used with those outstanding interactions, with the exception of ongoing observations with the server.</t>
            <t>Later on, this prevents a non KUDOS response protected with CTX_NEW from cryptographically matching with both the corresponding request also protected with CTX_NEW and with an older request protected with CTX_OLD, in case the two requests were protected using the same OSCORE Partial IV.</t>
            <t>During an ongoing KUDOS execution the client <bcp14>MUST NOT</bcp14> send any non-KUDOS requests to the server, even when NSTART is greater than 1 (see <xref section="4.7" sectionFormat="of" target="RFC7252"/>).</t>
          </section>
        </section>
        <section anchor="ssec-derive-ctx-server-init">
          <name>Reverse Message Flow</name>
          <t><xref target="fig-message-exchange-server-init"/> shows an example of KUDOS run in the reverse message flow, i.e., with the server acting as initiator.</t>
          <t>The example uses the same notation 'Comb(a,b)' used in <xref target="ssec-derive-ctx-client-init"/>.</t>
          <figure anchor="fig-message-exchange-server-init">
            <name>Example of the KUDOS reverse message flow</name>
            <artset>
              <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="1072" width="576" viewBox="0 0 576 1072" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                  <path d="M 200,64 L 200,816" fill="none" stroke="black"/>
                  <path d="M 200,896 L 200,1056" fill="none" stroke="black"/>
                  <path d="M 384,64 L 384,816" fill="none" stroke="black"/>
                  <path d="M 384,896 L 384,1056" fill="none" stroke="black"/>
                  <path d="M 200,96 L 376,96" fill="none" stroke="black"/>
                  <path d="M 208,304 L 384,304" fill="none" stroke="black"/>
                  <path d="M 200,592 L 376,592" fill="none" stroke="black"/>
                  <path d="M 208,928 L 384,928" fill="none" stroke="black"/>
                  <polygon class="arrowhead" points="384,592 372,586.4 372,597.6" fill="black" transform="rotate(0,376,592)"/>
                  <polygon class="arrowhead" points="384,96 372,90.4 372,101.6" fill="black" transform="rotate(0,376,96)"/>
                  <polygon class="arrowhead" points="216,928 204,922.4 204,933.6" fill="black" transform="rotate(180,208,928)"/>
                  <polygon class="arrowhead" points="216,304 204,298.4 204,309.6" fill="black" transform="rotate(180,208,304)"/>
                  <g class="text">
                    <text x="204" y="36">Client</text>
                    <text x="388" y="36">Server</text>
                    <text x="200" y="52">(responder)</text>
                    <text x="384" y="52">(initiator)</text>
                    <text x="280" y="84">Request</text>
                    <text x="324" y="84">#1</text>
                    <text x="32" y="100">Protect</text>
                    <text x="84" y="100">with</text>
                    <text x="136" y="100">CTX_OLD</text>
                    <text x="416" y="100">/temp</text>
                    <text x="236" y="116">OSCORE</text>
                    <text x="272" y="116">{</text>
                    <text x="232" y="132">...</text>
                    <text x="216" y="148">}</text>
                    <text x="420" y="148">Verify</text>
                    <text x="468" y="148">with</text>
                    <text x="520" y="148">CTX_OLD</text>
                    <text x="248" y="164">Encrypted</text>
                    <text x="320" y="164">Payload</text>
                    <text x="360" y="164">{</text>
                    <text x="232" y="180">...</text>
                    <text x="428" y="180">Generate</text>
                    <text x="476" y="180">N1</text>
                    <text x="264" y="196">Application</text>
                    <text x="344" y="196">Payload</text>
                    <text x="216" y="212">}</text>
                    <text x="416" y="212">CTX_1</text>
                    <text x="448" y="212">=</text>
                    <text x="500" y="212">updateCtx(</text>
                    <text x="472" y="228">X1,</text>
                    <text x="472" y="244">N1,</text>
                    <text x="488" y="260">CTX_OLD</text>
                    <text x="528" y="260">)</text>
                    <text x="284" y="292">Response</text>
                    <text x="332" y="292">#1</text>
                    <text x="424" y="308">Protect</text>
                    <text x="476" y="308">with</text>
                    <text x="520" y="308">CTX_1</text>
                    <text x="236" y="324">OSCORE</text>
                    <text x="272" y="324">{</text>
                    <text x="232" y="340">...</text>
                    <text x="24" y="356">CTX_1</text>
                    <text x="56" y="356">=</text>
                    <text x="108" y="356">updateCtx(</text>
                    <text x="248" y="356">Partial</text>
                    <text x="296" y="356">IV:</text>
                    <text x="320" y="356">0</text>
                    <text x="80" y="372">X1,</text>
                    <text x="232" y="372">...</text>
                    <text x="80" y="388">N1,</text>
                    <text x="224" y="388">d</text>
                    <text x="256" y="388">flag:</text>
                    <text x="288" y="388">1</text>
                    <text x="96" y="404">CTX_OLD</text>
                    <text x="136" y="404">)</text>
                    <text x="228" y="404">x:</text>
                    <text x="252" y="404">X1</text>
                    <text x="244" y="420">nonce:</text>
                    <text x="284" y="420">N1</text>
                    <text x="28" y="436">Verify</text>
                    <text x="76" y="436">with</text>
                    <text x="120" y="436">CTX_1</text>
                    <text x="232" y="436">...</text>
                    <text x="216" y="452">}</text>
                    <text x="36" y="468">Generate</text>
                    <text x="84" y="468">N2</text>
                    <text x="248" y="468">Encrypted</text>
                    <text x="320" y="468">Payload</text>
                    <text x="360" y="468">{</text>
                    <text x="232" y="484">...</text>
                    <text x="32" y="500">CTX_NEW</text>
                    <text x="72" y="500">=</text>
                    <text x="124" y="500">updateCtx(</text>
                    <text x="216" y="500">}</text>
                    <text x="132" y="516">Comb(X1,X2),</text>
                    <text x="132" y="532">Comb(N1,N2),</text>
                    <text x="112" y="548">CTX_OLD</text>
                    <text x="152" y="548">)</text>
                    <text x="280" y="580">Request</text>
                    <text x="324" y="580">#2</text>
                    <text x="32" y="596">Protect</text>
                    <text x="84" y="596">with</text>
                    <text x="136" y="596">CTX_NEW</text>
                    <text x="468" y="596">/.well-known/kudos</text>
                    <text x="236" y="612">OSCORE</text>
                    <text x="272" y="612">{</text>
                    <text x="232" y="628">...</text>
                    <text x="224" y="644">d</text>
                    <text x="256" y="644">flag:</text>
                    <text x="288" y="644">1</text>
                    <text x="424" y="644">CTX_NEW</text>
                    <text x="464" y="644">=</text>
                    <text x="516" y="644">updateCtx(</text>
                    <text x="228" y="660">x:</text>
                    <text x="252" y="660">X2</text>
                    <text x="524" y="660">Comb(X1,X2),</text>
                    <text x="244" y="676">nonce:</text>
                    <text x="284" y="676">N2</text>
                    <text x="524" y="676">Comb(N1,N2),</text>
                    <text x="228" y="692">y:</text>
                    <text x="248" y="692">w</text>
                    <text x="504" y="692">CTX_OLD</text>
                    <text x="544" y="692">)</text>
                    <text x="260" y="708">old_nonce:</text>
                    <text x="316" y="708">N1</text>
                    <text x="232" y="724">...</text>
                    <text x="216" y="740">}</text>
                    <text x="248" y="756">Encrypted</text>
                    <text x="320" y="756">Payload</text>
                    <text x="360" y="756">{</text>
                    <text x="420" y="756">Verify</text>
                    <text x="468" y="756">with</text>
                    <text x="520" y="756">CTX_NEW</text>
                    <text x="232" y="772">...</text>
                    <text x="264" y="788">Application</text>
                    <text x="344" y="788">Payload</text>
                    <text x="216" y="804">}</text>
                    <text x="424" y="804">Discard</text>
                    <text x="488" y="804">CTX_OLD</text>
                    <text x="16" y="852">The</text>
                    <text x="60" y="852">actual</text>
                    <text x="104" y="852">key</text>
                    <text x="148" y="852">update</text>
                    <text x="208" y="852">process</text>
                    <text x="260" y="852">ends</text>
                    <text x="304" y="852">here.</text>
                    <text x="16" y="868">The</text>
                    <text x="48" y="868">two</text>
                    <text x="88" y="868">peers</text>
                    <text x="128" y="868">can</text>
                    <text x="160" y="868">use</text>
                    <text x="192" y="868">the</text>
                    <text x="224" y="868">new</text>
                    <text x="276" y="868">Security</text>
                    <text x="344" y="868">Context</text>
                    <text x="412" y="868">CTX_NEW.</text>
                    <text x="284" y="916">Response</text>
                    <text x="332" y="916">#2</text>
                    <text x="424" y="932">Protect</text>
                    <text x="476" y="932">with</text>
                    <text x="528" y="932">CTX_NEW</text>
                    <text x="236" y="948">OSCORE</text>
                    <text x="272" y="948">{</text>
                    <text x="232" y="964">...</text>
                    <text x="28" y="980">Verify</text>
                    <text x="76" y="980">with</text>
                    <text x="128" y="980">CTX_NEW</text>
                    <text x="216" y="980">}</text>
                    <text x="248" y="996">Encrypted</text>
                    <text x="320" y="996">Payload</text>
                    <text x="360" y="996">{</text>
                    <text x="32" y="1012">Discard</text>
                    <text x="96" y="1012">CTX_OLD</text>
                    <text x="232" y="1012">...</text>
                    <text x="264" y="1028">Application</text>
                    <text x="344" y="1028">Payload</text>
                    <text x="216" y="1044">}</text>
                  </g>
                </svg>
              </artwork>
              <artwork type="ascii-art" align="center"><![CDATA[
                      Client                 Server
                   (responder)            (initiator)
                        |                      |
                        |      Request #1      |
Protect with CTX_OLD    +--------------------->| /temp
                        | OSCORE {             |
                        |  ...                 |
                        | }                    | Verify with CTX_OLD
                        | Encrypted Payload {  |
                        |  ...                 | Generate N1
                        |  Application Payload |
                        | }                    | CTX_1 = updateCtx(
                        |                      |         X1,
                        |                      |         N1,
                        |                      |         CTX_OLD )
                        |                      |
                        |      Response #1     |
                        |<---------------------+ Protect with CTX_1
                        | OSCORE {             |
                        |  ...                 |
CTX_1 = updateCtx(      |  Partial IV: 0       |
        X1,             |  ...                 |
        N1,             |  d flag: 1           |
        CTX_OLD )       |  x: X1               |
                        |  nonce: N1           |
Verify with CTX_1       |  ...                 |
                        | }                    |
Generate N2             | Encrypted Payload {  |
                        |  ...                 |
CTX_NEW = updateCtx(    | }                    |
          Comb(X1,X2),  |                      |
          Comb(N1,N2),  |                      |
          CTX_OLD )     |                      |
                        |                      |
                        |      Request #2      |
Protect with CTX_NEW    +--------------------->| /.well-known/kudos
                        | OSCORE {             |
                        |  ...                 |
                        |  d flag: 1           | CTX_NEW = updateCtx(
                        |  x: X2               |           Comb(X1,X2),
                        |  nonce: N2           |           Comb(N1,N2),
                        |  y: w                |           CTX_OLD )
                        |  old_nonce: N1       |
                        |  ...                 |
                        | }                    |
                        | Encrypted Payload {  | Verify with CTX_NEW
                        |  ...                 |
                        |  Application Payload |
                        | }                    | Discard CTX_OLD
                        |                      |

The actual key update process ends here.
The two peers can use the new Security Context CTX_NEW.

                        |                      |
                        |      Response #2     |
                        |<---------------------+ Protect with CTX_NEW
                        | OSCORE {             |
                        |  ...                 |
Verify with CTX_NEW     | }                    |
                        | Encrypted Payload {  |
Discard CTX_OLD         |  ...                 |
                        |  Application Payload |
                        | }                    |
                        |                      |
]]></artwork>
            </artset>
          </figure>
          <t>First, the client sends a normal OSCORE request to the server, protected with the old Security Context CTX_OLD and with the 'd' flag bit set to 0.</t>
          <t>Upon receiving the OSCORE request and after having verified it with CTX_OLD as usual, the server generates a value N1 and provides the updateCtx() function with the input N = N1, X = X1, and CTX_OLD, in order to derive the temporary Security Context CTX_1.</t>
          <t>Then, the server sends an OSCORE response to the client, protected with CTX_1. In particular, the response has the 'd' flag bit set to 1 and specifies N1 as 'nonce' (see <xref target="ssec-oscore-option-extensions"/>). After that, the server deletes CTX_1. Consistently with <xref target="sec-updated-response-protection"/>, the server includes its Sender Sequence Number as Partial IV in the response. After that, the server deletes CTX_1.</t>
          <t>Upon receiving the OSCORE response, the client retrieves the value N1 from the 'nonce' field of the OSCORE Option, the value X1 from the 'x' byte of the OSCORE Option, and provides the updateCtx() function with the input N = N1, X = X1, and CTX_OLD, in order to derive the temporary Security Context CTX_1.</t>
          <t>Then, the client verifies the response by using the Security Context CTX_1.</t>
          <t>After that, the client generates a value N2, and provides the updateCtx() function with the input N = Comb(N1, N2), X = Comb(X1, X2), and CTX_OLD, in order to derive the new Security Context CTX_NEW. Then, the client sends an OSCORE request to the server, protected with CTX_NEW. In particular, the request has the 'd' flag bit set to 1 and specifies N2 as 'nonce' and N1 as 'old_nonce'. After that, the client deletes CTX_1.</t>
          <t>Upon receiving the OSCORE request, the server retrieves the values N1 from the 'old_nonce' field of the OSCORE Option, the value N2 from the 'nonce' field of the OSCORE Option, and the value X2 from the 'x' byte of the OSCORE Option. Then, the server verifies that: i) the value N1 is identical to the value N1 specified in a previous OSCORE response with the 'd' flag bit set to 1; and ii) the value N1 | N2 has not been received before in an OSCORE request with the 'd' flag bit set to 1.</t>
          <t>If the verification succeeds, the server provides the updateCtx() function with the input N = Comb(N1, N2), X = Comb(X1, X2), and CTX_OLD, in order to derive the new Security Context CTX_NEW. Finally, the server verifies the request by using CTX_NEW and deletes CTX_OLD.</t>
          <t>From then on, the two peers can protect their message exchanges by using CTX_NEW. In particular, as shown in the example in <xref target="fig-message-exchange-server-init"/>, the server can send an OSCORE response protected with CTX_NEW.</t>
          <t>In case the client does not successfully verify the response, the same error handling specified in <xref section="8.4" sectionFormat="of" target="RFC8613"/> applies. This does not result in deleting CTX_NEW. If the client successfully verifies the response using CTX_NEW, the client deletes CTX_OLD. Note that, if the verification of the response fails, the client may want to send again the normal OSCORE request to the server it initially sent (to /temp in the example above), in order to ensure the retrieval of the resource representation.</t>
          <t>More generally, as soon as the client successfully verifies an incoming message protected with CTX_NEW, the client deletes CTX_OLD.</t>
          <t>Note that the client achieves key confirmation only when receiving a message from the server as protected with CTX_NEW. If the client sends a non KUDOS request to the server protected with CTX_NEW before then, and the client receives a 4.01 (Unauthorized) error response as reply, the client <bcp14>SHOULD</bcp14> delete CTX_NEW and start a new KUDOS execution acting again as CoAP client, i.e., as initiator in the forward message flow (see <xref target="ssec-derive-ctx-client-init"/>).</t>
          <t>It might be the case that the server is only a CoAP server (i.e., it does not implement a CoAP client) and, at the same time, it becomes unable to safely decrypt further incoming messages from the client. For example, this occurs when the server reaches key usage limits for its Recipient Key in the OSCORE Security Context shared with the client (see <xref target="I-D.ietf-core-oscore-key-limits"/>). When this happens, the server cannot decrypt Request #1. Consequently, the server replies to the client with an unprotected 4.01 (Unauthorized) response, and is therefore practically unable to execute KUDOS with the client in the reverse message flow. In such a case, the only chance for the server to perform a key update with the client by means of KUDOS relies on the client starting a KUDOS execution using the forward message flow (see <xref target="ssec-derive-ctx-client-init"/>).</t>
          <section anchor="avoiding-in-transit-requests-during-a-key-update-1">
            <name>Avoiding In-Transit Requests During a Key Update</name>
            <t>Before sending the KUDOS message Request #2 in <xref target="fig-message-exchange-server-init"/>, the client <bcp14>MUST</bcp14> ensure that it has no outstanding interactions with the server (see <xref section="4.7" sectionFormat="of" target="RFC7252"/>), with the exception of ongoing observations <xref target="RFC7641"/> with that server.</t>
            <t>If there are any, the client <bcp14>MUST NOT</bcp14> initiate the KUDOS execution, before either: i) having all those outstanding interactions cleared; or ii) freeing up the Token values used with those outstanding interactions, with the exception of ongoing observations with the server.</t>
            <t>Later on, this prevents a non KUDOS response protected with the new Security Context CTX_NEW from cryptographically matching with both the corresponding request also protected with CTX_NEW and with an older request protected with CTX_OLD, in case the two requests were protected using the same OSCORE Partial IV.</t>
            <t>During an ongoing KUDOS execution the client <bcp14>MUST NOT</bcp14> send any non-KUDOS requests to the server, even when NSTART is greater than 1 (see <xref section="4.7" sectionFormat="of" target="RFC7252"/>).</t>
          </section>
        </section>
      </section>
      <section anchor="avoiding-deadlocks">
        <name>Avoiding Deadlocks</name>
        <t>This section defines how to avoid a deadlock in different scenarios.</t>
        <section anchor="scenario-1">
          <name>Scenario 1</name>
          <t>In this scenario, an execution of KUDOS fails at PEER_1 acting as initiator, but successfully completes at PEER_2 acting as responder. After that, PEER_1 still stores CTX_OLD, while PEER_2 stores CTX_OLD and the just derived CTX_NEW.</t>
          <t>Then, PEER_1 starts a new KUDOS execution acting again as initiator, by sending the first KUDOS message as a CoAP request. This is protected with a temporary Security Context CTX_1, which is newly derived from the retained CTX_OLD, and from the new values X1 and N1 exchanged in the present KUDOS execution.</t>
          <t>Upon receiving the first KUDOS message, PEER_2, acting again as responder, proceeds as follows.</t>
          <ol spacing="normal" type="1"><li>
              <t>PEER_2 attempts to verify the first KUDOS message by using a temporary Security Context CTX_1'. This is derived from the Security Context CTX_NEW established during the latest successfully completed KUDOS execution.</t>
            </li>
            <li>
              <t>The message verification inevitably fails. If PEER_2 is acting as CoAP server, it <bcp14>MUST NOT</bcp14> reply with an unprotected 4.01 (Unauthorized) CoAP response yet.</t>
            </li>
            <li>
              <t>PEER_2 <bcp14>MUST</bcp14> attempt to verify the first KUDOS message by using a temporary Security Context CTX_1. This is newly derived from the Security Context CTX_OLD retained after the latest successfully completed KUDOS execution, and from the values X1 and N1 exchanged in the present KUDOS execution.  </t>
              <t>
If the message verification fails, PEER_2: i) retains CTX_OLD and CTX_NEW from the latest successfully completed KUDOS execution; ii) if acting as CoAP server, replies with an unprotected 4.01 (Unauthorized) CoAP response.  </t>
              <t>
If the message verification succeeds, PEER_2: i) retains CTX_OLD from the latest successfully completed KUDOS execution; ii) replaces CTX_NEW from the latest successfully completed KUDOS execution with a new Security Context CTX_NEW', derived from CTX_OLD and from the values X1, X2, N1, and N2 exchanged in the present KUDOS execution; iii) replies with the second KUDOS message, which is protected with the just derived CTX_NEW'.</t>
            </li>
          </ol>
        </section>
        <section anchor="scenario-2">
          <name>Scenario 2</name>
          <t>In this scenario, an execution of KUDOS fails at PEER_1 acting as initiator, but successfully completes at PEER_2 acting as responder. After that, PEER_1 still stores CTX_OLD, while PEER_2 stores CTX_OLD and the just derived CTX_NEW.</t>
          <t>Then, PEER_2 starts a new KUDOS execution, this time acting as initiator, by sending the first KUDOS message as a CoAP request. This is protected with a temporary Security Context CTX_1, which is newly derived from CTX_NEW established during the latest successfully completed KUDOS execution, as well as from the new values X1 and N1 exchanged in the present KUDOS execution.</t>
          <t>Upon receiving the first KUDOS message, PEER_1, this time acting as responder, proceeds as follows.</t>
          <ol spacing="normal" type="1"><li>
              <t>PEER_1 attempts to verify the first KUDOS message by using a temporary Security Context CTX_1', which is derived from the retained Security Context CTX_OLD and from the values X1 and N1 exchanged in the present KUDOS execution.</t>
            </li>
            <li>
              <t>The message verification inevitably fails. If PEER_1 is acting as CoAP server, it replies with an unprotected 4.01 (Unauthorized) CoAP response.</t>
            </li>
            <li>
              <t>If PEER_2 does not receive the second KUDOS message for a pre-defined amount of time, or if it receives a 4.01 (Unauthorized) CoAP response when acting as CoAP client, then PEER_2 can start a new KUDOS execution for a maximum, pre-defined number of times.  </t>
              <t>
In this case, PEER_2 sends a new first KUDOS message protected with a temporary Security Context CTX_1', which is derived from the retained CTX_OLD, as well as from the new values X1 and N1 exchanged in the present KUDOS execution.  </t>
              <t>
During this time, PEER_2 does not delete CTX_NEW established during the latest successfully completed KUDOS execution, and does not delete CTX_OLD unless it successfully verifies an incoming message protected with CTX_NEW.</t>
            </li>
            <li>
              <t>Upon receiving such a new, first KUDOS message, PEER_1 verifies it by using the temporary Security Context CTX_1', which is derived from the Security Context CTX_OLD, and from the values X1 and N1 exchanged in the present KUDOS execution.  </t>
              <t>
If the message verification succeeds, PEER_1 derives an OSCORE Security Context CTX_NEW' from CTX_OLD and from the values X1, X2, N1, and N2 exchanged in the present KUDOS execution. Then, it replies with the second KUDOS message, which is protected with the latest, just derived CTX_NEW'.</t>
            </li>
            <li>
              <t>Upon receiving such second KUDOS message, PEER_2 derives CTX_NEW' from the retained CTX_OLD and from the values X1, X2, N1, and N2 exchanged in the present KUDOS execution. Then, PEER_2 attempts to verify the KUDOS message using the just derived CTX_NEW'.  </t>
              <t>
If the message verification succeeds, PEER_2 deletes the retained CTX_OLD as well as the retained CTX_NEW established during the immediately previously, successfully completed KUDOS execution.</t>
            </li>
          </ol>
        </section>
        <section anchor="scenario-3">
          <name>Scenario 3</name>
          <t>When KUDOS is run in the reverse message flow (see <xref target="ssec-derive-ctx-server-init"/>), the two peers risk to run into a deadlock, if all the following conditions hold.</t>
          <ul spacing="normal">
            <li>
              <t>The client is a client-only device, i.e., it does not act as CoAP server and thus does not listen for incoming requests.</t>
            </li>
            <li>
              <t>The server needs to execute KUDOS, which, due to the previous point, can only be performed in its reverse message flow. That is, the server has to wait for an incoming non KUDOS request, in order to initiate KUDOS by replying with the first KUDOS message as a response.</t>
            </li>
            <li>
              <t>The client sends only Non-confirmable CoAP requests to the server and does not expect responses sent back as reply, hence freeing up a request's Token value once the request is sent.</t>
            </li>
          </ul>
          <t>In such a case, in order to avoid experiencing a deadlock situation where the server needs to execute KUDOS but cannot practically initiate it, a client-only device that supports KUDOS <bcp14>SHOULD</bcp14> intersperse Non-confirmable requests it sends to that server with confirmable requests.</t>
        </section>
      </section>
      <section anchor="no-fs-mode">
        <name>Key Update with or without Forward Secrecy</name>
        <t>The FS mode of the KUDOS procedure defined in <xref target="ssec-derive-ctx"/> ensures forward secrecy of the OSCORE keying material. However, it requires peers executing KUDOS to preserve their state (e.g., across a device reboot), by writing information such as data from the newly derived OSCORE Security Context CTX_NEW in non-volatile memory.</t>
        <t>This can be problematic for devices that cannot dynamically write information to non-volatile memory. For example, some devices may support only a single writing in persistent memory when initial keying material is provided (e.g., at manufacturing or commissioning time), but no further writing after that. Therefore, these devices cannot perform a stateful key update procedure, and thus are not capable to run KUDOS in FS mode to achieve forward secrecy.</t>
        <t>In order to address these limitations, KUDOS can be run in its stateless no-FS mode, as defined in the following. This allows two peers to achieve the same results as when running KUDOS in FS mode (see <xref target="ssec-derive-ctx"/>), with the difference that no forward secrecy is achieved and no state information is required to be dynamically written in non-volatile memory.</t>
        <t>From a practical point of view, the two modes differ as to what exact OSCORE Master Secret and Master Salt are used as part of the OSCORE Security Context CTX_OLD provided as input to the updateCtx() function (see <xref target="ssec-update-function"/>).</t>
        <t>If either or both peers are not able to write in non-volatile memory the OSCORE Master Secret and OSCORE Master Salt from the newly derived Security Context CTX_NEW, then the two peers have to run KUDOS in no-FS mode.</t>
        <section anchor="key-material-handling">
          <name>Handling and Use of Keying Material</name>
          <t>In the following, a device is denoted as "CAPABLE" if it is able to store information in non-volatile memory (e.g., on disk), beyond a one-time-only writing occurring at manufacturing or (re-)commissioning time. If that is not the case, the device is denoted as "non-CAPABLE".</t>
          <t>The following terms are used to refer to OSCORE keying material.</t>
          <ul spacing="normal">
            <li>
              <t>Bootstrap Master Secret and Bootstrap Master Salt. If pre-provisioned during manufacturing or (re-)commissioning, these OSCORE Master Secret and Master Salt are initially stored on disk and are never going to be overwritten by the device.</t>
            </li>
            <li>
              <t>Latest Master Secret and Latest Master Salt. These OSCORE Master Secret and Master Salt can be dynamically updated by the device. In case of reboot, they are lost unless they have been stored on disk.</t>
            </li>
          </ul>
          <t>Note that:</t>
          <ul spacing="normal">
            <li>
              <t>A peer running KUDOS can have none of the pairs above associated with another peer, only one, or both.</t>
            </li>
            <li>
              <t>A peer that has neither of the pairs above associated with another peer, cannot run KUDOS in any mode with that other peer.</t>
            </li>
            <li>
              <t>A peer that has only one of the pairs above associated with another peer can attempt to run KUDOS with that other peer, but the procedure might fail depending on the other peer's capabilities. In particular:  </t>
              <ul spacing="normal">
                <li>
                  <t>In order to run KUDOS in FS mode, a peer must be a CAPABLE device. It follows that two peers have to both be CAPABLE devices in order to be able to run KUDOS in FS mode with one another.</t>
                </li>
                <li>
                  <t>In order to run KUDOS in no-FS mode, a peer must have Bootstrap Master Secret and Bootstrap Master Salt available as stored on disk.</t>
                </li>
              </ul>
            </li>
            <li>
              <t>A peer that is a non-CAPABLE device <bcp14>MUST</bcp14> support the no-FS mode.</t>
            </li>
            <li>
              <t>A peer that is a CAPABLE device <bcp14>MUST</bcp14> support the FS mode and the no-FS mode.</t>
            </li>
            <li>
              <t>As an exception to the nonces being generated as random values (see Section <xref target="ssec-nonces-x-bytes"/>), a peer that is a CAPABLE device <bcp14>MAY</bcp14> use a value obtained from a monotonically incremented counter as nonce N1 or N2. This has privacy implications, which are described in Section <xref target="sec-cons"/>. In such a case, the peer <bcp14>MUST</bcp14> enforce measures to ensure freshness of the nonce values. For example, the peer can use the same procedure described in <xref section="B.1.1" sectionFormat="of" target="RFC8613"/> for handling the OSCORE Sender Sequence Number values. These measures require to regularly store the used counter values in non-volatile memory, which makes non-CAPABLE devices unable to safely use counter values as nonce values.</t>
            </li>
          </ul>
          <t>As a general rule, once successfully generated a new OSCORE Security Context CTX (e.g., CTX is the CTX_NEW resulting from a KUDOS execution, or it has been established through the EDHOC protocol <xref target="RFC9528"/>), a peer considers the Master Secret and Master Salt of CTX as Latest Master Secret and Latest Master Salt. After that:</t>
          <ul spacing="normal">
            <li>
              <t>If the peer is a CAPABLE device, it <bcp14>SHOULD</bcp14> store Latest Master Secret and Latest Master Salt on disk.  </t>
              <t>
As an exception, this does not apply to possible temporary OSCORE Security Contexts used during a key update procedure, such as CTX_1 used during the KUDOS execution. That is, the OSCORE Master Secret and Master Salt from such temporary Security Contexts are not stored on disk.</t>
            </li>
            <li>
              <t>The peer <bcp14>MUST</bcp14> store Latest Master Secret and Latest Master Salt in volatile memory, thus making them available to OSCORE message processing and possible key update procedures.</t>
            </li>
          </ul>
          <section anchor="actions-after-device-reboot">
            <name>Actions after Device Reboot</name>
            <t>Building on the above, after having experienced a reboot, a peer A checks whether it has stored on disk a pair P1 = (Latest Master Secret, Latest Master Salt) associated with any another peer B.</t>
            <ul spacing="normal">
              <li>
                <t>If a pair P1 is found, the peer A performs the following actions.  </t>
                <ul spacing="normal">
                  <li>
                    <t>The peer A loads the Latest Master Secret and Latest Master Salt to volatile memory, and uses them to derive an OSCORE Security Context CTX_OLD.</t>
                  </li>
                  <li>
                    <t>The peer A runs KUDOS with the other peer B, acting as initiator. If the peer A is a CAPABLE device, it stores on disk the Master Secret and Master Salt from the newly established OSCORE Security Context CTX_NEW, as Latest Master Secret and Latest Master Salt, respectively.</t>
                  </li>
                </ul>
              </li>
              <li>
                <t>If a pair P1 is not found, the peer A checks whether it has stored on disk a pair P2 = (Bootstrap Master Secret, Bootstrap Master Salt) associated with the other peer B.  </t>
                <ul spacing="normal">
                  <li>
                    <t>If a pair P2 is found, the peer A performs the following actions.      </t>
                    <ul spacing="normal">
                      <li>
                        <t>The peer A loads the Bootstrap Master Secret and Bootstrap Master Salt to volatile memory, and uses them to derive an OSCORE Security Context CTX_OLD.</t>
                      </li>
                      <li>
                        <t>If the peer A is a CAPABLE device, it stores on disk Bootstrap Master Secret and Bootstrap Master Salt as Latest Master Secret and Latest Master Salt, respectively. This supports the situation where A is a CAPABLE device and has never run KUDOS with the other peer B before.</t>
                      </li>
                      <li>
                        <t>The peer A runs KUDOS with the other peer B, acting as initiator. If the peer A is a CAPABLE device, it stores on disk the Master Secret and Master Salt from the newly established OSCORE Security Context CTX_NEW, as Latest Master Secret and Latest Master Salt, respectively.</t>
                      </li>
                    </ul>
                  </li>
                  <li>
                    <t>If a pair P2 is not found, the peer A has to use alternative ways to establish a first OSCORE Security Context CTX_NEW with the other peer B, e.g., by running the EDHOC protocol. After that, if A is a CAPABLE device, it stores on disk the OSCORE Master Secret and Master Salt from the newly established OSCORE Security Context CTX_NEW, as Latest Master Secret and Latest Master Salt, respectively.</t>
                  </li>
                </ul>
              </li>
            </ul>
            <t>Following a state loss (e.g., due to a reboot), a device <bcp14>MUST</bcp14> first complete a successful KUDOS execution (with either of the workflows) before exchanging OSCORE-protected application data with another peer. An exception is a CAPABLE device implementing a functionality for safely reusing old keying material, such as the one defined in <xref section="B.1" sectionFormat="of" target="RFC8613"/>.</t>
          </section>
        </section>
        <section anchor="no-fs-signaling">
          <name>Selection of KUDOS Mode</name>
          <t>During a KUDOS execution, the two peers agree on whether to perform the key update procedure in FS mode or no-FS mode, by leveraging the "No Forward Secrecy" bit, 'p', in the 'x' byte of the OSCORE Option value of the KUDOS messages (see <xref target="ssec-oscore-option-extensions"/>). The 'p' bit practically determines what OSCORE Security Context to use as CTX_OLD during the KUDOS execution, consistently with the indicated mode.</t>
          <ul spacing="normal">
            <li>
              <t>If the 'p' bit is set to 0 (FS mode), the updateCtx() function used to derive CTX_1 or CTX_NEW considers as input CTX_OLD the current OSCORE Security Context shared with the other peer as is. In particular, CTX_OLD includes Latest Master Secret as OSCORE Master Secret and Latest Master Salt as OSCORE Master Salt.</t>
            </li>
            <li>
              <t>If the 'p' bit is set to 1 (no-FS mode), the updateCtx() function used to derive CTX_1 or CTX_NEW considers as input CTX_OLD the current OSCORE Security Context shared with the other peer, with the following difference: Bootstrap Master Secret is used as OSCORE Master Secret and Bootstrap Master Salt is used as OSCORE Master Salt. That is, every execution of KUDOS in no-FS mode between these two peers considers the same pair (Master Secret, Master Salt) in the OSCORE Security Context CTX_OLD provided as input to the updateCtx() function, hence the impossibility to achieve forward secrecy.</t>
            </li>
          </ul>
          <t>A peer determines to run KUDOS either in FS or no-FS mode with another peer as follows.</t>
          <ul spacing="normal">
            <li>
              <t>If a peer A is a non-CAPABLE device, it <bcp14>MUST</bcp14> run KUDOS only in no-FS mode. That is, when sending a KUDOS message, it <bcp14>MUST</bcp14> set to 1 the 'p' bit of the 'x' byte in the OSCORE Option value.</t>
            </li>
            <li>
              <t>If a peer A is a CAPABLE device, it <bcp14>SHOULD</bcp14> run KUDOS only in FS mode. That is, when sending a KUDOS message, it <bcp14>SHOULD</bcp14> set to 0 the 'p' bit of the 'x' byte in the OSCORE Option value. An exception applies in the following cases.  </t>
              <ul spacing="normal">
                <li>
                  <t>The peer A is running KUDOS with another peer B, which A has learned to be a non-CAPABLE device (and hence not able to run KUDOS in FS mode).      </t>
                  <t>
Note that, if the peer A is a CAPABLE device, it is able to store such information about the other peer B on disk and it <bcp14>MUST</bcp14> do so. From then on, the peer A will perform every execution of KUDOS with the peer B in no-FS mode, including after a possible reboot.</t>
                </li>
                <li>
                  <t>The peer A is acting as responder and running KUDOS with another peer B without knowing its capabilities, and A receives a KUDOS message where the 'p' bit of the 'x' byte in the OSCORE Option value is set to 1.</t>
                </li>
              </ul>
            </li>
            <li>
              <t>If a peer A is a CAPABLE device and has learned that another peer B is also a CAPABLE device (and hence able to run KUDOS in FS mode), then the peer A <bcp14>MUST NOT</bcp14> run KUDOS with the peer B in no-FS mode. This also means that, if the peer A acts as responder when running KUDOS with the peer B, the peer A <bcp14>MUST</bcp14> terminate the KUDOS execution if it receives a KUDOS message from the peer B where the 'p' bit of the 'x' byte in the OSCORE Option value is set to 1.  </t>
              <t>
Note that, if the peer A is a CAPABLE device, it is able to store such information about the other peer B on disk and it <bcp14>MUST</bcp14> do so. This ensures that the peer A will perform every execution of KUDOS with the peer B in FS mode. In turn, this prevents a possible downgrading attack, aimed at making A believe that B is a non-CAPABLE device, and thus to run KUDOS in no-FS mode although the FS mode can actually be used by both peers.</t>
            </li>
          </ul>
          <t>Within the limitations above, two peers running KUDOS generate the new OSCORE Security Context CTX_NEW according to the mode indicated per the bit 'p' set by the responder in the second KUDOS message.</t>
          <t>If, after having received the first KUDOS message, the responder can continue performing KUDOS, the bit 'p' in the reply message has the same value as in the bit 'p' set by the initiator, unless such latter value is 0 and the responder is a non-CAPABLE device. More specifically:</t>
          <ul spacing="normal">
            <li>
              <t>If both peers are CAPABLE devices, they will run KUDOS in FS mode. That is, both initiator and responder sets the 'p' bit to 0 in the respective sent KUDOS message.</t>
            </li>
            <li>
              <t>If both peers are non-CAPABLE devices or only the peer acting as initiator is a non-CAPABLE device, they will run KUDOS in no-FS mode. That is, both initiator and responder sets the 'p' bit to 1 in the respective sent KUDOS message.</t>
            </li>
            <li>
              <t>If only the peer acting as initiator is a CAPABLE device and it has knowledge of the other peer being a non-CAPABLE device, they will run KUDOS in no-FS mode. That is, both initiator and responder sets the 'p' bit to 1 in the respective sent KUDOS message.</t>
            </li>
            <li>
              <t>If only the peer acting as initiator is a CAPABLE device and it has no knowledge of the other peer being a non-CAPABLE device, they will not run KUDOS in FS mode and will rather set to ground for possibly retrying in no-FS mode. In particular, the initiator sets the 'p' bit of its sent KUDOS message to 0. Then:  </t>
              <ul spacing="normal">
                <li>
                  <t>If the responder is a server, it <bcp14>MUST</bcp14> consider the KUDOS execution unsuccessful and <bcp14>MUST</bcp14> reply with a 5.03 (Service Unavailable) error response. The response <bcp14>MUST</bcp14> be protected with the newly derived OSCORE Security Context CTX_NEW. The diagnostic payload <bcp14>MAY</bcp14> provide additional information. This response is a KUDOS message, and it <bcp14>MUST</bcp14> have the 'd' bit and the 'p' bit set to 1.      </t>
                  <t>
When receiving the error response, the initiator learns that the responder is a non-CAPABLE device (and hence not able to run KUDOS in FS mode), since the 'p' bit in the error response is set to 1, while the 'p' bit in the corresponding request was set to 0. Hence, the initiator <bcp14>MUST</bcp14> consider the KUDOS execution unsuccessful, and <bcp14>MAY</bcp14> try running KUDOS again. If it does so, the initiator <bcp14>MUST</bcp14> set the 'p' bit to 1, when sending a new request as first KUDOS message.</t>
                </li>
                <li>
                  <t>If the responder is a client, it <bcp14>MUST</bcp14> consider the KUDOS execution unsuccessful and <bcp14>MUST</bcp14> send to the initiator the second KUDOS message as a new request, which <bcp14>MUST</bcp14> be protected with the newly derived OSCORE Security Context CTX_NEW. In the newly sent request, the 'p' bit <bcp14>MUST</bcp14> be set to 1.      </t>
                  <t>
When receiving the new request above, the initiator learns that the responder is a non-CAPABLE device (and hence not able to run KUDOS in FS mode), since the 'p' bit in the request is set to 1, while the 'p' bit in the response previously sent as first KUDOS message was set to 0. Also, the initiator <bcp14>SHOULD NOT</bcp14> send any response to such a request, and the responder <bcp14>SHOULD NOT</bcp14> expect any such response.</t>
                </li>
              </ul>
              <t>
In either case, both KUDOS peers delete the OSCORE Security Contexts CTX_1 and CTX_NEW. Also, both peers <bcp14>MUST</bcp14> retain CTX_OLD for use during the next KUDOS execution in the no-FS mode. This is in contrast with the typical behavior where CTX_OLD is deleted upon reception of a message protected with CTX_NEW.</t>
            </li>
          </ul>
        </section>
      </section>
      <section anchor="preserving-observe">
        <name>Preserving Observations Across Key Updates</name>
        <t>As defined in <xref target="ssec-derive-ctx"/>, once a peer has completed the KUDOS execution and successfully derived the new OSCORE Security Context CTX_NEW, that peer normally terminates all the ongoing observations it has with the other peer <xref target="RFC7641"/>, as protected with the old OSCORE Security Context CTX_OLD.</t>
        <t>This section describes a method that the two peers can use to safely preserve the ongoing observations that they have with one another, beyond the completion of a KUDOS execution. In particular, this method ensures that an Observe notification can never successfully cryptographically match against the Observe requests of two different observations, e.g., against an Observe request protected with CTX_OLD and an Observe request protected with CTX_NEW.</t>
        <t>The actual preservation of ongoing observations has to be agreed by the two peers at each execution of KUDOS that they run with one another, as defined in <xref target="preserving-observe-management"/>. If, at the end of a KUDOS execution, the two peers have not agreed on that, they <bcp14>MUST</bcp14> terminate the ongoing observations that they have with one another, just as defined in <xref target="ssec-context-handling"/>.</t>
        <section anchor="preserving-observe-management">
          <name>Management of Observations</name>
          <t>As per <xref section="3.1" sectionFormat="of" target="RFC7641"/>, a client can register its interest in observing a resource at a server, by sending a registration request including the Observe Option with value 0.</t>
          <t>If the server registers the observation as ongoing, the server sends back a successful response also including the Observe Option, hence confirming that an entry has been successfully added for that client.</t>
          <t>If the client receives back the successful response above from the server, then the client also registers the observation as ongoing.</t>
          <t>In case the client can ever consider to preserve ongoing observations beyond a key update as defined below, then the client <bcp14>MUST NOT</bcp14> simply forget about an ongoing observation if not interested in it anymore. Instead, the client <bcp14>MUST</bcp14> send an explicit cancellation request to the server, i.e., a request including the Observe Option with value 1 (see <xref section="3.6" sectionFormat="of" target="RFC7641"/>). After sending this cancellation request, if the client does not receive back a response confirming that the observation has been terminated, the client <bcp14>MUST NOT</bcp14> consider the observation terminated. The client <bcp14>MAY</bcp14> try again to terminate the observation by sending a new cancellation request.</t>
          <t>In case a peer A performs a KUDOS execution with another peer B, and A has ongoing observations with B that it is interested to preserve beyond the key update, then A can explicitly indicate its interest to do so. To this end, the peer A sets to 1 the bit "Preserve Observations", 'b', in the 'x' byte of the OSCORE Option value (see <xref target="ssec-oscore-option-extensions"/>), in the KUDOS message it sends to the other peer B.</t>
          <t>If a peer acting as responder receives the first KUDOS message with the bit 'b' set to 0, then the peer <bcp14>MUST</bcp14> set to 0 the bit 'b' in the KUDOS message it sends as follow-up, regardless of its wish to preserve ongoing observations with the other peer.</t>
          <t>If a peer acting as initiator has sent the first KUDOS message with the bit 'b' set to 0, the peer <bcp14>MUST</bcp14> ignore the bit 'b' in the follow-up KUDOS message that it receives from the other peer.</t>
          <t>After successfully completing the KUDOS execution (i.e., after having successfully derived the new OSCORE Security Context CTX_NEW), both peers have expressed their interest in preserving their common ongoing observations if and only if the bit 'b' was set to 1 in both the exchanged KUDOS messages. In such a case, each peer X performs the following actions.</t>
          <ol spacing="normal" type="1"><li>
              <t>The peer X considers all the still ongoing observations that it has with the other peer, such that X acts as client in those observations. If there are no such observations, the peer X takes no further actions. Otherwise, it moves to step 2.</t>
            </li>
            <li>
              <t>The peer X considers all the OSCORE Partial IV values used in the Observe registration request associated with any of the still ongoing observations determined at step 1.</t>
            </li>
            <li>
              <t>The peer X determines the value PIV* as the highest OSCORE Partial IV value among those considered at step 2.</t>
            </li>
            <li>
              <t>In the Sender Context of the OSCORE Security Context shared with the other peer, the peer X sets its own Sender Sequence Number to (PIV* + 1), rather than to 0.</t>
            </li>
          </ol>
          <t>As a result, each peer X will "jump" beyond the OSCORE Partial IV (PIV) values that are occupied and in use for ongoing observations with the other peer where X acts as client.</t>
          <t>Note that, each time it runs KUDOS, a peer must determine if it wishes to preserve ongoing observations with the other peer or not, before sending its KUDOS message.</t>
          <t>To this end, the peer should also assess the new value that PIV* would take after a successful completion of KUDOS, in case ongoing observations with the other peer are going to be preserved. If the peer considers such a new value of PIV* to be too close to or equal to the maximum possible value admitted for the OSCORE Partial IV, then the peer may choose to run KUDOS with no intention to preserve its ongoing observations with the other peer, in order to "start over" from a fresh, entirely unused PIV space.</t>
          <t>Application policies can further influence whether attempting to preserve observations beyond a key update is appropriate or not.</t>
        </section>
      </section>
      <section anchor="ssec-retention">
        <name>Retention Policies</name>
        <t>Applications <bcp14>MAY</bcp14> define policies that allow a peer to temporarily keep the old Security Context CTX_OLD beyond having established the new Security Context CTX_NEW and having achieved key confirmation, rather than simply overwriting CTX_OLD with CTX_NEW. This allows the peer to decrypt late, still on-the-fly incoming messages protected with CTX_OLD.</t>
        <t>When enforcing such policies, the following applies.</t>
        <ul spacing="normal">
          <li>
            <t>Outgoing non KUDOS messages <bcp14>MUST</bcp14> be protected by using only CTX_NEW.</t>
          </li>
          <li>
            <t>Incoming non KUDOS messages <bcp14>MUST</bcp14> first be attempted to decrypt by using CTX_NEW. If decryption fails, a second attempt can use CTX_OLD.</t>
          </li>
          <li>
            <t>When an amount of time defined by the policy has elapsed since the establishment of CTX_NEW, the peer deletes CTX_OLD.</t>
          </li>
        </ul>
        <t>A peer <bcp14>MUST NOT</bcp14> retain CTX_OLD beyond the establishment of CTX_NEW and the achievement of key confirmation, if any of the following conditions holds: CTX_OLD is expired; limits set for safe key usage have been reached <xref target="I-D.ietf-core-oscore-key-limits"/>, for the Recipient Key of the Recipient Context of CTX_OLD.</t>
      </section>
      <section anchor="ssec-discussion">
        <name>Discussion</name>
        <t>KUDOS is intended to deprecate and replace the procedure defined in <xref section="B.2" sectionFormat="of" target="RFC8613"/>, as fundamentally achieving the same goal, while displaying a number of improvements and advantages.</t>
        <t>In particular, it is especially convenient for the handling of failure events concerning the JRC node in 6TiSCH networks (see <xref target="sec-current-methods"/>). That is, among its intrinsic advantages compared to the procedure defined in <xref section="B.2" sectionFormat="of" target="RFC8613"/>, KUDOS preserves the same ID Context value, when establishing a new OSCORE Security Context.</t>
        <t>Since the JRC uses ID Context values as identifiers of network nodes, namely "pledge identifiers", the above implies that the JRC does not have to perform anymore a mapping between a new, different ID Context value and a certain pledge identifier (see <xref section="8.3.3" sectionFormat="of" target="RFC9031"/>). It follows that pledge identifiers can remain constant once assigned, and thus ID Context values used as pledge identifiers can be employed in the long-term as originally intended.</t>
        <section anchor="kudos-interleaved-with-other-message-exchanges">
          <name>KUDOS Interleaved with Other Message Exchanges</name>
          <t>During a KUDOS execution, a peer that is a CoAP Client must be ready to receive CoAP responses that are not KUDOS messages and that are protected with a different OSCORE Security Context than the one that was used to protect the corresponding request.</t>
          <t>This can happen, for instance, when a CoAP client sends a request and, shortly after that, it executes KUDOS. In such a case, the CoAP request is protected with CTX_OLD, while the CoAP response from the server is protected with CTX_NEW. Another case is when incoming responses are Observe notifications protected with CTX_NEW, while the corresponding request from the CoAP client that started the observation was protected with CTX_OLD.</t>
          <t>Another case is when running KUDOS in the reverse message flow, if the client uses NSTART &gt; 1 and one of its requests triggers a KUDOS execution, i.e., the server replies with the first KUDOS message by acting as responder. The other requests would be latest served by the server after KUDOS has been completed.</t>
        </section>
        <section anchor="communication-overhead">
          <name>Communication Overhead</name>
          <t>Each of the two KUDOS messages displays a small communication overhead. This is determined by the following, additional information conveyed in the OSCORE option (see <xref target="ssec-oscore-option-extensions"/>).</t>
          <ul spacing="normal">
            <li>
              <t>The second byte of the OSCORE option.</t>
            </li>
            <li>
              <t>The byte 'x' of the OSCORE option.</t>
            </li>
            <li>
              <t>The nonce conveyed in the 'nonce' field of the OSCORE option. Its size ranges from 1 to 16 bytes as indicated in the 'x' byte, and is typically of 8 bytes.</t>
            </li>
          </ul>
          <t>Assuming nonces of the same size in both messages of the same KUDOS execution, this results in the following minimum, typical, and maximum communication overhead, when considering a nonce with size 1, 8, and 16 bytes, respectively. All the indicated values are in bytes.</t>
          <table align="center" anchor="_table-overhead-forward">
            <name>Communication overhead (forward message flow)</name>
            <thead>
              <tr>
                <th align="left">Nonce size</th>
                <th align="left">First KUDOS message</th>
                <th align="left">Second KUDOS message</th>
                <th align="left">Total</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">1</td>
                <td align="left">3</td>
                <td align="left">3</td>
                <td align="left">6</td>
              </tr>
              <tr>
                <td align="left">8</td>
                <td align="left">10</td>
                <td align="left">10</td>
                <td align="left">20</td>
              </tr>
              <tr>
                <td align="left">16</td>
                <td align="left">18</td>
                <td align="left">18</td>
                <td align="left">36</td>
              </tr>
            </tbody>
          </table>
          <table align="center" anchor="_table-overhead-reverse">
            <name>Communication overhead (reverse message flow)</name>
            <thead>
              <tr>
                <th align="left">Nonce size</th>
                <th align="left">First KUDOS message</th>
                <th align="left">Second KUDOS message</th>
                <th align="left">Total</th>
              </tr>
            </thead>
            <tbody>
              <tr>
                <td align="left">1</td>
                <td align="left">3</td>
                <td align="left">4</td>
                <td align="left">7</td>
              </tr>
              <tr>
                <td align="left">8</td>
                <td align="left">10</td>
                <td align="left">11</td>
                <td align="left">21</td>
              </tr>
              <tr>
                <td align="left">16</td>
                <td align="left">18</td>
                <td align="left">19</td>
                <td align="left">37</td>
              </tr>
            </tbody>
          </table>
        </section>
        <section anchor="well-known-kudos-desc">
          <name>Well-Known KUDOS Resource</name>
          <t>According to this specification, KUDOS is transferred in POST requests and 2.04 (Changed) responses. If a client wishes to execute the KUDOS procedure as initiator without triggering any application processing on the server, then the request sent as first KUDOS message must target a KUDOS resource, e.g., at the Uri-Path "/.well-known/kudos" (see Section 6.3), or at an alternative Uri-Path that can be discovered, e.g., by using a resource directory <xref target="RFC9176"/>. In order to discover a server's KUDOS resource, client applications can use the resource type "core.kudos" (see <xref target="rt-kudos"/>).</t>
        </section>
        <section anchor="rekeying-when-using-schc-with-oscore">
          <name>Rekeying when Using SCHC with OSCORE</name>
          <t>In the interest of rekeying, the following points must be taken into account when using the Static Context Header Compression and fragmentation (SCHC) framework <xref target="RFC8724"/> for compressing CoAP messages protected with OSCORE, as defined in <xref target="RFC8824"/>.</t>
          <t>Compression of the OSCORE Partial IV has implications for the frequency of rekeying. That is, if the Partial IV is compressed, the communicating peers must perform rekeying more often, as the available Partial IV space becomes smaller due to the compression. For instance, if only 3 bits of the Partial IV are sent, then the maximum PIV before having to rekey is only 2^3 - 1 = 7.</t>
          <t>Furthermore, any time the SCHC context Rules are updated on an OSCORE endpoint, that endpoint must perform a rekeying (see <xref section="9" sectionFormat="of" target="RFC8824"/>).</t>
          <t>That is, the use of SCHC plays a role in triggering KUDOS executions and in affecting their cadence. Hence, the used SCHC Rules and their update policies should ensure that the KUDOS executions occurring as their side effect do not significantly impair the gain from message compression.</t>
        </section>
      </section>
      <section anchor="edhoc-ead-signaling">
        <name>Signaling KUDOS support in EDHOC</name>
        <t>The EDHOC protocol defines the transport of additional External Authorization Data (EAD) within an optional EAD field of the EDHOC messages (see <xref section="3.8" sectionFormat="of" target="RFC9528"/>). An EAD field is composed of one or multiple EAD items, each of which specifies an identifying 'ead_label' encoded as a CBOR integer, and an optional 'ead_value' encoded as a CBOR bstr.</t>
        <t>This document defines a new EDHOC EAD item KUDOS_EAD and registers its 'ead_label' in <xref target="iana-edhoc-aad"/>. By including this EAD item in an outgoing EDHOC message, a sender peer can indicate whether it supports KUDOS and in which modes, as well as query the other peer about its support. Note that peers do not have to use this EDHOC EAD item to be able to run KUDOS with each other, irrespective of the modes they support. The possible values of the 'ead_value' are as follows:</t>
        <table align="center" anchor="_table-kudos-ead">
          <name>Values for the EDHOC EAD item KUDOS_EAD</name>
          <thead>
            <tr>
              <th align="left">Name</th>
              <th align="left">Value</th>
              <th align="left">Description</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">ASK</td>
              <td align="left">h'' (0x40)</td>
              <td align="left">Used only in EDHOC message_1. It asks the recipient peer to specify in EDHOC message_2 whether it supports KUDOS.</td>
            </tr>
            <tr>
              <td align="left">NONE</td>
              <td align="left">h'00' (0x4100)</td>
              <td align="left">Used only in EDHOC message_2 and message_3. It specifies that the sender peer does not support KUDOS.</td>
            </tr>
            <tr>
              <td align="left">FULL</td>
              <td align="left">h'01' (0x4101)</td>
              <td align="left">Used only in EDHOC message_2 and message_3. It specifies that the sender peer supports KUDOS in FS mode and no-FS mode.</td>
            </tr>
            <tr>
              <td align="left">PART</td>
              <td align="left">h'02' (0x4102)</td>
              <td align="left">Used only in EDHOC message_2 and message_3. It specifies that the sender peer supports KUDOS in no-FS mode only.</td>
            </tr>
          </tbody>
        </table>
        <t>When the KUDOS_EAD item is included in EDHOC message_1 with 'ead_value' ASK, a recipient peer that supports the KUDOS_EAD item <bcp14>MUST</bcp14> specify whether it supports KUDOS in EDHOC message_2.</t>
        <t>When the KUDOS_EAD item is not included in EDHOC message_1 with 'ead_value' ASK, a recipient peer that supports the KUDOS_EAD item <bcp14>MAY</bcp14> still specify whether it supports KUDOS in EDHOC message_2.</t>
        <t>When the KUDOS_EAD item is included in EDHOC message_2 with 'ead_value' FULL or PART, a recipient peer that supports the KUDOS_EAD item <bcp14>SHOULD</bcp14> specify whether it supports KUDOS in EDHOC message_3. An exception applies in case, based on application policies or other context information, the recipient peer that receives EDHOC message_2 already knows that the sender peer is supposed to have such knowledge.</t>
        <t>When the KUDOS_EAD item is included in EDHOC message_2 with 'ead_value' NONE, a recipient peer that supports the KUDOS_EAD item <bcp14>MUST NOT</bcp14> specify whether it supports KUDOS in EDHOC message_3.</t>
        <t>In the following cases, the recipient peer silently ignores the KUDOS_EAD item specified in the received EDHOC message, and does not include a KUDOS_EAD item in the next EDHOC message it sends (if any).</t>
        <ul spacing="normal">
          <li>
            <t>The recipient peer does not support the KUDOS_EAD item.</t>
          </li>
          <li>
            <t>The KUDOS_EAD item is included in EDHOC message_1 with 'ead_value' different than ASK</t>
          </li>
          <li>
            <t>The KUDOS_EAD item is included in EDHOC message_2 or message_3 with 'ead_value' ASK.</t>
          </li>
          <li>
            <t>The KUDOS_EAD item is included in EDHOC message_4.</t>
          </li>
        </ul>
        <t>That is, by specifying 'ead_value' ASK in EDHOC message_1, a peer A can indicate to the other peer B that it wishes to know if B supports KUDOS and in what mode(s). In the following EDHOC message_2, B indicates whether it supports KUDOS and in what mode(s), by specifying either NONE, FULL, or PART as 'ead_value'. Specifying the 'ead_value' FULL or PART in EDHOC message_2 also asks A to indicate whether it supports KUDOS in EDHOC message_3.</t>
        <t>To further illustrate the functionality, two examples are presented below as EDHOC executions where only the new KUDOS_EAD item is shown when present, and assuming that no other EAD items are used by the two peers.</t>
        <artset>
          <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="272" width="480" viewBox="0 0 480 272" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
              <path d="M 8,64 L 8,256" fill="none" stroke="black"/>
              <path d="M 472,64 L 472,256" fill="none" stroke="black"/>
              <path d="M 8,96 L 464,96" fill="none" stroke="black"/>
              <path d="M 16,160 L 472,160" fill="none" stroke="black"/>
              <path d="M 8,224 L 464,224" fill="none" stroke="black"/>
              <polygon class="arrowhead" points="472,224 460,218.4 460,229.6" fill="black" transform="rotate(0,464,224)"/>
              <polygon class="arrowhead" points="472,96 460,90.4 460,101.6" fill="black" transform="rotate(0,464,96)"/>
              <polygon class="arrowhead" points="24,160 12,154.4 12,165.6" fill="black" transform="rotate(180,16,160)"/>
              <g class="text">
                <text x="24" y="36">EDHOC</text>
                <text x="456" y="36">EDHOC</text>
                <text x="40" y="52">Initiator</text>
                <text x="440" y="52">Responder</text>
                <text x="164" y="84">EAD_1:</text>
                <text x="240" y="84">(TBD_LABEL,</text>
                <text x="308" y="84">ASK)</text>
                <text x="240" y="116">message_1</text>
                <text x="164" y="148">EAD_2:</text>
                <text x="240" y="148">(TBD_LABEL,</text>
                <text x="312" y="148">FULL)</text>
                <text x="240" y="180">message_2</text>
                <text x="164" y="212">EAD_3:</text>
                <text x="240" y="212">(TBD_LABEL,</text>
                <text x="312" y="212">FULL)</text>
                <text x="240" y="244">message_3</text>
              </g>
            </svg>
          </artwork>
          <artwork type="ascii-art" align="center"><![CDATA[
EDHOC                                                 EDHOC
Initiator                                         Responder
|                                                         |
|                EAD_1: (TBD_LABEL, ASK)                  |
+-------------------------------------------------------->|
|                        message_1                        |
|                                                         |
|                EAD_2: (TBD_LABEL, FULL)                 |
|<--------------------------------------------------------+
|                        message_2                        |
|                                                         |
|                EAD_3: (TBD_LABEL, FULL)                 |
+-------------------------------------------------------->|
|                        message_3                        |
|                                                         |
]]></artwork>
        </artset>
        <t>In the example above, the Initiator asks the EDHOC Responder about its support for KUDOS ('ead_value' = ASK). In EDHOC message_2, the Responder indicates that it supports both the FS and no-FS mode of KUDOS ('ead_value' = FULL). Finally, in EDHOC message_3, the Initiator indicates that it also supports both the FS and no-FS mode of KUDOS ('ead_value' = FULL). After the EDHOC execution has successfully finished, both peers are aware that they both support KUDOS, in the FS and no-FS modes.</t>
        <artset>
          <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="256" width="480" viewBox="0 0 480 256" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
              <path d="M 8,64 L 8,240" fill="none" stroke="black"/>
              <path d="M 472,64 L 472,240" fill="none" stroke="black"/>
              <path d="M 8,96 L 464,96" fill="none" stroke="black"/>
              <path d="M 16,160 L 472,160" fill="none" stroke="black"/>
              <path d="M 8,208 L 464,208" fill="none" stroke="black"/>
              <polygon class="arrowhead" points="472,208 460,202.4 460,213.6" fill="black" transform="rotate(0,464,208)"/>
              <polygon class="arrowhead" points="472,96 460,90.4 460,101.6" fill="black" transform="rotate(0,464,96)"/>
              <polygon class="arrowhead" points="24,160 12,154.4 12,165.6" fill="black" transform="rotate(180,16,160)"/>
              <g class="text">
                <text x="24" y="36">EDHOC</text>
                <text x="456" y="36">EDHOC</text>
                <text x="40" y="52">Initiator</text>
                <text x="440" y="52">Responder</text>
                <text x="164" y="84">EAD_1:</text>
                <text x="240" y="84">(TBD_LABEL,</text>
                <text x="308" y="84">ASK)</text>
                <text x="240" y="116">message_1</text>
                <text x="164" y="148">EAD_2:</text>
                <text x="240" y="148">(TBD_LABEL,</text>
                <text x="312" y="148">NONE)</text>
                <text x="240" y="180">message_2</text>
                <text x="240" y="228">message_3</text>
              </g>
            </svg>
          </artwork>
          <artwork type="ascii-art" align="center"><![CDATA[
EDHOC                                                 EDHOC
Initiator                                         Responder
|                                                         |
|                EAD_1: (TBD_LABEL, ASK)                  |
+-------------------------------------------------------->|
|                        message_1                        |
|                                                         |
|                EAD_2: (TBD_LABEL, NONE)                 |
|<--------------------------------------------------------+
|                        message_2                        |
|                                                         |
+-------------------------------------------------------->|
|                        message_3                        |
|                                                         |
]]></artwork>
        </artset>
        <t>In this second example, the Initiator asks the EDHOC Responder about its support for KUDOS ('ead_value' = ASK). In EDHOC message_2, the Responder indicates that it does not support KUDOS at all ('ead_value' = NONE). Finally, in EDHOC message_3, the Initiator does not include the KUDOS_EAD item, since it already knows that using KUDOS with the other peer will not be possible. After the EDHOC execution has successfully finished, the Initiator is aware that the Responder does not support KUDOS, which the two peers are not going to use with each other.</t>
      </section>
    </section>
    <section anchor="sec-cons">
      <name>Security Considerations</name>
      <t>This document mainly covers security considerations about using AEAD keys in OSCORE and their usage limits, in addition to the security considerations of <xref target="RFC8613"/>.</t>
      <t>Depending on the specific key update procedure used to establish a new OSCORE Security Context, the related security considerations also apply.</t>
      <t>As mentioned in <xref target="ssec-nonces-x-bytes"/>, it is <bcp14>RECOMMENDED</bcp14> that the size for nonces N1 and N2 is 8 bytes. The application needs to set the size of each nonce such that the probability of its value being repeated is negligible. Note that the probability of collision of nonce values is heightened by the birthday paradox. However, considering a nonce size of 8 bytes there will be a collision on average after approximately 2^32 instances of Response #1 messages.</t>
      <t>Overall, the size of the nonces N1 and N2 should be set such that the security level is harmonized with other components of the deployment. Considering the constraints of embedded implementations, there might be a need for allowing N1 and N2 values that are smaller in size. This is acceptable, provided that safety, reliability, and robustness within the system can still be assured. Although using nonces that are smaller in size means that there will be a collision on average after fewer KUDOS messages have been sent, this should not pose significant problems even for a constrained server operating at a capacity of one request per second.</t>
      <t>The nonces exchanged in the KUDOS messages are sent in the clear, so using random nonces is preferable for maintaining privacy. If instead a counter value is used, this can leak some information about the peers. Specifically, using counters will reveal the frequency of rekeying procedures performed.</t>
      <t>As discussed in <xref target="Symmetric-Security"/>, key update methods built on symmetric key exchange have weaker security properties compared to methods built on ephemeral Diffie-Hellman key exchange. In fact, while the two approaches can co-exist, rekeying with symmetric key exchange is not intended as a substitute for ephemeral Diffie-Hellman key exchange. Peers should periodically perform a key update based on ephemeral Diffie-Hellman key exchange (e.g., by running the EDHOC protocol <xref target="RFC9528"/>). The cadence of such periodic key updates should be determined based on how much the two peers and their network environment are constrained, as well as on the maximum amount of time and of exchanged data that are acceptable between two consecutive key updates.</t>
    </section>
    <section anchor="sec-iana">
      <name>IANA Considerations</name>
      <t>This document has the following actions for IANA.</t>
      <t>Note to RFC Editor: Please replace all occurrences of "[RFC-XXXX]" with the RFC number of this specification and delete this paragraph.</t>
      <section anchor="iana-cons-flag-bits">
        <name>OSCORE Flag Bits Registry</name>
        <t>IANA is asked to add the following entries to the "OSCORE Flag Bits" registry within the "Constrained RESTful Environments (CoRE) Parameters" registry group.</t>
        <table align="center" anchor="_table-iana-oscore-flag-bits">
          <name>Registrations in the OSCORE Flag Bits Registry</name>
          <thead>
            <tr>
              <th align="left">Bit Position</th>
              <th align="left">Name</th>
              <th align="left">Description</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">0</td>
              <td align="left">Extension-1 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies a second byte, which includes the OSCORE flag bits 8-15</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">8</td>
              <td align="left">Extension-2 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies a third byte, which includes the OSCORE flag bits 16-23</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">15</td>
              <td align="left">Nonce Flag</td>
              <td align="left">Set to 1 if nonce is present in the compressed COSE object</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">16</td>
              <td align="left">Extension-3 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies a fourth byte, which includes the OSCORE flag bits 24-31</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">24</td>
              <td align="left">Extension-4 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies a fifth byte, which includes the OSCORE flag bits 32-39</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">32</td>
              <td align="left">Extension-5 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies a sixth byte, which includes the OSCORE flag bits 40-47</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">40</td>
              <td align="left">Extension-6 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies a seventh byte, which includes the OSCORE flag bits 48-55</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
            <tr>
              <td align="left">48</td>
              <td align="left">Extension-7 Flag</td>
              <td align="left">Set to 1 if the OSCORE Option specifies an eigth byte, which includes the OSCORE flag bits 56-63</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
          </tbody>
        </table>
        <t>In the same registry, IANA is asked to mark as 'Unassigned' the entry with Bit Position of 1, i.e., to update the entry as follows.</t>
        <table align="center" anchor="_table-iana-oscore-flag-bits-2">
          <name>Update in the OSCORE Flag Bits Registry</name>
          <thead>
            <tr>
              <th align="left">Bit Position</th>
              <th align="left">Name</th>
              <th align="left">Description</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">1</td>
              <td align="left">Unassigned</td>
              <td align="left"> </td>
              <td align="left"> </td>
            </tr>
          </tbody>
        </table>
      </section>
      <section anchor="iana-edhoc-aad">
        <name>EDHOC External Authorization Data Registry</name>
        <t>IANA is asked to add the following entries to the "EDHOC External Authorization Data" registry defined in <xref section="10.5" sectionFormat="of" target="RFC9528"/> within the "Ephemeral Diffie-Hellman Over COSE (EDHOC)" registry group.</t>
        <table align="center" anchor="_table-iana-edhoc-ead">
          <name>Registrations in the EDHOC External Authorization Data Registry</name>
          <thead>
            <tr>
              <th align="left">Label</th>
              <th align="left">Description</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">TBD1</td>
              <td align="left">Indicates whether this peer supports KUDOS and in which mode(s)</td>
              <td align="left">[RFC-XXXX]</td>
            </tr>
          </tbody>
        </table>
      </section>
      <section anchor="well-known-kudos">
        <name>The Well-Known URI Registry</name>
        <t>IANA is asked to add the 'kudos' well-known URI to the Well-Known URIs registry as defined by <xref target="RFC8615"/>.</t>
        <ul spacing="normal">
          <li>
            <t>URI suffix: kudos</t>
          </li>
          <li>
            <t>Change controller: IETF</t>
          </li>
          <li>
            <t>Specification document(s): [RFC-XXXX]</t>
          </li>
          <li>
            <t>Related information: None</t>
          </li>
        </ul>
      </section>
      <section anchor="rt-kudos">
        <name>Resource Type (rt=) Link Target Attribute Values Registry</name>
        <t>IANA is requested to add the resource type "core.kudos" to the "Resource Type (rt=) Link Target Attribute Values" registry under the registry group "Constrained RESTful Environments (CoRE) Parameters".</t>
        <ul spacing="normal">
          <li>
            <t>Value: "core.kudos"</t>
          </li>
          <li>
            <t>Description: KUDOS resource.</t>
          </li>
          <li>
            <t>Reference: [RFC-XXXX]</t>
          </li>
        </ul>
      </section>
      <section anchor="coap-option-numbers-registry">
        <name>CoAP Option Numbers Registry</name>
        <t>IANA is asked to add this document as an additional reference for the OSCORE Option in the "CoAP Option Numbers" registry within the "Constrained RESTful Environments (CoRE) Parameters" registry group.</t>
      </section>
    </section>
  </middle>
  <back>
    <references>
      <name>References</name>
      <references>
        <name>Normative References</name>
        <reference anchor="RFC5869" target="https://www.rfc-editor.org/info/rfc5869">
          <front>
            <title>HMAC-based Extract-and-Expand Key Derivation Function (HKDF)</title>
            <author fullname="H. Krawczyk" initials="H." surname="Krawczyk"/>
            <author fullname="P. Eronen" initials="P." surname="Eronen"/>
            <date month="May" year="2010"/>
            <abstract>
              <t>This document specifies a simple Hashed Message Authentication Code (HMAC)-based key derivation function (HKDF), which can be used as a building block in various protocols and applications. The key derivation function (KDF) is intended to support a wide range of applications and requirements, and is conservative in its use of cryptographic hash functions. This document is not an Internet Standards Track specification; it is published for informational purposes.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5869"/>
          <seriesInfo name="DOI" value="10.17487/RFC5869"/>
        </reference>
        <reference anchor="RFC7252" target="https://www.rfc-editor.org/info/rfc7252">
          <front>
            <title>The Constrained Application Protocol (CoAP)</title>
            <author fullname="Z. Shelby" initials="Z." surname="Shelby"/>
            <author fullname="K. Hartke" initials="K." surname="Hartke"/>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <date month="June" year="2014"/>
            <abstract>
              <t>The Constrained Application Protocol (CoAP) is a specialized web transfer protocol for use with constrained nodes and constrained (e.g., low-power, lossy) networks. The nodes often have 8-bit microcontrollers with small amounts of ROM and RAM, while constrained networks such as IPv6 over Low-Power Wireless Personal Area Networks (6LoWPANs) often have high packet error rates and a typical throughput of 10s of kbit/s. The protocol is designed for machine- to-machine (M2M) applications such as smart energy and building automation.</t>
              <t>CoAP provides a request/response interaction model between application endpoints, supports built-in discovery of services and resources, and includes key concepts of the Web such as URIs and Internet media types. CoAP is designed to easily interface with HTTP for integration with the Web while meeting specialized requirements such as multicast support, very low overhead, and simplicity for constrained environments.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7252"/>
          <seriesInfo name="DOI" value="10.17487/RFC7252"/>
        </reference>
        <reference anchor="RFC7641" target="https://www.rfc-editor.org/info/rfc7641">
          <front>
            <title>Observing Resources in the Constrained Application Protocol (CoAP)</title>
            <author fullname="K. Hartke" initials="K." surname="Hartke"/>
            <date month="September" year="2015"/>
            <abstract>
              <t>The Constrained Application Protocol (CoAP) is a RESTful application protocol for constrained nodes and networks. The state of a resource on a CoAP server can change over time. This document specifies a simple protocol extension for CoAP that enables CoAP clients to "observe" resources, i.e., to retrieve a representation of a resource and keep this representation updated by the server over a period of time. The protocol follows a best-effort approach for sending new representations to clients and provides eventual consistency between the state observed by each client and the actual resource state at the server.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7641"/>
          <seriesInfo name="DOI" value="10.17487/RFC7641"/>
        </reference>
        <reference anchor="RFC8613" target="https://www.rfc-editor.org/info/rfc8613">
          <front>
            <title>Object Security for Constrained RESTful Environments (OSCORE)</title>
            <author fullname="G. Selander" initials="G." surname="Selander"/>
            <author fullname="J. Mattsson" initials="J." surname="Mattsson"/>
            <author fullname="F. Palombini" initials="F." surname="Palombini"/>
            <author fullname="L. Seitz" initials="L." surname="Seitz"/>
            <date month="July" year="2019"/>
            <abstract>
              <t>This document defines Object Security for Constrained RESTful Environments (OSCORE), a method for application-layer protection of the Constrained Application Protocol (CoAP), using CBOR Object Signing and Encryption (COSE). OSCORE provides end-to-end protection between endpoints communicating using CoAP or CoAP-mappable HTTP. OSCORE is designed for constrained nodes and networks supporting a range of proxy operations, including translation between different transport protocols.</t>
              <t>Although an optional functionality of CoAP, OSCORE alters CoAP options processing and IANA registration. Therefore, this document updates RFC 7252.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8613"/>
          <seriesInfo name="DOI" value="10.17487/RFC8613"/>
        </reference>
        <reference anchor="RFC8949" target="https://www.rfc-editor.org/info/rfc8949">
          <front>
            <title>Concise Binary Object Representation (CBOR)</title>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <author fullname="P. Hoffman" initials="P." surname="Hoffman"/>
            <date month="December" year="2020"/>
            <abstract>
              <t>The Concise Binary Object Representation (CBOR) is a data format whose design goals include the possibility of extremely small code size, fairly small message size, and extensibility without the need for version negotiation. These design goals make it different from earlier binary serializations such as ASN.1 and MessagePack.</t>
              <t>This document obsoletes RFC 7049, providing editorial improvements, new details, and errata fixes while keeping full compatibility with the interchange format of RFC 7049. It does not create a new version of the format.</t>
            </abstract>
          </front>
          <seriesInfo name="STD" value="94"/>
          <seriesInfo name="RFC" value="8949"/>
          <seriesInfo name="DOI" value="10.17487/RFC8949"/>
        </reference>
        <reference anchor="RFC9528" target="https://www.rfc-editor.org/info/rfc9528">
          <front>
            <title>Ephemeral Diffie-Hellman Over COSE (EDHOC)</title>
            <author fullname="G. Selander" initials="G." surname="Selander"/>
            <author fullname="J. Preuß Mattsson" initials="J." surname="Preuß Mattsson"/>
            <author fullname="F. Palombini" initials="F." surname="Palombini"/>
            <date month="March" year="2024"/>
            <abstract>
              <t>This document specifies Ephemeral Diffie-Hellman Over COSE (EDHOC), a very compact and lightweight authenticated Diffie-Hellman key exchange with ephemeral keys. EDHOC provides mutual authentication, forward secrecy, and identity protection. EDHOC is intended for usage in constrained scenarios, and a main use case is to establish an Object Security for Constrained RESTful Environments (OSCORE) security context. By reusing CBOR Object Signing and Encryption (COSE) for cryptography, Concise Binary Object Representation (CBOR) for encoding, and Constrained Application Protocol (CoAP) for transport, the additional code size can be kept very low.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9528"/>
          <seriesInfo name="DOI" value="10.17487/RFC9528"/>
        </reference>
        <reference anchor="RFC2119" target="https://www.rfc-editor.org/info/rfc2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC8174" target="https://www.rfc-editor.org/info/rfc8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
      </references>
      <references>
        <name>Informative References</name>
        <reference anchor="RFC8446" target="https://www.rfc-editor.org/info/rfc8446">
          <front>
            <title>The Transport Layer Security (TLS) Protocol Version 1.3</title>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <date month="August" year="2018"/>
            <abstract>
              <t>This document specifies version 1.3 of the Transport Layer Security (TLS) protocol. TLS allows client/server applications to communicate over the Internet in a way that is designed to prevent eavesdropping, tampering, and message forgery.</t>
              <t>This document updates RFCs 5705 and 6066, and obsoletes RFCs 5077, 5246, and 6961. This document also specifies new requirements for TLS 1.2 implementations.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8446"/>
          <seriesInfo name="DOI" value="10.17487/RFC8446"/>
        </reference>
        <reference anchor="RFC7554" target="https://www.rfc-editor.org/info/rfc7554">
          <front>
            <title>Using IEEE 802.15.4e Time-Slotted Channel Hopping (TSCH) in the Internet of Things (IoT): Problem Statement</title>
            <author fullname="T. Watteyne" initials="T." role="editor" surname="Watteyne"/>
            <author fullname="M. Palattella" initials="M." surname="Palattella"/>
            <author fullname="L. Grieco" initials="L." surname="Grieco"/>
            <date month="May" year="2015"/>
            <abstract>
              <t>This document describes the environment, problem statement, and goals for using the Time-Slotted Channel Hopping (TSCH) Medium Access Control (MAC) protocol of IEEE 802.14.4e in the context of Low-Power and Lossy Networks (LLNs). The set of goals enumerated in this document form an initial set only.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7554"/>
          <seriesInfo name="DOI" value="10.17487/RFC7554"/>
        </reference>
        <reference anchor="RFC8180" target="https://www.rfc-editor.org/info/rfc8180">
          <front>
            <title>Minimal IPv6 over the TSCH Mode of IEEE 802.15.4e (6TiSCH) Configuration</title>
            <author fullname="X. Vilajosana" initials="X." role="editor" surname="Vilajosana"/>
            <author fullname="K. Pister" initials="K." surname="Pister"/>
            <author fullname="T. Watteyne" initials="T." surname="Watteyne"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>This document describes a minimal mode of operation for an IPv6 over the TSCH mode of IEEE 802.15.4e (6TiSCH) network. This minimal mode of operation specifies the baseline set of protocols that need to be supported and the recommended configurations and modes of operation sufficient to enable a 6TiSCH functional network. 6TiSCH provides IPv6 connectivity over a Time-Slotted Channel Hopping (TSCH) mesh composed of IEEE Std 802.15.4 TSCH links. This minimal mode uses a collection of protocols with the respective configurations, including the IPv6 Low-Power Wireless Personal Area Network (6LoWPAN) framework, enabling interoperable IPv6 connectivity over IEEE Std 802.15.4 TSCH. This minimal configuration provides the necessary bandwidth for network and security bootstrapping and defines the proper link between the IETF protocols that interface to IEEE Std 802.15.4 TSCH. This minimal mode of operation should be implemented by all 6TiSCH-compliant devices.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="210"/>
          <seriesInfo name="RFC" value="8180"/>
          <seriesInfo name="DOI" value="10.17487/RFC8180"/>
        </reference>
        <reference anchor="RFC9031" target="https://www.rfc-editor.org/info/rfc9031">
          <front>
            <title>Constrained Join Protocol (CoJP) for 6TiSCH</title>
            <author fullname="M. Vučinić" initials="M." role="editor" surname="Vučinić"/>
            <author fullname="J. Simon" initials="J." surname="Simon"/>
            <author fullname="K. Pister" initials="K." surname="Pister"/>
            <author fullname="M. Richardson" initials="M." surname="Richardson"/>
            <date month="May" year="2021"/>
            <abstract>
              <t>This document describes the minimal framework required for a new device, called a "pledge", to securely join a 6TiSCH (IPv6 over the Time-Slotted Channel Hopping mode of IEEE 802.15.4) network. The framework requires that the pledge and the JRC (Join Registrar/Coordinator, a central entity), share a symmetric key. How this key is provisioned is out of scope of this document. Through a single CoAP (Constrained Application Protocol) request-response exchange secured by OSCORE (Object Security for Constrained RESTful Environments), the pledge requests admission into the network, and the JRC configures it with link-layer keying material and other parameters. The JRC may at any time update the parameters through another request-response exchange secured by OSCORE. This specification defines the Constrained Join Protocol and its CBOR (Concise Binary Object Representation) data structures, and it describes how to configure the rest of the 6TiSCH communication stack for this join process to occur in a secure manner. Additional security mechanisms may be added on top of this minimal framework.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9031"/>
          <seriesInfo name="DOI" value="10.17487/RFC9031"/>
        </reference>
        <reference anchor="RFC9200" target="https://www.rfc-editor.org/info/rfc9200">
          <front>
            <title>Authentication and Authorization for Constrained Environments Using the OAuth 2.0 Framework (ACE-OAuth)</title>
            <author fullname="L. Seitz" initials="L." surname="Seitz"/>
            <author fullname="G. Selander" initials="G." surname="Selander"/>
            <author fullname="E. Wahlstroem" initials="E." surname="Wahlstroem"/>
            <author fullname="S. Erdtman" initials="S." surname="Erdtman"/>
            <author fullname="H. Tschofenig" initials="H." surname="Tschofenig"/>
            <date month="August" year="2022"/>
            <abstract>
              <t>This specification defines a framework for authentication and authorization in Internet of Things (IoT) environments called ACE-OAuth. The framework is based on a set of building blocks including OAuth 2.0 and the Constrained Application Protocol (CoAP), thus transforming a well-known and widely used authorization solution into a form suitable for IoT devices. Existing specifications are used where possible, but extensions are added and profiles are defined to better serve the IoT use cases.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9200"/>
          <seriesInfo name="DOI" value="10.17487/RFC9200"/>
        </reference>
        <reference anchor="RFC9203" target="https://www.rfc-editor.org/info/rfc9203">
          <front>
            <title>The Object Security for Constrained RESTful Environments (OSCORE) Profile of the Authentication and Authorization for Constrained Environments (ACE) Framework</title>
            <author fullname="F. Palombini" initials="F." surname="Palombini"/>
            <author fullname="L. Seitz" initials="L." surname="Seitz"/>
            <author fullname="G. Selander" initials="G." surname="Selander"/>
            <author fullname="M. Gunnarsson" initials="M." surname="Gunnarsson"/>
            <date month="August" year="2022"/>
            <abstract>
              <t>This document specifies a profile for the Authentication and Authorization for Constrained Environments (ACE) framework. It utilizes Object Security for Constrained RESTful Environments (OSCORE) to provide communication security and proof-of-possession for a key owned by the client and bound to an OAuth 2.0 access token.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9203"/>
          <seriesInfo name="DOI" value="10.17487/RFC9203"/>
        </reference>
        <reference anchor="RFC9176" target="https://www.rfc-editor.org/info/rfc9176">
          <front>
            <title>Constrained RESTful Environments (CoRE) Resource Directory</title>
            <author fullname="C. Amsüss" initials="C." role="editor" surname="Amsüss"/>
            <author fullname="Z. Shelby" initials="Z." surname="Shelby"/>
            <author fullname="M. Koster" initials="M." surname="Koster"/>
            <author fullname="C. Bormann" initials="C." surname="Bormann"/>
            <author fullname="P. van der Stok" initials="P." surname="van der Stok"/>
            <date month="April" year="2022"/>
            <abstract>
              <t>In many Internet of Things (IoT) applications, direct discovery of resources is not practical due to sleeping nodes or networks where multicast traffic is inefficient. These problems can be solved by employing an entity called a Resource Directory (RD), which contains information about resources held on other servers, allowing lookups to be performed for those resources. The input to an RD is composed of links, and the output is composed of links constructed from the information stored in the RD. This document specifies the web interfaces that an RD supports for web servers to discover the RD and to register, maintain, look up, and remove information on resources. Furthermore, new target attributes useful in conjunction with an RD are defined.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9176"/>
          <seriesInfo name="DOI" value="10.17487/RFC9176"/>
        </reference>
        <reference anchor="RFC8615" target="https://www.rfc-editor.org/info/rfc8615">
          <front>
            <title>Well-Known Uniform Resource Identifiers (URIs)</title>
            <author fullname="M. Nottingham" initials="M." surname="Nottingham"/>
            <date month="May" year="2019"/>
            <abstract>
              <t>This memo defines a path prefix for "well-known locations", "/.well-known/", in selected Uniform Resource Identifier (URI) schemes.</t>
              <t>In doing so, it obsoletes RFC 5785 and updates the URI schemes defined in RFC 7230 to reserve that space. It also updates RFC 7595 to track URI schemes that support well-known URIs in their registry.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8615"/>
          <seriesInfo name="DOI" value="10.17487/RFC8615"/>
        </reference>
        <reference anchor="RFC8724" target="https://www.rfc-editor.org/info/rfc8724">
          <front>
            <title>SCHC: Generic Framework for Static Context Header Compression and Fragmentation</title>
            <author fullname="A. Minaburo" initials="A." surname="Minaburo"/>
            <author fullname="L. Toutain" initials="L." surname="Toutain"/>
            <author fullname="C. Gomez" initials="C." surname="Gomez"/>
            <author fullname="D. Barthel" initials="D." surname="Barthel"/>
            <author fullname="JC. Zuniga" initials="JC." surname="Zuniga"/>
            <date month="April" year="2020"/>
            <abstract>
              <t>This document defines the Static Context Header Compression and fragmentation (SCHC) framework, which provides both a header compression mechanism and an optional fragmentation mechanism. SCHC has been designed with Low-Power Wide Area Networks (LPWANs) in mind.</t>
              <t>SCHC compression is based on a common static context stored both in the LPWAN device and in the network infrastructure side. This document defines a generic header compression mechanism and its application to compress IPv6/UDP headers.</t>
              <t>This document also specifies an optional fragmentation and reassembly mechanism. It can be used to support the IPv6 MTU requirement over the LPWAN technologies. Fragmentation is needed for IPv6 datagrams that, after SCHC compression or when such compression was not possible, still exceed the Layer 2 maximum payload size.</t>
              <t>The SCHC header compression and fragmentation mechanisms are independent of the specific LPWAN technology over which they are used. This document defines generic functionalities and offers flexibility with regard to parameter settings and mechanism choices. This document standardizes the exchange over the LPWAN between two SCHC entities. Settings and choices specific to a technology or a product are expected to be grouped into profiles, which are specified in other documents. Data models for the context and profiles are out of scope.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8724"/>
          <seriesInfo name="DOI" value="10.17487/RFC8724"/>
        </reference>
        <reference anchor="RFC8824" target="https://www.rfc-editor.org/info/rfc8824">
          <front>
            <title>Static Context Header Compression (SCHC) for the Constrained Application Protocol (CoAP)</title>
            <author fullname="A. Minaburo" initials="A." surname="Minaburo"/>
            <author fullname="L. Toutain" initials="L." surname="Toutain"/>
            <author fullname="R. Andreasen" initials="R." surname="Andreasen"/>
            <date month="June" year="2021"/>
            <abstract>
              <t>This document defines how to compress Constrained Application Protocol (CoAP) headers using the Static Context Header Compression and fragmentation (SCHC) framework. SCHC defines a header compression mechanism adapted for Constrained Devices. SCHC uses a static description of the header to reduce the header's redundancy and size. While RFC 8724 describes the SCHC compression and fragmentation framework, and its application for IPv6/UDP headers, this document applies SCHC to CoAP headers. The CoAP header structure differs from IPv6 and UDP, since CoAP uses a flexible header with a variable number of options, themselves of variable length. The CoAP message format is asymmetric: the request messages have a header format different from the format in the response messages. This specification gives guidance on applying SCHC to flexible headers and how to leverage the asymmetry for more efficient compression Rules.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8824"/>
          <seriesInfo name="DOI" value="10.17487/RFC8824"/>
        </reference>
        <reference anchor="RFC7967" target="https://www.rfc-editor.org/info/rfc7967">
          <front>
            <title>Constrained Application Protocol (CoAP) Option for No Server Response</title>
            <author fullname="A. Bhattacharyya" initials="A." surname="Bhattacharyya"/>
            <author fullname="S. Bandyopadhyay" initials="S." surname="Bandyopadhyay"/>
            <author fullname="A. Pal" initials="A." surname="Pal"/>
            <author fullname="T. Bose" initials="T." surname="Bose"/>
            <date month="August" year="2016"/>
            <abstract>
              <t>There can be machine-to-machine (M2M) scenarios where server responses to client requests are redundant. This kind of open-loop exchange (with no response path from the server to the client) may be desired to minimize resource consumption in constrained systems while updating many resources simultaneously or performing high-frequency updates. CoAP already provides Non-confirmable (NON) messages that are not acknowledged by the recipient. However, the request/response semantics still require the server to respond with a status code indicating "the result of the attempt to understand and satisfy the request", per RFC 7252.</t>
              <t>This specification introduces a CoAP option called 'No-Response'. Using this option, the client can explicitly express to the server its disinterest in all responses against the particular request. This option also provides granular control to enable expression of disinterest to a particular response class or a combination of response classes. The server MAY decide to suppress the response by not transmitting it back to the client according to the value of the No-Response option in the request. This option may be effective for both unicast and multicast requests. This document also discusses a few examples of applications that benefit from this option.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7967"/>
          <seriesInfo name="DOI" value="10.17487/RFC7967"/>
        </reference>
        <reference anchor="I-D.irtf-cfrg-aead-limits" target="https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-aead-limits-08">
          <front>
            <title>Usage Limits on AEAD Algorithms</title>
            <author fullname="Felix Günther" initials="F." surname="Günther">
              <organization>IBM Research Europe - Zurich</organization>
            </author>
            <author fullname="Martin Thomson" initials="M." surname="Thomson">
              <organization>Mozilla</organization>
            </author>
            <author fullname="Christopher A. Wood" initials="C. A." surname="Wood">
              <organization>Cloudflare</organization>
            </author>
            <date day="1" month="April" year="2024"/>
            <abstract>
              <t>   An Authenticated Encryption with Associated Data (AEAD) algorithm
   provides confidentiality and integrity.  Excessive use of the same
   key can give an attacker advantages in breaking these properties.
   This document provides simple guidance for users of common AEAD
   functions about how to limit the use of keys in order to bound the
   advantage given to an attacker.  It considers limits in both single-
   and multi-key settings.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-irtf-cfrg-aead-limits-08"/>
        </reference>
        <reference anchor="I-D.ietf-core-oscore-key-limits" target="https://datatracker.ietf.org/doc/html/draft-ietf-core-oscore-key-limits-02">
          <front>
            <title>Key Usage Limits for OSCORE</title>
            <author fullname="Rikard Höglund" initials="R." surname="Höglund">
              <organization>RISE AB</organization>
            </author>
            <author fullname="Marco Tiloca" initials="M." surname="Tiloca">
              <organization>RISE AB</organization>
            </author>
            <date day="10" month="January" year="2024"/>
            <abstract>
              <t>   Object Security for Constrained RESTful Environments (OSCORE) uses
   AEAD algorithms to ensure confidentiality and integrity of exchanged
   messages.  Due to known issues allowing forgery attacks against AEAD
   algorithms, limits should be followed on the number of times a
   specific key is used for encryption or decryption.  Among other
   reasons, approaching key usage limits requires updating the OSCORE
   keying material before communications can securely continue.  This
   document defines how two OSCORE peers can follow these key usage
   limits and what steps they should take to preserve the security of
   their communications.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-core-oscore-key-limits-02"/>
        </reference>
        <reference anchor="I-D.ietf-ace-edhoc-oscore-profile" target="https://datatracker.ietf.org/doc/html/draft-ietf-ace-edhoc-oscore-profile-04">
          <front>
            <title>Ephemeral Diffie-Hellman Over COSE (EDHOC) and Object Security for Constrained Environments (OSCORE) Profile for Authentication and Authorization for Constrained Environments (ACE)</title>
            <author fullname="Göran Selander" initials="G." surname="Selander">
              <organization>Ericsson</organization>
            </author>
            <author fullname="John Preuß Mattsson" initials="J. P." surname="Mattsson">
              <organization>Ericsson</organization>
            </author>
            <author fullname="Marco Tiloca" initials="M." surname="Tiloca">
              <organization>RISE</organization>
            </author>
            <author fullname="Rikard Höglund" initials="R." surname="Höglund">
              <organization>RISE</organization>
            </author>
            <date day="4" month="March" year="2024"/>
            <abstract>
              <t>   This document specifies a profile for the Authentication and
   Authorization for Constrained Environments (ACE) framework.  It
   utilizes Ephemeral Diffie-Hellman Over COSE (EDHOC) for achieving
   mutual authentication between an ACE-OAuth Client and Resource
   Server, and it binds an authentication credential of the Client to an
   ACE-OAuth access token.  EDHOC also establishes an Object Security
   for Constrained RESTful Environments (OSCORE) Security Context, which
   is used to secure communications when accessing protected resources
   according to the authorization information indicated in the access
   token.  This profile can be used to delegate management of
   authorization information from a resource-constrained server to a
   trusted host with less severe limitations regarding processing power
   and memory.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-ace-edhoc-oscore-profile-04"/>
        </reference>
        <reference anchor="LwM2M" target="http://www.openmobilealliance.org/release/LightweightM2M/V1_2-20201110-A/OMA-TS-LightweightM2M_Core-V1_2-20201110-A.pdf">
          <front>
            <title>Lightweight Machine to Machine Technical Specification - Core, Approved Version 1.2, OMA-TS-LightweightM2M_Core-V1_2-20201110-A</title>
            <author>
              <organization>Open Mobile Alliance</organization>
            </author>
            <date year="2020" month="November"/>
          </front>
        </reference>
        <reference anchor="Symmetric-Security" target="https://eprint.iacr.org/2024/220">
          <front>
            <title>Security of Symmetric Ratchets and Key Chains - Implications for Protocols like TLS 1.3, Signal, and PQ3</title>
            <author fullname="John Preuß Mattsson">
              <organization>Ericsson Research</organization>
            </author>
            <date year="2024" month="February"/>
          </front>
        </reference>
        <reference anchor="LwM2M-Transport" target="http://www.openmobilealliance.org/release/LightweightM2M/V1_2-20201110-A/OMA-TS-LightweightM2M_Transport-V1_2-20201110-A.pdf">
          <front>
            <title>Lightweight Machine to Machine Technical Specification - Transport Bindings, Approved Version 1.2, OMA-TS-LightweightM2M_Transport-V1_2-20201110-A</title>
            <author>
              <organization>Open Mobile Alliance</organization>
            </author>
            <date year="2020" month="November"/>
          </front>
        </reference>
      </references>
    </references>
    <section anchor="ssec-derive-ctx-client-init-requests-only">
      <name>Forward Message Flow using two CoAP Requests</name>
      <t>This section presents an example of KUDOS run in the forward message flow, with the client acting as KUDOS initiator, and both KUDOS messages being CoAP requests.</t>
      <t>The example uses the same notation 'Comb(a,b)' used in <xref target="ssec-derive-ctx-client-init"/>.</t>
      <figure anchor="fig-message-exchange-client-init-requests-only">
        <name>Example of the KUDOS forward message flow where both KUDOS messages are requests.</name>
        <artset>
          <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="1216" width="576" viewBox="0 0 576 1216" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
              <path d="M 200,64 L 200,768" fill="none" stroke="black"/>
              <path d="M 200,848 L 200,1200" fill="none" stroke="black"/>
              <path d="M 384,64 L 384,768" fill="none" stroke="black"/>
              <path d="M 384,848 L 384,1200" fill="none" stroke="black"/>
              <path d="M 200,208 L 376,208" fill="none" stroke="black"/>
              <path d="M 208,544 L 384,544" fill="none" stroke="black"/>
              <path d="M 200,880 L 376,880" fill="none" stroke="black"/>
              <path d="M 208,1056 L 384,1056" fill="none" stroke="black"/>
              <polygon class="arrowhead" points="384,880 372,874.4 372,885.6" fill="black" transform="rotate(0,376,880)"/>
              <polygon class="arrowhead" points="384,208 372,202.4 372,213.6" fill="black" transform="rotate(0,376,208)"/>
              <polygon class="arrowhead" points="216,1056 204,1050.4 204,1061.6" fill="black" transform="rotate(180,208,1056)"/>
              <polygon class="arrowhead" points="216,544 204,538.4 204,549.6" fill="black" transform="rotate(180,208,544)"/>
              <g class="text">
                <text x="200" y="36">Client/Server</text>
                <text x="384" y="36">Client/Server</text>
                <text x="200" y="52">(initiator)</text>
                <text x="384" y="52">(responder)</text>
                <text x="36" y="84">Generate</text>
                <text x="84" y="84">N1</text>
                <text x="24" y="116">CTX_1</text>
                <text x="56" y="116">=</text>
                <text x="108" y="116">updateCtx(</text>
                <text x="80" y="132">X1,</text>
                <text x="80" y="148">N1,</text>
                <text x="96" y="164">CTX_OLD</text>
                <text x="136" y="164">)</text>
                <text x="280" y="196">Request</text>
                <text x="324" y="196">#1</text>
                <text x="32" y="212">Protect</text>
                <text x="84" y="212">with</text>
                <text x="128" y="212">CTX_1</text>
                <text x="468" y="212">/.well-known/kudos</text>
                <text x="236" y="228">Token:</text>
                <text x="284" y="228">0x4a</text>
                <text x="236" y="244">OSCORE</text>
                <text x="272" y="244">{</text>
                <text x="232" y="260">...</text>
                <text x="248" y="276">Partial</text>
                <text x="296" y="276">IV:</text>
                <text x="320" y="276">0</text>
                <text x="232" y="292">...</text>
                <text x="224" y="308">d</text>
                <text x="256" y="308">flag:</text>
                <text x="288" y="308">1</text>
                <text x="416" y="308">CTX_1</text>
                <text x="448" y="308">=</text>
                <text x="500" y="308">updateCtx(</text>
                <text x="228" y="324">x:</text>
                <text x="252" y="324">X1</text>
                <text x="472" y="324">X1,</text>
                <text x="244" y="340">nonce:</text>
                <text x="284" y="340">N1</text>
                <text x="472" y="340">N1,</text>
                <text x="232" y="356">...</text>
                <text x="488" y="356">CTX_OLD</text>
                <text x="528" y="356">)</text>
                <text x="216" y="372">}</text>
                <text x="248" y="388">Encrypted</text>
                <text x="320" y="388">Payload</text>
                <text x="360" y="388">{</text>
                <text x="420" y="388">Verify</text>
                <text x="468" y="388">with</text>
                <text x="512" y="388">CTX_1</text>
                <text x="232" y="404">...</text>
                <text x="216" y="420">}</text>
                <text x="428" y="420">Generate</text>
                <text x="476" y="420">N2</text>
                <text x="424" y="452">CTX_NEW</text>
                <text x="464" y="452">=</text>
                <text x="516" y="452">updateCtx(</text>
                <text x="524" y="468">Comb(X1,X2),</text>
                <text x="524" y="484">Comb(N1,N2),</text>
                <text x="504" y="500">CTX_OLD</text>
                <text x="544" y="500">)</text>
                <text x="280" y="532">Request</text>
                <text x="324" y="532">#2</text>
                <text x="116" y="548">/.well-known/kudos</text>
                <text x="424" y="548">Protect</text>
                <text x="476" y="548">with</text>
                <text x="528" y="548">CTX_NEW</text>
                <text x="236" y="564">Token:</text>
                <text x="284" y="564">0x7c</text>
                <text x="236" y="580">OSCORE</text>
                <text x="272" y="580">{</text>
                <text x="232" y="596">...</text>
                <text x="32" y="612">CTX_NEW</text>
                <text x="72" y="612">=</text>
                <text x="124" y="612">updateCtx(</text>
                <text x="248" y="612">Partial</text>
                <text x="296" y="612">IV:</text>
                <text x="320" y="612">0</text>
                <text x="132" y="628">Comb(X1,X2),</text>
                <text x="232" y="628">...</text>
                <text x="132" y="644">Comb(N1,N2),</text>
                <text x="224" y="644">d</text>
                <text x="256" y="644">flag:</text>
                <text x="288" y="644">1</text>
                <text x="112" y="660">CTX_OLD</text>
                <text x="152" y="660">)</text>
                <text x="228" y="660">x:</text>
                <text x="252" y="660">X2</text>
                <text x="244" y="676">nonce:</text>
                <text x="284" y="676">N2</text>
                <text x="28" y="692">Verify</text>
                <text x="76" y="692">with</text>
                <text x="128" y="692">CTX_NEW</text>
                <text x="232" y="692">...</text>
                <text x="216" y="708">}</text>
                <text x="32" y="724">Discard</text>
                <text x="96" y="724">CTX_OLD</text>
                <text x="248" y="724">Encrypted</text>
                <text x="320" y="724">Payload</text>
                <text x="360" y="724">{</text>
                <text x="232" y="740">...</text>
                <text x="216" y="756">}</text>
                <text x="16" y="804">The</text>
                <text x="60" y="804">actual</text>
                <text x="104" y="804">key</text>
                <text x="148" y="804">update</text>
                <text x="208" y="804">process</text>
                <text x="260" y="804">ends</text>
                <text x="304" y="804">here.</text>
                <text x="16" y="820">The</text>
                <text x="48" y="820">two</text>
                <text x="88" y="820">peers</text>
                <text x="128" y="820">can</text>
                <text x="160" y="820">use</text>
                <text x="192" y="820">the</text>
                <text x="224" y="820">new</text>
                <text x="276" y="820">Security</text>
                <text x="344" y="820">Context</text>
                <text x="412" y="820">CTX_NEW.</text>
                <text x="284" y="868">Response</text>
                <text x="332" y="868">#1</text>
                <text x="32" y="884">Protect</text>
                <text x="84" y="884">with</text>
                <text x="136" y="884">CTX_NEW</text>
                <text x="236" y="900">Token:</text>
                <text x="284" y="900">0x7c</text>
                <text x="236" y="916">OSCORE</text>
                <text x="272" y="916">{</text>
                <text x="232" y="932">...</text>
                <text x="216" y="948">}</text>
                <text x="420" y="948">Verify</text>
                <text x="468" y="948">with</text>
                <text x="520" y="948">CTX_NEW</text>
                <text x="248" y="964">Encrypted</text>
                <text x="320" y="964">Payload</text>
                <text x="360" y="964">{</text>
                <text x="232" y="980">...</text>
                <text x="424" y="980">Discard</text>
                <text x="488" y="980">CTX_OLD</text>
                <text x="264" y="996">Application</text>
                <text x="344" y="996">Payload</text>
                <text x="216" y="1012">}</text>
                <text x="284" y="1044">Response</text>
                <text x="332" y="1044">#2</text>
                <text x="424" y="1060">Protect</text>
                <text x="476" y="1060">with</text>
                <text x="528" y="1060">CTX_NEW</text>
                <text x="236" y="1076">Token:</text>
                <text x="284" y="1076">0x4a</text>
                <text x="236" y="1092">OSCORE</text>
                <text x="272" y="1092">{</text>
                <text x="232" y="1108">...</text>
                <text x="28" y="1124">Verify</text>
                <text x="76" y="1124">with</text>
                <text x="128" y="1124">CTX_NEW</text>
                <text x="216" y="1124">}</text>
                <text x="248" y="1140">Encrypted</text>
                <text x="320" y="1140">Payload</text>
                <text x="360" y="1140">{</text>
                <text x="232" y="1156">...</text>
                <text x="264" y="1172">Application</text>
                <text x="344" y="1172">Payload</text>
                <text x="216" y="1188">}</text>
              </g>
            </svg>
          </artwork>
          <artwork type="ascii-art" align="center"><![CDATA[
                  Client/Server          Client/Server
                   (initiator)            (responder)
                        |                      |
Generate N1             |                      |
                        |                      |
CTX_1 = updateCtx(      |                      |
        X1,             |                      |
        N1,             |                      |
        CTX_OLD )       |                      |
                        |                      |
                        |      Request #1      |
Protect with CTX_1      +--------------------->| /.well-known/kudos
                        | Token: 0x4a          |
                        | OSCORE {             |
                        |  ...                 |
                        |  Partial IV: 0       |
                        |  ...                 |
                        |  d flag: 1           | CTX_1 = updateCtx(
                        |  x: X1               |         X1,
                        |  nonce: N1           |         N1,
                        |  ...                 |         CTX_OLD )
                        | }                    |
                        | Encrypted Payload {  | Verify with CTX_1
                        |  ...                 |
                        | }                    | Generate N2
                        |                      |
                        |                      | CTX_NEW = updateCtx(
                        |                      |           Comb(X1,X2),
                        |                      |           Comb(N1,N2),
                        |                      |           CTX_OLD )
                        |                      |
                        |      Request #2      |
     /.well-known/kudos |<---------------------+ Protect with CTX_NEW
                        | Token: 0x7c          |
                        | OSCORE {             |
                        |  ...                 |
CTX_NEW = updateCtx(    |  Partial IV: 0       |
          Comb(X1,X2),  |  ...                 |
          Comb(N1,N2),  |  d flag: 1           |
          CTX_OLD )     |  x: X2               |
                        |  nonce: N2           |
Verify with CTX_NEW     |  ...                 |
                        | }                    |
Discard CTX_OLD         | Encrypted Payload {  |
                        |  ...                 |
                        | }                    |
                        |                      |

The actual key update process ends here.
The two peers can use the new Security Context CTX_NEW.

                        |                      |
                        |      Response #1     |
Protect with CTX_NEW    +--------------------->|
                        | Token: 0x7c          |
                        | OSCORE {             |
                        |  ...                 |
                        | }                    | Verify with CTX_NEW
                        | Encrypted Payload {  |
                        |  ...                 | Discard CTX_OLD
                        |  Application Payload |
                        | }                    |
                        |                      |
                        |      Response #2     |
                        |<---------------------+ Protect with CTX_NEW
                        | Token: 0x4a          |
                        | OSCORE {             |
                        |  ...                 |
Verify with CTX_NEW     | }                    |
                        | Encrypted Payload {  |
                        |  ...                 |
                        |  Application Payload |
                        | }                    |
                        |                      |
]]></artwork>
        </artset>
      </figure>
    </section>
    <section anchor="ssec-derive-ctx-client-init-unrelated">
      <name>Forward Message Flow with Response #1 unrelated to Request #1</name>
      <t>This section presents an example of KUDOS run in the forward message flow, with the client acting as KUDOS initiator, and where the second KUDOS message Response #1 is not a response to the first KUDOS message Request #2, but rather an unrelated Observe notification as a response to the non-KUDOS message Request #1</t>
      <t>The example uses the same notation 'Comb(a,b)' used in <xref target="ssec-derive-ctx-client-init"/>.</t>
      <figure anchor="fig-message-exchange-client-init-unrelated-response">
        <name>Example of the KUDOS forward message flow where the second KUDOS message Response #1 is not a response to Request #1.</name>
        <artset>
          <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="1312" width="576" viewBox="0 0 576 1312" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
              <path d="M 200,64 L 200,1056" fill="none" stroke="black"/>
              <path d="M 200,1136 L 200,1296" fill="none" stroke="black"/>
              <path d="M 384,64 L 384,1056" fill="none" stroke="black"/>
              <path d="M 384,1136 L 384,1296" fill="none" stroke="black"/>
              <path d="M 200,112 L 376,112" fill="none" stroke="black"/>
              <path d="M 200,448 L 376,448" fill="none" stroke="black"/>
              <path d="M 208,800 L 384,800" fill="none" stroke="black"/>
              <path d="M 208,1152 L 384,1152" fill="none" stroke="black"/>
              <polygon class="arrowhead" points="384,448 372,442.4 372,453.6" fill="black" transform="rotate(0,376,448)"/>
              <polygon class="arrowhead" points="384,112 372,106.4 372,117.6" fill="black" transform="rotate(0,376,112)"/>
              <polygon class="arrowhead" points="216,1152 204,1146.4 204,1157.6" fill="black" transform="rotate(180,208,1152)"/>
              <polygon class="arrowhead" points="216,800 204,794.4 204,805.6" fill="black" transform="rotate(180,208,800)"/>
              <g class="text">
                <text x="196" y="36">Client</text>
                <text x="388" y="36">Server</text>
                <text x="200" y="52">(initiator)</text>
                <text x="384" y="52">(responder)</text>
                <text x="280" y="84">Request</text>
                <text x="324" y="84">#1</text>
                <text x="292" y="100">(Registration)</text>
                <text x="32" y="116">Protect</text>
                <text x="84" y="116">with</text>
                <text x="136" y="116">CTX_OLD</text>
                <text x="412" y="116">/obs</text>
                <text x="236" y="132">Token:</text>
                <text x="284" y="132">0x4a</text>
                <text x="244" y="148">Observe:</text>
                <text x="288" y="148">0</text>
                <text x="236" y="164">OSCORE</text>
                <text x="272" y="164">{</text>
                <text x="232" y="180">...</text>
                <text x="248" y="196">Partial</text>
                <text x="296" y="196">IV:</text>
                <text x="332" y="196">4324</text>
                <text x="232" y="212">...</text>
                <text x="216" y="228">}</text>
                <text x="248" y="244">Encrypted</text>
                <text x="320" y="244">Payload</text>
                <text x="360" y="244">{</text>
                <text x="420" y="244">Verify</text>
                <text x="468" y="244">with</text>
                <text x="520" y="244">CTX_OLD</text>
                <text x="252" y="260">Observe:</text>
                <text x="296" y="260">-</text>
                <text x="232" y="276">...</text>
                <text x="216" y="292">}</text>
                <text x="36" y="324">Generate</text>
                <text x="84" y="324">N1</text>
                <text x="24" y="356">CTX_1</text>
                <text x="56" y="356">=</text>
                <text x="108" y="356">updateCtx(</text>
                <text x="80" y="372">X1,</text>
                <text x="80" y="388">N1,</text>
                <text x="96" y="404">CTX_OLD</text>
                <text x="136" y="404">)</text>
                <text x="280" y="436">Request</text>
                <text x="324" y="436">#2</text>
                <text x="32" y="452">Protect</text>
                <text x="84" y="452">with</text>
                <text x="128" y="452">CTX_1</text>
                <text x="468" y="452">/.well-known/kudos</text>
                <text x="236" y="468">Token:</text>
                <text x="284" y="468">0x7c</text>
                <text x="236" y="484">OSCORE</text>
                <text x="272" y="484">{</text>
                <text x="232" y="500">...</text>
                <text x="248" y="516">Partial</text>
                <text x="296" y="516">IV:</text>
                <text x="320" y="516">0</text>
                <text x="232" y="532">...</text>
                <text x="224" y="548">d</text>
                <text x="256" y="548">flag:</text>
                <text x="288" y="548">1</text>
                <text x="416" y="548">CTX_1</text>
                <text x="448" y="548">=</text>
                <text x="500" y="548">updateCtx(</text>
                <text x="228" y="564">x:</text>
                <text x="252" y="564">X1</text>
                <text x="472" y="564">X1,</text>
                <text x="244" y="580">nonce:</text>
                <text x="284" y="580">N1</text>
                <text x="472" y="580">N1,</text>
                <text x="232" y="596">...</text>
                <text x="488" y="596">CTX_OLD</text>
                <text x="528" y="596">)</text>
                <text x="216" y="612">}</text>
                <text x="248" y="628">Encrypted</text>
                <text x="320" y="628">Payload</text>
                <text x="360" y="628">{</text>
                <text x="420" y="628">Verify</text>
                <text x="468" y="628">with</text>
                <text x="512" y="628">CTX_1</text>
                <text x="232" y="644">...</text>
                <text x="216" y="660">}</text>
                <text x="428" y="660">Generate</text>
                <text x="476" y="660">N2</text>
                <text x="424" y="692">CTX_NEW</text>
                <text x="464" y="692">=</text>
                <text x="516" y="692">updateCtx(</text>
                <text x="524" y="708">Comb(X1,X2),</text>
                <text x="524" y="724">Comb(N1,N2),</text>
                <text x="504" y="740">CTX_OLD</text>
                <text x="544" y="740">)</text>
                <text x="284" y="772">Response</text>
                <text x="332" y="772">#1</text>
                <text x="292" y="788">(Notification)</text>
                <text x="424" y="804">Protect</text>
                <text x="476" y="804">with</text>
                <text x="528" y="804">CTX_NEW</text>
                <text x="236" y="820">Token:</text>
                <text x="284" y="820">0x4a</text>
                <text x="244" y="836">Observe:</text>
                <text x="288" y="836">1</text>
                <text x="236" y="852">OSCORE</text>
                <text x="272" y="852">{</text>
                <text x="232" y="868">...</text>
                <text x="32" y="884">CTX_NEW</text>
                <text x="72" y="884">=</text>
                <text x="124" y="884">updateCtx(</text>
                <text x="248" y="884">Partial</text>
                <text x="296" y="884">IV:</text>
                <text x="320" y="884">0</text>
                <text x="132" y="900">Comb(X1,X2),</text>
                <text x="232" y="900">...</text>
                <text x="132" y="916">Comb(N1,N2),</text>
                <text x="224" y="916">d</text>
                <text x="256" y="916">flag:</text>
                <text x="288" y="916">1</text>
                <text x="112" y="932">CTX_OLD</text>
                <text x="152" y="932">)</text>
                <text x="228" y="932">x:</text>
                <text x="252" y="932">X2</text>
                <text x="244" y="948">nonce:</text>
                <text x="284" y="948">N2</text>
                <text x="28" y="964">Verify</text>
                <text x="76" y="964">with</text>
                <text x="128" y="964">CTX_NEW</text>
                <text x="232" y="964">...</text>
                <text x="216" y="980">}</text>
                <text x="32" y="996">Discard</text>
                <text x="96" y="996">CTX_OLD</text>
                <text x="248" y="996">Encrypted</text>
                <text x="320" y="996">Payload</text>
                <text x="360" y="996">{</text>
                <text x="244" y="1012">Observe:</text>
                <text x="288" y="1012">-</text>
                <text x="232" y="1028">...</text>
                <text x="216" y="1044">}</text>
                <text x="16" y="1092">The</text>
                <text x="60" y="1092">actual</text>
                <text x="104" y="1092">key</text>
                <text x="148" y="1092">update</text>
                <text x="208" y="1092">process</text>
                <text x="260" y="1092">ends</text>
                <text x="304" y="1092">here.</text>
                <text x="16" y="1108">The</text>
                <text x="48" y="1108">two</text>
                <text x="88" y="1108">peers</text>
                <text x="128" y="1108">can</text>
                <text x="160" y="1108">use</text>
                <text x="192" y="1108">the</text>
                <text x="224" y="1108">new</text>
                <text x="276" y="1108">Security</text>
                <text x="344" y="1108">Context</text>
                <text x="412" y="1108">CTX_NEW.</text>
                <text x="284" y="1140">Response</text>
                <text x="332" y="1140">#2</text>
                <text x="424" y="1156">Protect</text>
                <text x="476" y="1156">with</text>
                <text x="528" y="1156">CTX_NEW</text>
                <text x="236" y="1172">Token:</text>
                <text x="284" y="1172">0x7c</text>
                <text x="236" y="1188">OSCORE</text>
                <text x="272" y="1188">{</text>
                <text x="232" y="1204">...</text>
                <text x="28" y="1220">Verify</text>
                <text x="76" y="1220">with</text>
                <text x="128" y="1220">CTX_NEW</text>
                <text x="216" y="1220">}</text>
                <text x="248" y="1236">Encrypted</text>
                <text x="320" y="1236">Payload</text>
                <text x="360" y="1236">{</text>
                <text x="232" y="1252">...</text>
                <text x="264" y="1268">Application</text>
                <text x="344" y="1268">Payload</text>
                <text x="216" y="1284">}</text>
              </g>
            </svg>
          </artwork>
          <artwork type="ascii-art" align="center"><![CDATA[
                     Client                  Server
                   (initiator)            (responder)
                        |                      |
                        |      Request #1      |
                        |    (Registration)    |
Protect with CTX_OLD    +--------------------->| /obs
                        | Token: 0x4a          |
                        | Observe: 0           |
                        | OSCORE {             |
                        |  ...                 |
                        |  Partial IV: 4324    |
                        |  ...                 |
                        | }                    |
                        | Encrypted Payload {  | Verify with CTX_OLD
                        |  Observe: -          |
                        |  ...                 |
                        | }                    |
                        |                      |
Generate N1             |                      |
                        |                      |
CTX_1 = updateCtx(      |                      |
        X1,             |                      |
        N1,             |                      |
        CTX_OLD )       |                      |
                        |                      |
                        |      Request #2      |
Protect with CTX_1      +--------------------->| /.well-known/kudos
                        | Token: 0x7c          |
                        | OSCORE {             |
                        |  ...                 |
                        |  Partial IV: 0       |
                        |  ...                 |
                        |  d flag: 1           | CTX_1 = updateCtx(
                        |  x: X1               |         X1,
                        |  nonce: N1           |         N1,
                        |  ...                 |         CTX_OLD )
                        | }                    |
                        | Encrypted Payload {  | Verify with CTX_1
                        |  ...                 |
                        | }                    | Generate N2
                        |                      |
                        |                      | CTX_NEW = updateCtx(
                        |                      |           Comb(X1,X2),
                        |                      |           Comb(N1,N2),
                        |                      |           CTX_OLD )
                        |                      |
                        |      Response #1     |
                        |    (Notification)    |
                        |<---------------------+ Protect with CTX_NEW
                        | Token: 0x4a          |
                        | Observe: 1           |
                        | OSCORE {             |
                        |  ...                 |
CTX_NEW = updateCtx(    |  Partial IV: 0       |
          Comb(X1,X2),  |  ...                 |
          Comb(N1,N2),  |  d flag: 1           |
          CTX_OLD )     |  x: X2               |
                        |  nonce: N2           |
Verify with CTX_NEW     |  ...                 |
                        | }                    |
Discard CTX_OLD         | Encrypted Payload {  |
                        | Observe: -           |
                        |  ...                 |
                        | }                    |
                        |                      |

The actual key update process ends here.
The two peers can use the new Security Context CTX_NEW.

                        |      Response #2     |
                        |<---------------------+ Protect with CTX_NEW
                        | Token: 0x7c          |
                        | OSCORE {             |
                        |  ...                 |
Verify with CTX_NEW     | }                    |
                        | Encrypted Payload {  |
                        |  ...                 |
                        |  Application Payload |
                        | }                    |
                        |                      |
]]></artwork>
        </artset>
      </figure>
    </section>
    <section anchor="ssec-derive-ctx-client-init-normal-resource">
      <name>Forward Message Flow Targeting a non-KUDOS Resource at Server</name>
      <t>This section presents an example of KUDOS run in the forward message flow, with the client acting as KUDOS initiator, and with the KUDOS message Request #1 targeting a non-KUDOS resource at the Uri-Path "/temp". The server application has freshness requirements on the requests targeting the resource at "/temp".</t>
      <t>Note the presence of an application payload in the KUDOS message Request #1 and in the non-KUDOS message Request #2, both of which are composed as PUT requests. That request method is part of the encrypted payload, since it is protected by OSCORE.</t>
      <t>Also note the fact that the KUDOS message Response #1 is composed as a 4.01 (Unauthorized) response, while the non-KUDOS message Response #2 is composed as a 2.04 (Changed) repsonse. Those response codes are part of the encrypted payload, since they are protected by OSCORE.</t>
      <t>The example uses the same notation 'Comb(a,b)' used in <xref target="ssec-derive-ctx-client-init"/>.</t>
      <figure anchor="fig-message-exchange-client-init-normal-resource">
        <name>Example of the KUDOS forward message flow where the KUDOS message Request #1 targets a non-KUDOS resource.</name>
        <artset>
          <artwork type="svg" align="center"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="1248" width="576" viewBox="0 0 576 1248" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
              <path d="M 200,64 L 200,800" fill="none" stroke="black"/>
              <path d="M 200,880 L 200,1232" fill="none" stroke="black"/>
              <path d="M 384,64 L 384,800" fill="none" stroke="black"/>
              <path d="M 384,880 L 384,1232" fill="none" stroke="black"/>
              <path d="M 200,208 L 376,208" fill="none" stroke="black"/>
              <path d="M 208,560 L 384,560" fill="none" stroke="black"/>
              <path d="M 200,912 L 376,912" fill="none" stroke="black"/>
              <path d="M 208,1088 L 384,1088" fill="none" stroke="black"/>
              <polygon class="arrowhead" points="384,912 372,906.4 372,917.6" fill="black" transform="rotate(0,376,912)"/>
              <polygon class="arrowhead" points="384,208 372,202.4 372,213.6" fill="black" transform="rotate(0,376,208)"/>
              <polygon class="arrowhead" points="216,1088 204,1082.4 204,1093.6" fill="black" transform="rotate(180,208,1088)"/>
              <polygon class="arrowhead" points="216,560 204,554.4 204,565.6" fill="black" transform="rotate(180,208,560)"/>
              <g class="text">
                <text x="196" y="36">Client</text>
                <text x="388" y="36">Server</text>
                <text x="200" y="52">(initiator)</text>
                <text x="384" y="52">(responder)</text>
                <text x="36" y="84">Generate</text>
                <text x="84" y="84">N1</text>
                <text x="24" y="116">CTX_1</text>
                <text x="56" y="116">=</text>
                <text x="108" y="116">updateCtx(</text>
                <text x="80" y="132">X1,</text>
                <text x="80" y="148">N1,</text>
                <text x="96" y="164">CTX_OLD</text>
                <text x="136" y="164">)</text>
                <text x="280" y="196">Request</text>
                <text x="324" y="196">#1</text>
                <text x="32" y="212">Protect</text>
                <text x="84" y="212">with</text>
                <text x="128" y="212">CTX_1</text>
                <text x="416" y="212">/temp</text>
                <text x="236" y="228">OSCORE</text>
                <text x="272" y="228">{</text>
                <text x="232" y="244">...</text>
                <text x="248" y="260">Partial</text>
                <text x="296" y="260">IV:</text>
                <text x="320" y="260">0</text>
                <text x="232" y="276">...</text>
                <text x="224" y="292">d</text>
                <text x="256" y="292">flag:</text>
                <text x="288" y="292">1</text>
                <text x="416" y="292">CTX_1</text>
                <text x="448" y="292">=</text>
                <text x="500" y="292">updateCtx(</text>
                <text x="228" y="308">x:</text>
                <text x="252" y="308">X1</text>
                <text x="472" y="308">X1,</text>
                <text x="244" y="324">nonce:</text>
                <text x="284" y="324">N1</text>
                <text x="472" y="324">N1,</text>
                <text x="232" y="340">...</text>
                <text x="488" y="340">CTX_OLD</text>
                <text x="528" y="340">)</text>
                <text x="216" y="356">}</text>
                <text x="248" y="372">Encrypted</text>
                <text x="320" y="372">Payload</text>
                <text x="360" y="372">{</text>
                <text x="420" y="372">Verify</text>
                <text x="468" y="372">with</text>
                <text x="512" y="372">CTX_1</text>
                <text x="236" y="388">0.03</text>
                <text x="280" y="388">(PUT)</text>
                <text x="232" y="404">...</text>
                <text x="264" y="420">Application</text>
                <text x="344" y="420">Payload</text>
                <text x="216" y="436">}</text>
                <text x="428" y="436">Generate</text>
                <text x="476" y="436">N2</text>
                <text x="424" y="468">CTX_NEW</text>
                <text x="464" y="468">=</text>
                <text x="516" y="468">updateCtx(</text>
                <text x="524" y="484">Comb(X1,X2),</text>
                <text x="524" y="500">Comb(N1,N2),</text>
                <text x="504" y="516">CTX_OLD</text>
                <text x="544" y="516">)</text>
                <text x="284" y="548">Response</text>
                <text x="332" y="548">#1</text>
                <text x="424" y="564">Protect</text>
                <text x="476" y="564">with</text>
                <text x="528" y="564">CTX_NEW</text>
                <text x="236" y="580">OSCORE</text>
                <text x="272" y="580">{</text>
                <text x="232" y="596">...</text>
                <text x="32" y="612">CTX_NEW</text>
                <text x="72" y="612">=</text>
                <text x="124" y="612">updateCtx(</text>
                <text x="248" y="612">Partial</text>
                <text x="296" y="612">IV:</text>
                <text x="320" y="612">0</text>
                <text x="132" y="628">Comb(X1,X2),</text>
                <text x="232" y="628">...</text>
                <text x="132" y="644">Comb(N1,N2),</text>
                <text x="224" y="644">d</text>
                <text x="256" y="644">flag:</text>
                <text x="288" y="644">1</text>
                <text x="112" y="660">CTX_OLD</text>
                <text x="152" y="660">)</text>
                <text x="228" y="660">x:</text>
                <text x="252" y="660">X2</text>
                <text x="244" y="676">nonce:</text>
                <text x="284" y="676">N2</text>
                <text x="28" y="692">Verify</text>
                <text x="76" y="692">with</text>
                <text x="128" y="692">CTX_NEW</text>
                <text x="232" y="692">...</text>
                <text x="216" y="708">}</text>
                <text x="32" y="724">Discard</text>
                <text x="96" y="724">CTX_OLD</text>
                <text x="248" y="724">Encrypted</text>
                <text x="320" y="724">Payload</text>
                <text x="360" y="724">{</text>
                <text x="236" y="740">4.01</text>
                <text x="316" y="740">(Unauthorized)</text>
                <text x="232" y="756">...</text>
                <text x="264" y="772">Application</text>
                <text x="344" y="772">Payload</text>
                <text x="216" y="788">}</text>
                <text x="16" y="836">The</text>
                <text x="60" y="836">actual</text>
                <text x="104" y="836">key</text>
                <text x="148" y="836">update</text>
                <text x="208" y="836">process</text>
                <text x="260" y="836">ends</text>
                <text x="304" y="836">here.</text>
                <text x="16" y="852">The</text>
                <text x="48" y="852">two</text>
                <text x="88" y="852">peers</text>
                <text x="128" y="852">can</text>
                <text x="160" y="852">use</text>
                <text x="192" y="852">the</text>
                <text x="224" y="852">new</text>
                <text x="276" y="852">Security</text>
                <text x="344" y="852">Context</text>
                <text x="412" y="852">CTX_NEW.</text>
                <text x="280" y="900">Request</text>
                <text x="324" y="900">#2</text>
                <text x="32" y="916">Protect</text>
                <text x="84" y="916">with</text>
                <text x="136" y="916">CTX_NEW</text>
                <text x="416" y="916">/temp</text>
                <text x="236" y="932">OSCORE</text>
                <text x="272" y="932">{</text>
                <text x="232" y="948">...</text>
                <text x="216" y="964">}</text>
                <text x="420" y="964">Verify</text>
                <text x="468" y="964">with</text>
                <text x="520" y="964">CTX_NEW</text>
                <text x="248" y="980">Encrypted</text>
                <text x="320" y="980">Payload</text>
                <text x="360" y="980">{</text>
                <text x="236" y="996">0.03</text>
                <text x="280" y="996">(PUT)</text>
                <text x="232" y="1012">...</text>
                <text x="424" y="1012">Discard</text>
                <text x="488" y="1012">CTX_OLD</text>
                <text x="264" y="1028">Application</text>
                <text x="344" y="1028">Payload</text>
                <text x="216" y="1044">}</text>
                <text x="284" y="1076">Response</text>
                <text x="332" y="1076">#2</text>
                <text x="424" y="1092">Protect</text>
                <text x="476" y="1092">with</text>
                <text x="528" y="1092">CTX_NEW</text>
                <text x="236" y="1108">OSCORE</text>
                <text x="272" y="1108">{</text>
                <text x="232" y="1124">...</text>
                <text x="28" y="1140">Verify</text>
                <text x="76" y="1140">with</text>
                <text x="128" y="1140">CTX_NEW</text>
                <text x="216" y="1140">}</text>
                <text x="248" y="1156">Encrypted</text>
                <text x="320" y="1156">Payload</text>
                <text x="360" y="1156">{</text>
                <text x="236" y="1172">2.04</text>
                <text x="296" y="1172">(Changed)</text>
                <text x="232" y="1188">...</text>
                <text x="264" y="1204">Application</text>
                <text x="344" y="1204">Payload</text>
                <text x="216" y="1220">}</text>
              </g>
            </svg>
          </artwork>
          <artwork type="ascii-art" align="center"><![CDATA[
                     Client                  Server
                   (initiator)            (responder)
                        |                      |
Generate N1             |                      |
                        |                      |
CTX_1 = updateCtx(      |                      |
        X1,             |                      |
        N1,             |                      |
        CTX_OLD )       |                      |
                        |                      |
                        |      Request #1      |
Protect with CTX_1      +--------------------->| /temp
                        | OSCORE {             |
                        |  ...                 |
                        |  Partial IV: 0       |
                        |  ...                 |
                        |  d flag: 1           | CTX_1 = updateCtx(
                        |  x: X1               |         X1,
                        |  nonce: N1           |         N1,
                        |  ...                 |         CTX_OLD )
                        | }                    |
                        | Encrypted Payload {  | Verify with CTX_1
                        |  0.03 (PUT)          |
                        |  ...                 |
                        |  Application Payload |
                        | }                    | Generate N2
                        |                      |
                        |                      | CTX_NEW = updateCtx(
                        |                      |           Comb(X1,X2),
                        |                      |           Comb(N1,N2),
                        |                      |           CTX_OLD )
                        |                      |
                        |      Response #1     |
                        |<---------------------+ Protect with CTX_NEW
                        | OSCORE {             |
                        |  ...                 |
CTX_NEW = updateCtx(    |  Partial IV: 0       |
          Comb(X1,X2),  |  ...                 |
          Comb(N1,N2),  |  d flag: 1           |
          CTX_OLD )     |  x: X2               |
                        |  nonce: N2           |
Verify with CTX_NEW     |  ...                 |
                        | }                    |
Discard CTX_OLD         | Encrypted Payload {  |
                        |  4.01 (Unauthorized) |
                        |  ...                 |
                        |  Application Payload |
                        | }                    |
                        |                      |

The actual key update process ends here.
The two peers can use the new Security Context CTX_NEW.

                        |                      |
                        |      Request #2      |
Protect with CTX_NEW    +--------------------->| /temp
                        | OSCORE {             |
                        |  ...                 |
                        | }                    | Verify with CTX_NEW
                        | Encrypted Payload {  |
                        |  0.03 (PUT)          |
                        |  ...                 | Discard CTX_OLD
                        |  Application Payload |
                        | }                    |
                        |                      |
                        |      Response #2     |
                        |<---------------------+ Protect with CTX_NEW
                        | OSCORE {             |
                        |  ...                 |
Verify with CTX_NEW     | }                    |
                        | Encrypted Payload {  |
                        |  2.04 (Changed)      |
                        |  ...                 |
                        |  Application Payload |
                        | }                    |
                        |                      |
]]></artwork>
        </artset>
      </figure>
    </section>
    <section anchor="sec-document-updates" removeInRFC="true">
      <name>Document Updates</name>
      <section anchor="sec-07-08">
        <name>Version -07 to -08</name>
        <ul spacing="normal">
          <li>
            <t>Add note about usage of the CoAP No-Response Option.</t>
          </li>
          <li>
            <t>Avoid problems for two simultaneously started key updates.</t>
          </li>
          <li>
            <t>Set Notification Number to be uninitialized for new OSCORE Security Contexts.</t>
          </li>
          <li>
            <t>Handle corner case for responder that reached its key usage limits.</t>
          </li>
          <li>
            <t>Re-organizing main section about Forward Secrecy mode into subsections.</t>
          </li>
          <li>
            <t>IANA considerations for CoAP Option Numbers Registry to refer to this draft for the OSCORE option.</t>
          </li>
          <li>
            <t>Use AASVG in diagrams.</t>
          </li>
          <li>
            <t>Use actual tables instead of figures.</t>
          </li>
          <li>
            <t>Clarifications and editorial improvements.</t>
          </li>
          <li>
            <t>Extended security considerations with reference to relevant paper.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-06-07">
        <name>Version -06 to -07</name>
        <ul spacing="normal">
          <li>
            <t>Removed material about the ID update procedure, which has been split out into a separate draft.</t>
          </li>
          <li>
            <t>Allow non-random nonces for CAPABLE devices.</t>
          </li>
          <li>
            <t>Editorial improvements.</t>
          </li>
          <li>
            <t>Permit flexible message flow with KUDOS messages as any request/response.</t>
          </li>
          <li>
            <t>Enable sending KUDOS messages as regular application messages.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-05-06">
        <name>Version -05 to -06</name>
        <ul spacing="normal">
          <li>
            <t>Mandate support for both the forward and reverse message flow.</t>
          </li>
          <li>
            <t>Mention the EDHOC and OSCORE profile of ACE as method for rekeying.</t>
          </li>
          <li>
            <t>Clarify definition of KUDOS (request/response) message.</t>
          </li>
          <li>
            <t>Further extend the OSCORE option to transport N1 in the second KUDOS message as a request.</t>
          </li>
          <li>
            <t>Mandate support for the no-FS mode on CAPABLE devices.</t>
          </li>
          <li>
            <t>Explain when KUDOS fails during selection of mode.</t>
          </li>
          <li>
            <t>Explicitly forbid using old keying material after reboot.</t>
          </li>
          <li>
            <t>Editorial improvements.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-04-05">
        <name>Version -04 to -05</name>
        <ul spacing="normal">
          <li>
            <t>Note on client retransmissions if KUDOS execution fails in reverse message flow.</t>
          </li>
          <li>
            <t>Specify what information needs to be written to non-volatile memory to handle reboots.</t>
          </li>
          <li>
            <t>Extended recommendations and considerations on minimum size of nonces N1 &amp; N2.</t>
          </li>
          <li>
            <t>Arbitrary maximum size of the Recipient-ID Option.</t>
          </li>
          <li>
            <t>Detailed lifecycle of the OSCORE IDs update procedure.</t>
          </li>
          <li>
            <t>Described examples of OSCORE IDs update procedure.</t>
          </li>
          <li>
            <t>Examples of OSCORE IDs update procedure integrated in KUDOS.</t>
          </li>
          <li>
            <t>Considerations about using SCHC for CoAP with OSCORE.</t>
          </li>
          <li>
            <t>Clarifications and editorial improvements.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-03-04">
        <name>Version -03 to -04</name>
        <ul spacing="normal">
          <li>
            <t>Removed content about key usage limits.</t>
          </li>
          <li>
            <t>Use of "forward message flow" and "reverse message flow".</t>
          </li>
          <li>
            <t>Update to RFC 8613 extended to include protection of responses.</t>
          </li>
          <li>
            <t>Include EDHOC_KeyUpdate() in the methods for rekeying.</t>
          </li>
          <li>
            <t>Describe reasons for using the OSCORE ID update procedure.</t>
          </li>
          <li>
            <t>Clarifications on deletion of CTX_OLD and CTX_NEW.</t>
          </li>
          <li>
            <t>Added new section on preventing deadlocks.</t>
          </li>
          <li>
            <t>Clarified that peers can decide to run KUDOS at any point.</t>
          </li>
          <li>
            <t>Defined preservation of observations beyond OSCORE ID updates.</t>
          </li>
          <li>
            <t>Revised discussion section, including also communication overhead.</t>
          </li>
          <li>
            <t>Defined a well-known KUDOS resource and a KUDOS resource type.</t>
          </li>
          <li>
            <t>Editorial improvements.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-02-03">
        <name>Version -02 to -03</name>
        <ul spacing="normal">
          <li>
            <t>Use of the OSCORE flag bit 0 to signal more flag bits.</t>
          </li>
          <li>
            <t>In UpdateCtx(), open for future key derivation different than HKDF.</t>
          </li>
          <li>
            <t>Simplified updateCtx() to use only Expand(); used to be METHOD 2.</t>
          </li>
          <li>
            <t>Included the Partial IV if the second KUDOS message is a response.</t>
          </li>
          <li>
            <t>Added signaling of support for KUDOS in EDHOC.</t>
          </li>
          <li>
            <t>Clarifications on terminology and reasons for rekeying.</t>
          </li>
          <li>
            <t>Updated IANA considerations.</t>
          </li>
          <li>
            <t>Editorial improvements.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-01-02">
        <name>Version -01 to -02</name>
        <ul spacing="normal">
          <li>
            <t>Extended terminology.</t>
          </li>
          <li>
            <t>Moved procedure for preserving observations across key updates to main body.</t>
          </li>
          <li>
            <t>Moved procedure to update OSCORE Sender/Recipient IDs to main body.</t>
          </li>
          <li>
            <t>Moved key update without forward secrecy section to main body.</t>
          </li>
          <li>
            <t>Define signaling bits present in the 'x' byte.</t>
          </li>
          <li>
            <t>Modifications and alignment of updateCtx() with EDHOC.</t>
          </li>
          <li>
            <t>Rules for deletion of old EDHOC keys PRK_out and PRK_exporter.</t>
          </li>
          <li>
            <t>Describe CBOR wrapping of involved nonces with examples.</t>
          </li>
          <li>
            <t>Renamed 'id detail' to 'nonce'.</t>
          </li>
          <li>
            <t>Editorial improvements.</t>
          </li>
        </ul>
      </section>
      <section anchor="sec-00-01">
        <name>Version -00 to -01</name>
        <ul spacing="normal">
          <li>
            <t>Recommendation on limits for CCM_8. Details in Appendix.</t>
          </li>
          <li>
            <t>Improved message processing, also covering corner cases.</t>
          </li>
          <li>
            <t>Example of method to estimate and not store 'count_q'.</t>
          </li>
          <li>
            <t>Added procedure to update OSCORE Sender/Recipient IDs.</t>
          </li>
          <li>
            <t>Added method for preserving observations across key updates.</t>
          </li>
          <li>
            <t>Added key update without forward secrecy.</t>
          </li>
        </ul>
      </section>
    </section>
    <section numbered="false" anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>The authors sincerely thank <contact fullname="Christian Amsüss"/>, <contact fullname="Carsten Bormann"/>, <contact fullname="Simon Bouget"/>, <contact fullname="Rafa Marin-Lopez"/>, <contact fullname="John Preuß Mattsson"/>, and <contact fullname="Göran Selander"/> for their feedback and comments.</t>
      <t>The work on this document has been partly supported by the Sweden's Innovation Agency VINNOVA and the Celtic-Next projects CRITISEC and CYPRESS; and by the H2020 projects SIFIS-Home (Grant agreement 952652) and ARCADIAN-IoT (Grant agreement 101020259).</t>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+292XbbWJYg+q6vwJXXakmZJEOk5SEUGbGuLMtpZdqyW7Ij
o1ZHXy+IBCWkSYAFgJKVtvtXur+in/qp88fuHs8AHHCQFeGorFCVMyQSOMM+
++x56Ha7G1f70f2NjSqtJsl+FP01uYnezkZxlUTjvIhenR2+Oj2Ktv/69umr
s52N+Py8SOCFxU+N8mEWT2G0URGPq26aVOPuMC+Sbl7Sf94nN905vd2dwP+U
1cbGvais4mz0Lp7kGbxYFfNkYyOdFfRrWQ12d7/dHWxcX+xHhznM9Le8eJ9m
F9Gfi3w+23h/vR8dZ1VSZEnVfYpzbgzjah+GHG2U8/NpWpZpnlU3Mxj5+OjN
sw2evNyPHj/sw96H+QgG24/msM7HGxvxvLrMi/2NiH668t8oSjN447QXPf/n
/76YzLOR+YI3e5q+j4tR89u8gKFPj8+OooMn5sOyKpIElnhcxuO/58WovIhh
/9FgYJ4YptUNADoFuNjP8hFMdHbU7T/c29uNzqp8+P4yn0ydB+ZZVcB7Z9fJ
KMnM58k0Tif7UUFL7F3mtML/t0h7ZRLe5ste9Cad5MO4tsmXcTHM61/9hnY4
xfX1Klqf7G8jy4tpXKVXCR7p6bPDB48ffiu/Pho8GOivD/f68itihf767Z4+
++2DweN9QMpsXBvv8d7eQx3kwYM9/bT/eFff3L2vQ38LmGx/1Vm+7T96aOd+
oL8+GpjBHptfH3378BH+etx92ksLvFnj4qIbJ/GoO0mnaVWaL0PXLvBIPEy6
yegyH+pzsyIfpxPa3Yvrl4OXfBP8W0FH/mqWZNHL/Bwejg4mkzTOhoxOQkxe
pBeX1XWC/wuIM7xMsySqcvPrm2R4maXDeBKdzZJhOoZfK7inURfueJF0ooMZ
rOQqGUU/JgVe4KjfG3SiVy8Pum/Ous7YsMR3+Eb3x/67QXewO9jt9/u73QNa
Cl70/Qg/7Pb7vLi4uEDEvKyq2f4331xfX/dy2MiU9hHLNnqwwW+KBD4ok2/8
ub6pTfPN6ivqzUZjWMPZzXSaVEU67J4lw3mB1yAA4vF8MuFL95f8MoteF8n8
n/8TgFdVZZln7jkcwVD4WXSalAlcgEv3EHSKKB/biaPTuBpeJlUZAdElan54
GcPFB9gfT2cTOYmSiPvrIodbmE/KaJK+h1N7cQYHcb8TnaUXWTzp0Aiv/+t9
H9p73d1BA9olgDuZFWlW9dJ4WBCM8dlvBoNdRbbumyLOylleVL8+2pmpoydp
hiyhXA8Jzfu/LUxsXRah40aSVYKBZ0cvnu1Hm/8NqEz3J/j575sbG91uN4rP
gZjHQ2DTby7TMgL2Pp/CW9EoGQNAy8XSACAIII49EQDnMBnNCziTy7iKqusc
rvvB6yjJRrMcUKOMhsAm5iWdGTNqeDJJiwjoF/J8oL1JkcLxnd9EIDvE55O0
vMQv4ihLrnV2g/aHwPmTD1UvOhgCdcNTndx0orSSsUscnKaD+4G/yvvjSXwR
nQOtBH5In9Mi5ctXM8KYuIyuk8kE/4tPwM6qZEjfwFj0fJEA4DMYfJqUZXwB
s12n1aUMw1cnRTjOimRoFgP71I1bYJWMq4CIsB5ASgBX+iF60hvgXHBgJMoA
076cA9JW3jHpRu1TB5Myrz+lhxmHTmj54Qhk0hGiE6yzgGUU8yxKYL9JwdJd
l6Q7uMQRjM4nRjgSJR/gtBBwPUa4aToaTRKUCkGsK/LRnKF6L/p4L8UPPm9s
vDr/O8DaHjMiHhw1IipsYxSdHp29AQoaHWVXaZFnuMUy2uZV7kQfPwqb//wZ
t3sFyy5xk90q78J/QkdJr6C8AK+Y00TwwInFM0MzQaK9SYoODFbyHuVZEFyy
MUMnnuCC6ewBNS9w+QCrZAZvOhN3XPQ6Z3qEizEoBSdQJP8+hysQnSdwu4Ao
xlEJqwdw4+AxfD1MZylMCWB9k/OSAJMQZLie6XSeKfG7vkzwXHEORc5ZAocI
t+0GrhUAtH7g5WVcwMe1Swm4Nc1xoXTqBRAtWGsHAVTkRH8vGL0JJCyMAGRb
ZZnPn+XLdlkGjgPBkAJceIE4h3ORG1QjAVSpbZ/RmgEzucGjglHmSa9O8PQm
uegTI5ecTPLrEh7/Q3RcmataMnbXCWDwevNNg1XjbWPI602D+w50C6BZPwFY
bYGrqu8QD98QxmVUkTdoCRC+TLg4TAxVC5Ggjx/P5IJYGsQQITD8DclckYwT
WOGQcBXH2pRlPEPi+gQObxOeuQAFoLgR+lMbG4jVI29wBPcsBg4t1Hpz+Z1H
hXEneh0XIEsBhNw5L1B9bDADeK1IlVTDKqPXeZnScnYJPP1ou0wSWCUgTBd4
dPz5M3C5c0B5OKj0IgWpCJAINJH3sCZY7yaKZQXIEJsIbjjntOww2ReKSyDH
JeGxMzvC6xFmSKFldZQFIXlFogJEgG5s8mGGo+NX5QyOlMjkIi7nMzjdJ25U
Ll5O33QBd4Cc4NWBzStDgTXhrnkp4aXCnvoEk7dZDFr5RYZQkXvjnsECXurx
UBfiLfj5uHffQyEClodtuD2efNTVWbp2BYB1dBQOJYAlP5sXSOOmpKr4rNQS
gBjIP8ivI8tJ/bu9nIvKDcUXzhPiqDEO6/JTc0M7yFpBiq+AgApvwT3hJkOc
9t49kIWLaZrlk/ziJrqH7LWyH3xG6sfSyDXq79Hmy7dnbzY7/N/o5BX9fnr0
X98enx49xd/Pnh+8eGF+2ZAnzp6/evviqf3Nvnn46uXLo5On/DJ8GnkfbWy+
PPi3TRaSNl+9fnP86uTgxSYjqgvtuCA4njPmF0DJKrp3G8DTh0V6zgB4cvj6
//6v/h6c9v8DmDDo97+FY+U/Hvcf7cEfyAJ5tjwDbOI/4VhuNoB7gVpFYAR2
PIxnaRVPSsKj8jK/ziLAA2QWf/hvCJn/vh/96Xw46+/9IB/ghr0PFWbehwSz
5ieNlxmIgY8C0xhoep/XIO2v9+DfvL8V7s6HGxungF+IxQh5oDBwS5jawBGM
42kKekvBd5QYGmAU0zhgq8NkBrQGmGwsr9RFK1CtzolYyocP9/r44eGTV6fC
db/d+5Ye45vicGI+u6Onz18d8sdosCF25DPxeDQiWkQ0Q2kwrpTZOIkP9hYw
ccrgjbjK0RyJxClhibYwskbtcnVQN0FRTL8fpwWIafyUCIQ08ClRGwCmMzCR
CmDHSXqlC2u+3Xan/xA9y4trtEPqg2PY035okXir3+O3iOokguCostEI1L0S
EZwOaDhBKdJjB7BmWF93WH3o8rddfBeZAe/rChAkudNFEFoUbYvgb71FPANo
kTkxNC9+w6BGsTRBUI8FcjAygP+mZSYd/STvrjjBKIfBs9zM1DZRlnfHZRff
4znuRYci4b0kJsLmmNNE5D29AfdwfSILdpndlEi7LbOxoi685gr5JN0PL/Nc
1QkUFUPivTF6wsbWUrtpyXF0FYNExTYo0QlAZiBBLh3OJ7FqCiAZeaqCKAhl
wuOU8Thx1IcVVINe9BoNF2jtQa2ftBw8LLSnXMUAWZnhMoZjOUcVChYyvISN
07qztm11arI6vY/y1mpid8cT6lXd8I+GNhxQ1RwZctkacAVnViE8VXUQDTal
kRkBXiXetDkRRJBKRnjE+M3B0cFTYHkXIGNVl1PAyOPMUE+cyT0qY7hwNDta
IawfsQx4g6cTCmIwxcv1zoMqHdSPcNMJ6ULDyVxvXBvKucvCwwUWlRaMu1U6
Tb5z1fVolsOvKKqB3EDiAqM0yOOEl7iYAvkCEJfvGhtOPlzG81KlVPxEwH2G
ijkqPifz6TkyCxK+fRlbHlVNDKCLp+pyZqsVEpgERh60G2Yi5EplpLJ3mU8R
/AWIyIBzvaTXYZOCKMHm1JGLww3Nhjo4aEAXFzAnkKuMLh9/g7hWICnwzqkT
Jb2LXmfhoTiHICrIesDrRcdjubpKk5ioKuaAyHeJci+PBbhCSy9FK0EEHCIw
ZpYeROl0loMScj5J2nbGUBwmRQUapsjyqOe/YqOWaz9WnQJvPq8bVnId3zCm
Fz7VZtlxPoWjSf+BFy4BFkhs5U3DBoAyv6+IB1XlhhreRieSD8PLOLtA5lQk
ZI0b5/PC2LQ6qnvBBCzEJQCmIgZ1uX6oJVED2FQB5CWfghxVqqZ//NRB7CiK
Dkq6VOV80qCdK9JMXgw+YMfuKMoAQes0aRwSfHQSvE+SmSJ2GU8Nkr6MUeXG
mUBnoNdrX8QTwP0in7JuPRm1mlFojyRmOqekbF/MUzDBjSN8IlUH2Y9sFAC0
azwsGT6eAJEc3RjLpDUU65DyTV2S0HWsjSx4mYjyw1MP36Rnh88B0hXKZmLs
QscmGuPEsSnqEvCcbDRB0I7jdIKz8aVzcA/OFAUhvHRIWMvoL3mKjiqywMTF
N4c5GeVJ3Nv+y+nhToR2gRKAgkc9Sq7SIQIAHWFwYzdnk2QESApqIcDMGOz+
ngtplUWTlSgpxG5vDUQ0t/qzREnYvd/HywKszYojuGyeydyWUg6na2+Hb9PH
uWD9HUYYQLzhJR5Zfl6RYy1GVbGoHNW+A1wye8/24qANj/kl2Y0v5kI7Z8aM
1cM7hZv0LB3G1sH7wo3AopiRGCJPhgnvxIhConsPgDnJidFagS8+z+cVwRg2
jaeJRJUYsVwqEBfVmFM3XYgODXeA6fSEyB0uCUnbWlcfBTM5FRyzyOcXl7ci
jIvJrKxBnOCCJIPd+2oFArFoDv+bVSpB4FEdkJcy/Qd/UvdF+PbIg8OjnegZ
HiOhqk6wSyuLor9dkiHf1bvms0kej1CJRicWUtk3+fuERTBPN4rpmZifAYog
7oY6xY0nZe6wAfg8Q9XcOzD7NNmpLt3nYOKLhJCTDsbFFSFMVoQ8PKoB54yX
WjGBKOcJmyfdjfniMateC4RxAlsb8W2nlIuQgK0IKAcYMM2UbJzHSChhJ0/T
MeB59zkIVNOY8cBDQGOC8PfjIv2sTOajvMv8k+YjvX46F7kstqiG7Di2FL5x
TMakiKKVTgEvNaewMEUrboG8yJWIUR8Qq2NMfo3aRC7hbZxNk6U2v4tRBnCo
ZPvJqtnT2U+Q1XomHePPCzJHPlm6AY6ZFo5nJmx5PM/E/0aP/vwOBIm3Iua2
SYl8aChRJ4ASQ7q0cFiI5KhRdgGtMqSVNGLP4J2vmOsxgnhen1kIIIgRV/EE
B0+z2bzqCPxYrCITPp1HrDI1E1XR5Bt40IveqpuhMR8qQ3hPW4B4kldi22Bw
ioKHt4cM08bP63hrmJupuQdYSDnHsy9d16O9eo4wppQYxkBq4mj9bZFLQuNB
YSDzOOlOpSOCUKBJdMjEVf0jvD562DzCtKqDFJVDB1S8ffXyYFmYCcb/+BoC
LJ2GRYJQqSXCWwvNjsCs4veeLSxl1f48zyvkKrMovkCFxAgePMoT87VZOLmW
yJQorywgo9HBhMgBzobWEjuw0Gy8jeheKObDqrl4V4uvvPvJSHPsubMaV93l
Inm2YFcgdJZsqxGfTae5lusUblF1OS/t7oHiJOVl6/ToiSmTOkR5Rlm/b/xA
9G/OHIBaLUqkvill3UWiisJIF3ML4YYFRxjwKk2uUSc+hz+s4YvsOwAL1WgX
We2s5RmtJoq8Nj6LbtnLOBO7UcD13rTM1H3cIBPPJ6j+oo8c2APSMpSSmRob
vWdKlywfVwmxA+broseTApvEpMbDgo5AnOXtorolEltsEbuMUAyDwRU4RBqu
QBgGDpOQtSBohIElKz1iqch12zU2en7jUDS2DDvcKuB+VPuAGHDDLsd7EmU1
Ih3GukdPg57Re2IaXuTZZBffys7WtLR37vxGtf+678QeNIbSwIjA9mcRKSbt
XlnY3sf9f5/DQj5v/KC0Qu4GKadslxuBzJWQTbwVZ02ADCrYsVwnUq+vY9Fy
4QMYNx3fyAscRbPNVqzRnGgtygRDMquPHFa/45BuWR25+AzBBojnKPVYjKsZ
Yty3xJxJVsoW4xcs+TXqpYDoxz+qBdFsEe8HxYgQATufp5ORtdySsE4yC5+v
92pv4weAs8hRrLW7yyPxzKIwWU1o0O33aFehoXeAt6cFw/06tyjTsCDZQ2sh
DKjMZihqJxx3kNZDTxbSPJWD0lIN5gD9S1IPkVIgGkxIuzbEnS4+XaiFoYvm
CtVvp7gUS1mQiYMMhfsEouk8QrJqtOM6UT0bG0xzQEZH8TYPxXbUVRWHf1Bw
x4iDV3xKtTgQxAtZk0nL+YwialWslk0eVh+2dwKDS1qIPk104dhRnlDEFDBb
LmJlcvU3Gq0N8KRhtyECp8Yb0XQaL2pInc+v0hBAXN9gh5HM82zVgqDgDKsE
w5TEfSgKC1nRasJ29ARvNAX+ZfYe1tfKdMWYsp1YVppqgnp1ZryVjT24bkc6
QTeASFQ+8pMWzHljsZdfA8rRzQRi0L3KJ0DsJrg40INg5db9SJTOnBu+YFYy
ZpkER6bwqWE8k9F7Nvik4eO4jOv+evgOcKACXCfBnycS3dH6B9BxmRopv2Hy
qzTIV6wueWE/EqqIojl5WGSKoJffmPrlnIhVqgZoYMAbaLrqQ0gVkQOh6VFf
5gbvEE1GIoUCPXlcTYCB3EshWnxIelfpLFoXqApTaEXGrLLImpdkf89vGppl
J5pnhKoCopJwhtDLoG6Lo5ynpLthfQMRqMrkU2U8X2LBj5gPcpxeZKzJ1wEt
qRb4FZgzS0hbEruxmCrRhhqIE3AQFrecn88BhUhVw//ygRUJKn6APkYgpmNN
2UR0laejUk5E7j5zamLSHbxDzKm9y4FMMcFoOzRNgboKa8RzLdIZ3RMmLYTY
GqDvUkzPmihRDWy0oitLNmtV5gyy6221dMvw7brLiYE/ufEsWe3c7t696Mjw
IaOje+yOWPlC9uUzGr0LOFKDOaCosHoMRD08kNlrW+KBrNeJa2zj1H7gcTg1
g+dwoklZKMFsEqAB6UVG1gl44TyFdaLxCSbaNMDs9ilWd7NjTpFI3PlN1bJs
jGUA3K0pgibMlHFH4m+NnYrAY+JbZaZFscIoe/nBnhiG24XJyy6O0z3n6A/S
2/+m8np9VywwkuTcV9mchPf27XlSe2iD0eNu/8E65xE8iWjzhGR3gf3WaMsc
wNIlLjkBXiCvzoJ8bXjKSx70kKYACUWCe/jq7CjKOUVDFkQ+pzQBErz1YUsS
FORvIlRbHQkhJIqtyhyqjstkriAn7zOIcC5LebbepxSGiLdyK9oG+SPOgDiC
dIZeLZ4w/YcBrH2xsVDX/1FSIhw+RgBmzwZIBUMR5o0VEHZ3GV+lORGYeAQk
SBNhwowBgP0cZMd4XJEtz8b+lSxVim5LAcGb/Pq2KLPfqDa2o2/hHR7b8NZ0
HEInPOzS8ELHOgooaDBFDl0iMki1JcGQcCAuhSsuXCwAMlq6YOvNpgOS/Bc8
0bR0qN8+PcYyAEUyBK9UKafMu+GD5MNOM9o+6ABpNi8RmcXZvDXd6rljp2M4
7PB9FYUVrq2JvzxjsWYz2poR6Jj0SX6OxPMwjpSk/1+jWudqOK6kTHHdjiQk
AaaVsbjJJDjALj7dr8t+rOXE71VNjdzQFworR5cIXjtH5If94cG6vFAWAMJk
ZTUSNBC6CtmtRP6Oeu2DV5zQwARXAh6YoVdUbdyjLNMPS4/ytUiDEpDMMT5w
mudrnabKlHDpLnLCYGc0oAc3uVywevgoHASAvnnO5+ac+/jMbvOcExNfTSpT
WUqwlAcZWRfaNHhFdQiRSWgJjLb+IbD4cpZwU2MJIKr//O6X5As3Hl8QerAy
I3CWJ1cLwcIB+0RezxOChM+0/QhulxQz7GK1vRJF7CEpQTNk8iFGYT1C5adq
vQZtKpmkKBCIximasOi7rgqzvsro4sACUZGpumhLeCZjEP4LOqMGPAQUcIj/
SIqcbfMcuMePH/jONSuLsNeswzRDhmxgmMNmUFxJAQFMMsI0nqBdCA1Z5JtX
bKQYjTidEBfxBJ+0SqbRoG6pbsSPhNjSzS3ZkqAYvk+Y6bIpB82W8arrAK8i
T/2Ce1ze6QlhzCUNGhfJVz+k39F4BTRWUo/EiTKfEVKtuHJXCgh7OluBbtDo
7sBuPYG/JRRFjxdRZM8iAYo9EuzSGuF96JKFqWPNJEaMY4l9SIei/AyXi0RE
WdXGxv+wPxsgKfZhkfejvehB9DB6FEWP4dJ8C//6u/CvD/8G8O8+/NuDfw+i
P3XxJ1IaRH/9sPHHbv3/ukv/NX/+uPGp/2kX/u/y0/tPEcwRfYL1tf8bwT/H
MWZ0uU93th4gIX/qqrzQ/UF3X7q7p49rz0TT6I/yET2FEHIHDk7XXf4MQAgm
txuNHGXW/fiD+wf7AM0H+PPpztYTLf/5xv/z53fws8J734Q+/LT8RXyvgdWr
vAgo18CbVV8EpP3Hp/NPM/gVzp4/uv2M9GYTqa7rSBXh+0vPMfApndun6MZF
E0MjHFRhBDN/93o93tbtZw0jQ8tZtx1lG9z4IPj/4MFrPYi2511K+HE/uteg
xFxO6PtN1jzvnBhvAhOiYPVuPAFW+/3mMMH05c3PZM5+pu5SZJANZ4V4rI1N
u+41ZeeZ62k17ldXG5DP5HXgPBXZB8gFOBN3BSeJ2LDz6KdOdMJ+iMM3P/38
7vikoWb9RN+esI4/T90cCjX9KUxInQJ9S2OKrO8lAGhjwhbNpaZQlauWK9C0
EFm/arOLIsMIQKxcG0gWCYgtpMMucnbRJK/evgHee8D6LhrQUX1luSN4SBTI
YeNuKfuZqEFZobkQDuHnd8PznNP6Tvh3QUOGFL7JZ2hOTo8lYDDIKOxJJoWh
T0xuIE2KeduwxszY6wOz4/bQTBnZsLjgzlg/L417jZZrlKBm9LCXiYNh9QrO
kG6PA/pDkNkDZxypG06zprtHVBoD1sZnwa6owAXwB2TwGnwOH/fxCa9nAmJg
AfIJn1q0ab3Zmx2Fs5h/Jkl2gfVDAnDArVJJh+YmESq85BNcNC3OqqdkHUk9
Q4HsGgu+kAtKwgpwYU7osI3VUJOLYLcE9RtDX6ch+ML+kSRsOI52J/azbZ6U
QrCf//Xps+hA0031Nqv4fL/X98RnjcTy9kU2ztmMJXccT78gxxkWfpQYByaD
nHZnymFRaMGlzXhVykA2TnSSusmxtdUGoWClAA/n5Gs+RT7kTsTfvYhhTZ2I
qdc7gNc7xoyd6HtPpHD2dqvhNCI3Vu3Lj1QOFTqigL9pyrZIG9LVcqZkQa6f
aakxdn99eXBIda00l4Iu0/ODvx71B4/Rrkm/Dx485BMxg9Khx1VttRQQYsKn
yJBN3Fh8GMYJ52eVULImqX6AMeS9kZAfCkxv3VashjwBP5wyp+w0EFhy6hiz
/Mh8h/SJucgimiYZm9AFU3HRuMtpiwZ2Lp7XLs0je2n29h7CpdGIQb7WqMjO
6TxxQfWIM5ga3Tk4gBOHU5thr/fQRnLyHAFe0KTMdeLuSBhxkZgwTU0wCcZi
GG5gPQeWWtSzYQ/QCMBEybBEE3CtZmXnlJiumlNhwh8bM0gb5YfN2+wI33Z8
mU+khoONb1DupDvZ53IjbkSoV3KgJUo0LSM3v468QCGYhGxAQpttaNBlXDbW
ZeOFuA5iqEgLjgJ7t/dSFucZ7ht17ihET4bLnLfLJi7v1VkA7nuSjCvcq80F
JxhghSaOn1ggjagI1zyPRXLcWUrRfG2DMv0h7PnJiBIhImCxF99Qq1NN/HDT
Ijwxmj0RdyM5kzSFoJBQFa4UWMoFBg0QSCJ6krAk7Y2JHRp1miVoOGa69MII
61JDzQxlgciqBbOznegj8ij8A0HEP998Y4LL6gcEz748Ozo8PXrz7uTob/6z
HuWhBw9e6GPBB4Eg4eQ/sZj7fYT1T6Me/fETPs8COX54XQjzQLEYXjkJvHLS
/soJT3MCL8hkn2QI/KLBtuGxP0Vn4pgKsH3rH/gB3yfuD++4gudGDVDfe8ys
S6+EJQqWJVYx+vyEkm1A5qg99v2aUtGSqcNCjj3r76OT7/CTP0VPmakobnGY
uwsUYk76Is/rh3zUGEnJV5N3wLA/JdKic8DEn0lOKBJ3S65bNi43NiS16iPN
OIcL1H8YmZNv7O87eiyfxcALogmO96dHvd7gwYMf8Mz58Wgz+iOfnPe0mA3/
tGuehzP7buOzu7jvmiYS32CgBhLPVkEkbmlI3GLjhxOUT9CuhVRYu4fj7W0J
yUfCw1VOGmk4EjUuBMpNbw2V5KvXOQUZh1mmpg3z8GOuWoXoZeKAMXYahA8O
ksiLZkmkqRQknSUTCiMyJZLeuEVvaC/bTgmaHa+oysLsuk6orJKy5LUqKnWC
1XMkMHU6TTOOcKyXdvFr3oQrvLDVqlath/JY2xPVVH9uFJWNKVAckIb/7kWv
cD6t7gSvTDsaXsuxz1U+cxJeArLwIhsRC9PZFaeWcXEPt7quGghtkilDTDQX
m8BgkEYq9GBu7xT/DpaC2th4wo+ZYnSaG3HpZ9nFRbJw/SyKvHgqYAqz+1Cc
SqO0wAXVlMn4+q8WwMuzA6XlXA/XqqPrUk18mpdcG689l4hlWDlahC8BP44u
UswMdGK1c6blGJftVpQRwNeKLdWJB7w8n5HqecU3lrJM2UHoQY/yzFIBXqgM
oBW9kFcg9/nV9+rmMARDVW6329BQcsmtUmQ0ebca42V+3UgDoEJw9dQZjj0P
ps7YSrsLxeKYEoXbReNOe2Cf78jfbctUcsLfpEqwX68Nk19XSql5puL/KqoK
Ci5GrysNjeNaqYHhWdkA4lLRYmZURmwxU2kY/9qNdSEfiU33k2kOgbbBX8c/
LinrZGITEXQKBUmIp/CAJBmRcrJgeYPaAnueGoyWm2yVQ2mrwecdvsHceiZW
W91HEIFOuNAK7v2n6AmJ9CLzcAmW7ocuCfqfxfrk5Rd1pFZOwuWDqiI9n+MI
IOdcJFlSMFmLxTnMV+GEwglPBgxvm5LGsYY+75LgRydATurCwCDkExhIIUcj
J+gttwZvSXx4zC4GZyVlLf+aJ2tMIDVvseoEV7Tgl5uJpLYKMAZFUhytosHH
jyjZKI/vajErsot4WT4/8bQ/DSJlpJ5ajeo4u2dcdGsSHY0mJC5AtDNAIUMB
nXZ+AREuA0gmcsnKathuOKpaB/dr7gWGtIFjp7lmzzfXkpyy/ka+C+WGaly8
RLiW9gZi/CwVGnKuEpIQqnq1KOzTr0bbkaAfB2yuDd9I/DZzmi0vJ3LzBPVD
dp5wkaIlLUik7GV2syxfqNXSp/fnlO1of0sB+a8lpqrr2gBj2+6k6UqpGwKt
zdYRJoRWIBoVludb7D/p83WO6y86mBl+86c+eRxBLgV8AD0/ZtTjZgfCj+Yg
Sk/wKRzRkzgkrHmxlIFE9LlWpzNZwIEShkJWRSO2REBKI3ilnpvmLiIwWc4V
x23lYnUx+3TThNChQbmUADJ/hEILQougZGsh24w9o+84ibGl1NFhQC0U5sJC
240Qe+LTRiCXcHJZ04prWCZOcqC/n/HnqADybExJs1Zu8KpCUxohuxhrNaqp
9JrJ2BWXPar5BTszfHCTbBfKct1crdi19d/GVcWLoSFDgditQzZKV/sSsk1u
Jg8CUZBGhi4X+lmQkOuAb0JVSXN04EkiNVXG0UvdkzfssS95Y9B4gVxU9I5l
E+g/NcYhe9z11bW9aiX9eoJpJ7pM1CDvPC/SG9aMRmE5LYcIJ6PowsRP8iZq
mdxm3cpcqmyYRA5zgS13q1k3QMPyZdZjmu6YTbaozXqVx+RlTy+zWkL7/I33
sC4tAsKhxN49t5EQi/Ozff3BIiIJdElpUMoaT3CR+pZbcAT0Tc56sfleVq8i
I6u0RzDljtx2Hly3bJnJgnOWxJ2EtF7nNM6N5npHCVIx4sMLh3969AJD49gx
lpkppXYZqSF0VOZhExaFC2NlQI/r+OnP7w5fnbw5+ukNJ/fUa+Q+k+YdMWVt
V9r1gxwqwk6sfSqYmb8KyeLwJ8mItYiPyPL3eVn53LqFerOpLxlhWYXJjdac
5qekypjDC+tWhriJDVIoHKQyW7JRd2qvIrGCRno5robKUiiassbSvPd87Ru4
wL0eOHCATQHBVC3H08kHL5JJwLQXYG/0wKTVrYgoJdUPAvpk8gEVqbTCZH80
r0llWBCRm7WkWvO6Xnrl6Mgtmo6VhypHkSInbu6qJrINES0nYhN3IYNnl1Pl
NKorLi1S8OEJuX0N9XCIUTDX1bjNO1STNpISPoaa4TGjAXeizQKspR417LCd
vlOrvGGKglRqquXq55M8FZEgXMgxXxVPgqZetxKVXgNkUgKnWJzRXIYKnfbO
kE3h/aGI7oyNO8vJ/rC4mVUiPBsLHdXyg4U5pLJNKJOgG4d+yq1aitYBQfyl
kOWNDQo/qnU1qSfBSZBXyvYebphJ98MGIGFf51I64+XzYmjb8pn+d65IuK8k
AJXR7vsM48C0WhK/j69/07Nff/N+PspLct1gmVdb2av+3jU3PZO/cF3RJjpQ
ejSAyH9yjkhR7BRdeqKLtgqpwfTxY1Hxp9Rg61jCkmLJsM5y3w/jZXqanjwC
B2f31gAD6iNGqjmw5orkpB4zxbYFODVWQ+r1cawFe6UQJO5K4hssVkyE9oBM
Zj6QtA0B1Skmv5z7tgUeG7b95VkMcFVvbVXQAo8mDJrQvDU8UEtZDAhOQKK4
OWt30Am4nBiFlEzTSVxMyNx5U+sdOowlqITKJNa9B2yKATQTRknitbsL8jER
2BAjovpxVCoMeABwSugFIADyNpKU9TAieqVcq9PyiNaRlYFGNcpmC7ha2WLb
iAc7TPmoT5EKMTttXpcGRUMZFClzSDppGkA7Yp0Qf4jvIQuoxbkYgdNRUvMS
SO09h+Vz5b3smgMtJ7Z0FD5SptP5BCTEJJ+Xln2WJr53kcguhcVpz6/7yztM
0UL0+UEUajgVHfWtkwEHJVgOL5PhexQyCV4iJzFcLaR4JDWCHA2k/xOMoU2f
7CETXX094DrfuYYowdWCp7mDUW1CFJ25IRLKTAG0CW9m4HAV2j1urybqy4ph
hekUactKdU+N3scqje6HJVFbKk4kDS2oRPvE/0eYYQCrb0vX4D0AAgiAo1JJ
moWpXG49FyvBWI+mf5RGJcMovRvF+xByGDWB4AToIZ5HIh/Y77JybHFR9HaW
121T3kNapxYGMqssw8tUTEmrJqaIuKGeOhE1omdUK60eMuLpRZqL2ciO95Qn
Sc10cvJNBr54Kdt0M9N9R8VDMVdZ5FR3kd3KcSaeSZqqE20d5tPz7bhzvrMl
NqxFSRrBxJGO02bN2kouNXcg2oq3jIAgyl/tgfMtx7VqFuQHvMXRz5/cv891
WvhYF95ctB8WGMVxeXURDvmSIs+NHy64HHpn28B1x/vYco/W4LJPLR9v/FnM
4+hMWemFtWdAstEH0Fr3w4ozoH19rSWdrPuCUrSdVV9ofHPLF05FqrnX1xek
FrJRWd7JN+HUxB8+BWT7BZNql73VV4mJkmtty6Yx70e7v8gMI0q/34/63sdN
9Fo0xod9dEM2PpYfwLhFL5NLcd+/Kfblk8UvB7drfjOYuGCIz8GPF7xwlKnO
/FpE04/48Y9cNNpi2l2eUniRkSUzgzu/TM2PNQZpVaxY9jFxCECOnwY7C894
pXEAT06+dJwVsCX88XLCJDqTUKYFL/wpnDQdNSgZnMSvQJpCZy4vLCNN7vGu
hPTuObaTJvcFj9EIHRosmKGxaaU9A++F+lXWbIA7u7gbT33Ts/NCmLr88rRk
fZwnV6TYaQJ6LeWQcvPrN57d2m1G1Ja5Je7etde05AUjIAz0hdC1wm/aBQRs
efhVZYIWXhBA2rWZ2PqctobIiwY4cIw6OumvgadLXrC0ebDshd8YbW4nU3ck
09ypnPm1jj9Uy2ORJq+ZK0dWi7e2hpD63luQsPIM9eiOq9Rr4FRJaR5uqNS8
1NoHHIaHSUkS24c5OP1amtEKbsNgEFp7y1Z+s89BJpm36lmRoJOq7oER27Ga
bdq9JuKnanFq7KCxbLOpem2yFcysgW5ZybYvbxns++blS8whch8bn6rGfVPv
OTimP5x244VRTCDDrkbxmBhPKwUFy054hvZLrpVrSivbKmO0ZhP4gSGdpamH
csJ/SeTlinVMelE9zVp2zOENpT3rgPlNCJTrZtMuB0VSFWiAdKEAC7TZp0sD
RDterJ+ft9paOM6NPNZK2aH8WicijEM1v6frxReo44VgBK8HedhXuCBsEGQc
/tBF2BOxIMLSzbOkxRyIuQu+E5+z7BNTF8f0yLSJvovCTClPiAe9sWP9/O6E
ICE2x/CrFOjhB131PexqtFvZ8a1w7g+SZQlEBmxIPmhhV4xajLWcgTz0fbT7
YfcRtQqUP/qP48Gjx+NH4zg+f/AgJrnPXXRaavV53BUN447SPsix11Kmo3m0
tEz51dQhwljBukmUptKs3d0Pe/3dRzX+sn25tftoizTGE+fBx/Xl0IO1z7Z2
WhZpyg61lNip74KXeWLW2Jy+9dyUI7ajcoAf2jJPOCshkuNUbXELbH52+YqQ
E4k4KD1a6TVIa7+DdQInQwYY7MBhsAglVTThmx3DYFVdBQ1yp8Zql5KM9gIU
rMcceFSAeA0zeQdsGvfOu7D1mjgsnKgYrbij4f62ErsG+Cw4SKA4FOyz8P7i
3jtGHgGleNWLDKtZfqvxK35u8CB+/O23/eHo0e5uPNztb7RM33ol+/Y6OhdQ
VlH/WNaz8p2069x7XF8pvlL/TK7xKgSLLmffJVvNVTUn/UVI2Z6uBbekvzcI
2YPBSgusUcRV3vlliJ/Z1YoLvyVZRP59G7IYipkM0kWWX20AsAm6EGlgKA1F
2yLlw6KojLFQFq2JonwLt7ScOXYuT8uKnec0JbeoXNRH8rO3M4nfKG/d17Ap
2crIa0m2PJYnGQdF28F6oq36R0W8Hawo3vYiWzdGVuNntngI4KKFqGESdDqN
R06b2hZdw1d/1heoXe7ZabDOFYRsi6VeFR5ZU00kkG0bmcCEknOpOufIOaRQ
E2Gxc1WoDbrT7zItGt2byuZElJlV5nmmqp9e0UBuc7lu5GQYeXknvot/QZH+
ZlabwtLWqXJ6RVv92MtIMyGmrck3x1Lzy112nnB1pUDSkCvTyV4x1j0pCoop
l6jPlizcekFsE62kvZNkXu5vHlF78wlbIhwiOF5+YK7g6R/8wvMhKFJ5D4qG
4QiXJrluB6ZfCEwbPXN0T9mMZKdmELUsrtgPx3IjR9pzqOpAUUTIrc1GaEpe
oxSh4TT2ryIGZqNDxFYgUWRxtNdD2eltFs+ry7zAHMQdQQTbrrZkWHpgl0xe
ycnw7j73WmQUrgcC2cgZJ/3LRJfWgr3awnJQbsfIyszGnqdjNxaeW+95cXey
/BuOeMe4n8W2w1qMfuWUqXFCaVALE7bhtBvVyC9GBTfPjSaniEWe2YmLWJGK
1G67H9/lD/csvcCiF/fFFijI1K2HTQtquJGdPu5Lvb2S88cydCHZunDCBwU3
y2ajZUMQAFXSq6Tw7rWgsjs3ZRFInyvXRncuRR6BUvhVKyx22whKHyzbjF6u
r9cBzw4bESlMd/ltCEsvq92iNkHTXVldCqCcWTKYTtL3iZMXz92QReQKlX5p
6VDmTYB0ktDRs8bWEKWN+9CFN7A1/jsXtL3oNdXCic/5/jmmXEVKw35sFLmG
PWu+d5FcpRg6a9HblDrW2ptOLDo/QwFtNjAULqo2PPFjmDFuEdtkVL3auXY0
BcN08GxJv/V2FYaSRzljONCi8vlbLJerE00wHTS+sHlUVEnG1OOhiqhSRs7w
flcYWdY3yI+MJFEtLYfzsmzSuU6bwYgTPszam5GH8r2K8oS51c1M6sWYRAfi
mouz43rR8/w6oRQIU1qG24Nn2IuSyLO2EKn3pKNyHRPpUFVnRJJSZMuJiaBA
1+c8tWqt684oJWNXWqb3ACM5YV6gXy7L9UNLgDEkU2ULSmxZmP3X1cm7KGrA
oYltyTNhc6QmscBaeXWc0ttDb/mM80yakS2cTVmYQ1XLukLkXEHFFxKJ6uyP
QgrqCR5yX4VWoftJOtzVZyaTG6d1cWmeUmStW67G4WIOodTQiJO8a6bmuqoz
KUyC6V3fPnwEUEuzJofXWk4gH8SpaSDp5Ncp4XZKf69wWBlWGp10lXyudGRW
TJDkC4JOUzrg0Ox70QG2K8YVH2fdN1i8FPjRqd6Jp9wNM3YqANoSZ05VgUWy
ytoKFPFsrngauZmdWY65xJiPy4Vw0N8bD2tZfkKJG0WRH2mO3uDBgHNu9Q2v
7NHSVFN5DUtes3uT0uYqOgK8j0BmmpvBZBZtex5m3CLSc/rnfpTuaCoL5zZi
Pmfr3oeTBLMYvqOmlPAmsJsEH5rPaK43+fskU7M2FVuRPSwadC341IAPIHlB
lX1yLV8rSTV1nWexvsb3l/h0flHEs0vhMaCccdVEetoUXvATrgwHQ2WibQKk
+KpEclb5In1cLStGQEe1wHCP66Rwd2KZhVsawPFbb2zo3coMUOuMLIRGnBOF
9WrqYlzpS3qStEuM+OTszcHpG6KkRRJXmj7fX3pNJH/jVApZLMnfcOtmtOZv
eMU1VsvfCNXRaORvGG2+kVxk6ljyDCbkg04GJA6WB9xkDi30viR1f/UEibYM
iQUJEk4enfuxzZv4GpH8Ejb5Hz9Qb3HY3F0F6jkZKb98lNaa6QOLP16SPrD4
4yXpA4s//o8VEL7oXO8yHLwl62hxOHgg62jxdQpkHS0OBw9kHQXTUtZORWnE
WfbtC3cUe+3kcdReuKvAzPY4/qVxlo04/pVecOP4l75Qj+Nf9kLtm1u+cBfR
4L+xdLH2ZK51EneCaRTO76sm7gSzK+rjrJC4c7NPLfva17MKnTbd9Zz7/XXz
KlZMJFscTP61ArHXifwPfvwfM3/k91yBNpbUntL0L5Yr4GiNC3MFwnUe10gV
sL5ZNL01Yj58DXvdomLW4tAWKrK7SnC4U+RVrESmiJRXMJRmRJvPHOtuLQ7X
7P/Ggr3vNDqrf4exWXeTGBAOn/rPF+r1ny+L4U09zWdJ7BV+uno8dnvC0+AL
APHF0WeLxAZb2DgLUeJm3N1CGrwkGnOFxKBFwZhubhBQ+p/faYzmr5b4U/p3
xlnEihfnV4uubFBwB9HjinwcHiHAwkojDK0ZAl2SQzZfehFrsY0bqDODxXGY
33Gp1PrMP39CqFxKz0KKRjHRL6b7TAATF09mPEOyce28gE7BZFR6oPnN3kov
WHSl/JGvECtau+mmm3C6ajCn55Pw9mqiaNaKM3TDuJQSLA/adHnmWlGbe3cW
tamkd0HUpmw+FLYZInrUw+rEi+ZrXIl87I89jtNJ6Q2JReWuY3Zm83FcSIuC
VQR1qkDHnRiwOjJVJIQHyFlRRxKKvdrxr4vxRSdKkWFCu2gObSoS8c1r7Swq
8MuMmG5Q7Ec0LwT12hHNbaCvx7yaKmdfGPNqAp6Wxrw29KqWmFdLCVePeTWS
5e1jXmWIL4x51RrbXxD5ulp/AyQucB3Si0tkVLwDpjR+YGda8knGbp1VjehL
HXJkIlr9cFZK0euYaFGkRtwuMcV5ATMTtyOT1vbmqDpgWtSqp4HCZT1mukc1
1k09PYoVkH6117VYU24UWDb7CmK8Kv7X70i1pD2gW/fRwQI5gqU9F3dMUnuK
JcFnsyQr62yD42IZIE4wFKl4pI9VNbaKSJkmZS0GXOMT5pm9GSEkt+yDRByi
MQXfmRkFdXDwhD0zRmK1m9QhscDzHq7WS9iG7HSYmBBi2ZjXT9ExOtbnBM4+
TWKneCpMTxDxQyEWNH+5g3L8O79GXNRgPVnk97io3+OiLpdL678HTIXw6ysE
TFna8TSJR5N8+L5s6YZMZSTyKMbnMYZVHich3cSzlsMki4s0LyUa60z+jvoS
Io4Dy2cdjqUyzd+VkpJIjez89dHR6bt+KEwKLtu8CneatW8OnDdtayzP/CEz
lBUlxGCHy1L9E9qFS4byvzRSHbU90d441q/E9gQzOrU4WU0qc7d449HnUAR8
XC+4I4pU2pB1l9X1edenDQOnxNB2r0eoEYS42VoysiBCMIydzqJKotxSH9oa
Vdi0aB6BLh4Be1Ow+jqfSKcBOnPGHfYRJiMq8MzpOIiQINEoYlQIDb5Vjl4b
ArHR4ZdDcMtCvwG7Niek1+N4NDfx2Bj3Xrag+CgAPCkIrqv2dFY4s6sUZ7nh
u0X6jkACY+X9ZDilMKlDmPwkxmXynd8G4CbBFkX3DexpUDmAu4W/BX8LArfW
VjeYHQtxWPMAajfhS25BFKk2GjxLsTcwLEnI4LX7pEmRy6xord18RyIItp4I
Y4ZK/7fCh+VbtFbHBbv8kp3h+uOhUPPbg0kJ66IYg62Oj4XuITXRJVBfZTW8
wX3JxszBsLQQ6sFl6HxAagsxtK06Mx/8Z2Xmg4XMXCRlND607PO3xNHvkgF1
3Aa9X0cg6Iehv7JQ0P+lhALnFNolqlbOdGd85XYCQn+xgPClnOC+K4o41n+y
kbZSMO6DjHvtam58PM3nnJLKpj9Uo8e8woX2Vl9UIX2qpTYAuYFkpeRpWWBq
5fVN4w/pdD7teAvNOKxBFlr2tMiRtGwsE0tpnBIcIRxcmxysholWtv8FbjTs
9amSGLmrncbxW8P2XdIn9PAFZsA7Jt0T0y/zcAi32OvVG9aI/RFg11lEv+x8
aa3E3RcdbBtl+fVE1po815c1uvESreLTLyo1qd+/TshuJzkxQnZaJagHYcQI
T6R3QiDlgyN0X38p2CxWmH2KZDG2DQZrSv7GRxjesSVQje8XEA63+6zGZqB7
Y2VV2xOF729skHvFlAVYkgu4Wh/verBBkZbvEfQ8OOeQi/2NewRKV1FbegSR
KmXTLjb+Nr1r1WeCnEWcCeQOGQEgbINF1+sG/LDG+kVgnjsO+wlFArKDS0ml
l+n/xtr1MxLC6m4duVygL81NnKQJnZnlKfJgammMq/VKJqTcIC/s/zE1chzH
AoVU5dF1DNscc2NOs+iGz9d3rxsPAD8DZJpMI8ZivVCsdwQf7zCY09PGTvKs
qz5udH75ZR9q5VFclsbVLGxRCA4dOI+H7x0nMvc6d3wLpnzGVun6GKJci82p
zVwS9DlexK+O4ECHbcO4lAI2NmQB2RiKy7Sa8z23fcQWogTpheKedB2D5hBS
OJ0QGotzZz4DtmmaS4vbnDwk5YxQpQ5tA+hUD4UgbhxFfMahN9iWbj1s/KS0
H8RqC9pWDjgdMICb6OO9LO+Oyy4WB+ECj9GzMyoV4geJk9IyQjea16q5Rj4+
fxZnW2m8iaVM5Ae81TocO3VN0spWWGKiIzTP+C6446RpJJ8WKAPDVreT3gUG
DwyLvCzpwOkMuPrVDmm918Dc2T2Fd9YQ+0sqbxVXsSdhOorqsi7zCAz0lVzl
2Ad5gpd/mhc3PXFhaHWVIoezwmmHdN95gVLEQ93fN1k8FfzC1SbeWqs8OI0f
ElDm08SMjVFAgoAa3YDcEUtgGFggDZMQahmRNRCJ/6kflsgdXLVFgY7xRtl8
jGkyxOFgQUDJpim1cSSWBzL2DptYstyEO+giYmM/IYbPXngilqXdi15B4xin
c8dSIfW0HETUjmUP6EylMjnxTF35yMG0W6HBeKdvZQ19ax1P49GokEbnpURV
aCNxr0W3MGHqm4prJfkeLpxM2GmUVXNYpxhcqCV86fBgr7mmLRY1n3AfSY5D
8vqFOzsMc33fia1eNKVfeFy1y0zKOK1hJL3r5Q66yCo1iFLpGQ7gqCN3RUjW
cnOeSetWJbjMfJGOXKWowqhkgvsqZdGRcFRcNtwHYERyc1/GZUVR/bB+zgXR
T2KsQ1wk7M3G2CxUp31i1Z6bslYV/OVF649bmtkr/iryKmEIQc5deHPXtS9w
8y0kr5XWOdWALFJexlfNa2URvd5CHZfytuTKFUxcXipx+XgPo4aU1nQ1kvOz
Ke1lLkjH0nhSOLH+IZ3E5uHB64MnL442xfaC2KpRVxVHJjtYGoai0DX0O4PM
i4QrucmpdFaeJV0kZszolYBRCBb72gOkcLtIujtNeigBfyQZ0gFXEpvG2B3e
HK5WNyhlOqy4jY1nS4vPeCLJmGlWC+dFGfAJMEisHzYLYEzzO0AaWjiak+gC
4JasbrPC5pWwr3w5nUhUPMCRngtndeHtSChHy6l5lcMHSmOkch7Dk3b8gq02
zZlrX9Be36y+WKH7LqGTPKTaIiKNd4YrwBKKFOTE3UxyLPLK1iD6kK4Xl3z0
9u/Gqu5zt3rqYu3Tf1wUjZA5BTqx6FbJobtYgy8fprG14WVum3DCc6oYKFSp
58xE2EsRVUq51h1euLpHOTD2hPiVDZGyrwSn10WuOz83prdeYLuM0NQsv7BK
qPIwB5aivRrOdiZuFQmssW9ulSx9pBPAZAw09wLw98kk0Y1cGSMkoXS0l/kU
DRtUo1NIgcWrSp0KvPgmjSbGAu/6b5aeBoVDL5KUWK3IEoVlb9kGPKHH2QMt
am36AxoewJtWiCHi9Tvho0eqpV79DXMAgMrGxABdfhUYY9n7Chz149XHk6JN
GgInogLlE2FBV8QbTUKTRhbZCHizGNFIetAgKpEi+N3uhy7mFJUkxsXLVn3w
b5SVrklu+bmYq8Ysb01zOFGg0qriwkFMuXXHEF0bLGNJ568+UoSTgUiqlxTZ
nl7FKCBOTWJ0qebKuHALtgJOOJuBvQwp7zMcKUtbklhOYN1DZNMx65k218DW
4xUawKtk8DXCphN7/TVJn0RpV9F11mrj1570+r2+nz0ydlNOPMExmEuqK2K+
YnYiwjIz7QskC8rvWKQsnTMQnAgLLwrwKVVVb2J+IAwdQVAb2xyzLHdjAxFY
szPgdiMc6QHPYulgsFu1PSROqpCFv0ovDaNQs0aD8BS8bHhSKIbd1kJ2razV
ZZHPL1ibOXr6/NUh2cnzYT7h+NtvHwweu5cFUQ/E+ILXsJjDc7VZhM5aMoQN
ECA+LdZnmj1wS8kMIoYixoA1JnMIIdDkGtUR77S1qs4wogpNKjlIZ4QUxsvT
cnQS+TvSeO6w8q1mFWnY5b5irUqemd8xkK4kaxFi0DTtjimrOwWYxBuPsqwP
Z7h9jZtH9ga4eLLPqcOprAzuOO+06wrlGesRhCBamiB7CdVmk8lTpuqnJEJu
bDyZpxNXACEBqOMXPjB20YQbdrDwKVfhIBpeJsP3ZEcg4UXuWF3uJgEreo01
trZDMOsEALYTkMRufGnsSU9uh50gRVviHDNrzI05UBtQWfM2SMS5VFRxTvgg
wtoc/Pg6R4xupvoRuz0wp27LyoVuRM0taywMxKTSFzlduTF60gnWZ/QoyEEr
DZEIIz225eStZg1wqeoyI2hnTaLYIS8BctUrYEHBg8eL2zz8tTAUO2RttwiY
nbB02cTT+pmYc3QWPPgCTF2ArevLxr8Mzpr9ro91txDvvwSRWBo1XheS7Gou
n+DSaXRWZa9Yh150LSXNpu0Af7/VeqvDFyV8s8UjSvrJBEbMuBPQdXzDgr6u
G8Zi7+ZSx0wL8FnwRLepWEqaoqIf1JmO1zuP1SWYr3QszywpEtv9BN1mIpKL
8zu23rPYU3sZ+hqdgEPYuu31KLRtOgPfPISlpdAxXu6YdDUOCMEF8d67NrbF
bVFBbrqGGQcOy1WtQ7e71odGLe/xBMGLGpyoQkXC8SNYlapmLLVSLWFUVnOG
Ohqipx9qrEYykQdMVPJLNBeoC7ZML3A1ZOu2yZKhdiXWphNfFAmuxDBDJ3EU
nwxJkq4dB7btWmbgQtQ6bmye5HWf8SaW7OhEW7OtjjqtFpY1sT2oreBvsptX
rgaFtBWmpHIhrhN+lKDNmzLDyO3TdnGUrDitsdrVkQ6rhF5VKYrZyUaIh3Dg
xqojFFuXRgEKXJYs2ha4ShhN0CekZnq35RyZVQwFs8qpcTKZHZC/YF5Qytuq
edsOIcQB66bIjh3d1MUK05myncgFJOnm46gXL4RgP9q2yPlbBaLjOLXSnXWh
7rdKP2lpfI6tcAxLR+1virtCNGm8yTehZAjPHgsEuLpO2KNX+i2/XasIG8eQ
gW/XZGhPcl5SROB2nlONGKIrOGU1OSW6vdBjLwZch0J4VmnhSEwNPUIYcBN4
sfoqzjhSWtPKZjPX7JTkpfA9o/a4yHOveRmxTyjtYOZuuHdGaKshw/4puGQ4
vPp261Nz7bdYuFqylDDecuk+j5eSPY24CTIbi2LlieQcFOn4xZqn/ERNpyyK
YjJ8ZqIXgk6EbVIaCDtdD33IabJjdIVmbZ8lh9HwYJMc4rqx4/NcPFOekuL6
SRWDRjBI3ouaRaVkEdSVT4WIVhpiqJ7MVPPxMO+woT2xtW6xSBk+oEDCDDeZ
WnZwJsANS1xTWFPle9xYBz5wEzH80EgbDLg+arpMa5UbZlRNg2F4l2o7ouCf
Mm++7ODcQnxzIjVkKTaRtqnchs7RxCDBMrjOSAhr4dBK/8gCQUi1eTqNZTGR
bqlq0cyiqWXiqCal2HB3h/lbua90EhpdaWoXfemdNQeN0TXzIlBlw9zbUX6d
XRQxX+qqijHmO04x8plCXsjkfQCEciKxafDpk3bmaILz2j3FaAO4NI4c/ZAc
9lSNmwOwSRQCxcXGS8Gh/Q12KifsROepOdwJaPdwVH1XqpMvNy/EQ1BZRhJ1
gm/REq2aMEs4ixsxEDER8ercLV43SkyFq1AGBgWF1ez3ps4isb1QIo8/PAIM
RgbCOjfh6mbPHW95JmEAnUJ6t7TyJ0mAfENiw3YDG3MSTSWGhbB/glEWhb1i
u8ZP7kAijC29iArDSTE/0vvUi1aLkqs5OutNbusk0hFiaCBbdcx2NsR1ldqa
U6kJiTFOFWA2rEROBos9wNA6Q07ZvGAZy1zQgIWw/T61bDQoaa691/5ae11x
FwGWKKZ85OGTZHRhjAYOjeQ4iX99GGT5HYChEVjlhqgwoGIaU/jdRYEmWbKG
Cdm/ofKNNxIo7kIyUCvYbq4BwHzMUdANgHEFd8ry2heR8HgcIgv1eiCqngbF
hXnmGCTJ7EqKmFM+JHrQ270fbWM3MYT828w4ahs9jklGNcm52h45XGpqjaQB
HneUxhdZXmJOwEw6CGCIjujHGGmespnSFR9EGjBrShsSUccTITj065Kr7uJx
KOnV4/HlHfj5m1/OEp/1oVI/cZJkHcFkKVFfS3XqYNbC0JfotAqpX6rSEd60
2kLgpXAhr+vYWu960XNcWn2b66EenwKeJ9yhmrBB9YLI46NZbmUenI1WVKNF
DaUbpRW3fXJTLOgtvF2mAOftb5fbOdtuoU2y4VQ0Z9mqet/F/TI1ju1bpdPm
tuPBUydc5Q54YBZh8rdxDbwMuaX47xTM08xT0yU4lDfo34yDSRNVxcbjlY9z
+01ITJ85gabw54wgWYQ4Br1XK9qTqe2OIwSdPs8sYUle/QJDpIlLMgW/CWN4
Y46sJmwDQySt7RLZI/oSHP9BhojX0Fm12nJNnU5JekaRvIjdkujSExxwESX9
vBAt1trjdWejaK4Z3KaaYhwtLQlw7x71n0eOh142t+ziASfN2cTBMroXfbw3
M493uUoj5ggelNHiHEAJCxQDCAozNo05RE4a3eT1hq+qhnX4vtF0XNsahS+1
J5QmLTlYcVLkrZB/xCnW2QnUbaanJ0sYPUdQ1CoZcmBpSYcGKu7I0otA+ygT
pOlmPYb3osNIxkA9SttksTALdNtrNzyNAQEPtiDL9cwQGEPCyIEEzGbR4wY4
lMJPaQ8X22R+WDIUdDyTCIsCMEDGFnh0t63ufB3BWdCSWpucP7La46YIk/YC
k+Mw9diDJyIRDWg+RletSQNxXLhVhHWaQ/Yae5zIDZqnGdduYvO6dqdxBjQB
3d4UWz029amRRofOve5hlsSRStdPgYWxZqsELHe3Q0yq1FDfTylx4XibbCaY
+tNfmq3hRjxyFqJcLiiIiM3ohqvT/r5x2psL73a7L5KLlNxcqMVQ7jYx20y2
yUKYKWyPt8IoLE61rVjGKRhpDM82xnIX+cUmSbBiq8mu7Y9hCmDzsiQiwcIg
opwYOolASyjOx3eDNmypd7T1LlqQOuMk/ZwfYjIAwCpubEi2d+1BkUlGUuYa
0525mLnZT70sPa2Q1h1aI6X11ArrO9ZurdiPW1kFQuH2E3jsRL6sLOxkngfR
3CQJOnEXDlKfJ9SFu75OW3cXY1QoGOUiqcRE7JTudRefjrkUvWCilp9AkWmK
YWlAveHTeNQsIK2tOUDGmqTDlPY5TCYTHyVrZX6lLv/aGNuo/nu/99C7ZqbP
ly1IxwnzjSUZ23u9O4iW6RKkNlhSR9D6+Rs8NfQrAC08Fk8XckewL/bcOhqq
70nDjbxOIJ0RPNqAok5o5w56GqeSCSttVnQPujXZ+XVpcT5QdvtJpCXS09LF
LBftHQHC4rig9AFfGcEr8hazHdwnmhioIS6NnI87qYUBsvVIndyotmy+1gW4
dH6zE22drxeFtGK8kRnTV4P8ehyNmGDr9Qv5MQ1ta7HbW6GSjOrnW0bjqjvy
3ECAXe+Nxas2QQzd+QwDAi/iYjSRhCk8omsMrVxK5AKScsverXZIAdp4N263
d2fb6UWmGVG1TZut1Q2MgtQG/oZxeBsQMhSovtQSJKatQTznzBfpMTue7kmS
EtwmrDTBg6SFJ3pYGUe+xCTrPMgvSqrOhCIfRXGMPfg5yj0ZuU25e1uky4/a
aybpkQRLh/TT8oj3fs96/X9yQ7NETePKqe1yZLvGJgGa9NRPxi/t9uegRgXO
iBpyLS0XMjFU+OpFZVdbSU6dqWCi24pe4Z9wg9gDPM2vON4IKOgsGtjCl627
bpTv9/osqLvaKCoBMTKUXSOkcAFITXgU+XFpuX0uieks142hulQv4OvjH3/+
g0bDXqYXl4mNyK5vAytjEp7mzJlp886UAy5ZKCY7SZzU+7GkHMei4Dzn6Iir
IJnDPmctqZlwYNu8rT9GfbiO4h6hTgbSavZASmjNMajaxXvyp2z+fT6dbbps
sgkQnGFHT5dlZ0A9rCAxS6WgSsq6/5h8gqvRYLEW1dHeLREg66XStGnl5Cj4
OdnmsCXqAtkCI/PajIHj6irTlESFndSUw7LW6bA0UF7m88lIImGAEHJJBFsB
lAHIZ3ZNj+IVNVFHjvrgGzxk39prY+UN4VG5dSYUJCM/ecPeb1t20wZC83J5
gCrP4ahytvRgjvK/z20zR6ndaoMw5DKNpljZQvWpAJLVRQasAzW8zGWaWvhP
lhNfyTQt3Rwz3ZYVIeOXYNvkurRYhWNTU3gpQbuDWmJaUNJxRqQNgBGVs5gq
c7gNtWc5ypFc98npjzWe8I3ViHcp3iAnYjF0mV6G9vjZrMhnBdVwY0RlK+lp
osB4rWtAaygJjYV+99lbbUlSPyt6duV8uZEDmrz83GSrpgCC90kyM3bE9mhZ
Wb8mcHqpzss63MT2RVOzqd7Czid0ooZqBRV806yk1rDOK1GluEaR2NzFa0La
gXKfLjzSHXNZgVqXsxYDXU/KWnLaf6rFShXAnbqMIW0c0Qn/al4x4tpSima2
po/JFLolAckx+P0BeFKjJqM/EMuzaOJjVNRgdAZBqPnmWL9NbSuFWN1kWo1E
DcAOLP7APimMgPIKTVsLgwQdIHzYEpNM4hneMus4MuijpjO/LaLETDeaIh44
Qjj34vC9Ig7La53BeH0EE/X7Jj6SuGrEl9Z6ouW+5x4BaTml9lXS6A6lWk3t
cdrg2XI63CJvtEoDu44htn7bPFmi/dCRWhzwAVl5mpbDOdVAsuRkZD4DemKK
txI1HikeAU0jLZpjVKhnBJ9UuCajTUMaeGlIZC8ez7NRjGAnyzsfg+o3FOB1
kWOeEzsOYXEw241YJ0zFcCAPRc6HV7IFfXQVw4gXdPNqbgO2JlDIDFdwghO8
SjKClALU1M6AwfE24JYk/nCIrqTCpOj95fQQriGF2EUP36Rnh8+B+lWYTWZT
idBmzOkcXXZXaAKRRP6wJComiSIFPj10dkBiQiw1624FZS2YyYzIiZ07fmpw
g9i4OPHNbbFWoBZJF6B7Zq4xgoJSeuvDco4LtYUepyiBwPIESAQ7AEEGy4Gj
2JxxeJHz8CYTAbawUhUXN9oU5zR2N60nZOoxsumRKs7PZrgZzSyRouPWe1Nf
MmNRBCdNNKWxrLoV8XHvfu++gP3b3ftsR6xXPmpuTiz505jdr9itrhJfZYnZ
d2gANHGpTbCaEoHhgYEBAN2e5DdWXZsApnVRmCZjc5FecGtoc7/Fk8EYc4yq
/SSJr5QJkkYZvRQzxpG2c16UHdis/oOFew+lI7AUjQKiN7rhMjNsOfW6Dzgq
CZ5yjeExeOT7Rul/e8KtaXikSV1y9iQNhNYHTeByGlmHQ3TciqrcRLQjxZ7x
MId6pby+rKaDgdGTUcEAvaJAG2XsJvlWWvhXtJNwNSK3GHKgCLtt5GfDL/z+
DvWWwC1jcEiCGHJJS0lLrcxqalvroeF5hNywrUO7ywuHQ5llusDkMsQo3Iv0
6Zqzr1uaG4sEEdpKo1RpdRmuWF63/xPtk6aDP0R9sW4lasu0xarh2l2QoaV5
XdiA55xEo/5+S9eVYBOgN0Yfsh0bSSM9t20iSFVUMU0LaBMK8hzGKWFCJoRG
HObT6TxT3egVvHcJ13hj4wg1epFB0Gtbu6/CwimAEuMiyEZox8llHLdjnDEH
ySrdgpvBaERm6Q7Zk8vPhvWVU3xteXYSgwOWfH7NPEhPoNF/4VNcxKq+xC36
eAvON5mMwgMAQwEJMv1HgoXYTCfmPplJH9Lkkk2qwf41N4RtK8xxPROSFR/z
m2RIKueqV1D899iKCjStmmLNYbpPhHs+aSHgRlIcTMRNYGQxvDg1L4SRQoip
mjJMwPFQzPW0yH4nesyDKVDq5TgOxMBpAaViCueiKzw+YR30oez9U/QscPM+
IUNphhJ+it7kINBGn2CMfmR+PkX3o+ZP+FP4+CH/F8Z47H7c3w09HPoUPh7s
6hj9h+7Tj0MPhz7F5T3kMT7uR/dQMoTrIgfS1RzXKq0myfebh8Fji7ZDnZx3
NkFPBxnn+80hlvMrNj//ihDfC3wKHz+KFFqrQLzf/BQh3tcxVoH4t8Ex7j/i
MQIQV060BOIhhhWCOFLyvyWTSfevGVqhGainGjaCWiG2Euli5H/WfT8f5WUX
o8XQ1uRnGmE4mabD8P03ymOFnbdBDCuYJL1+RSGMwpDwog56u3vR9iG7dmwb
dPaFmKgXa/XVZgjWB2Z1Is/LpzmYwnK5rtmNV77DKXmWu83qHXulih+L4lFJ
lAUhhOIkTKMMBqMJB2M58m2Rdl/HQK42v+lZ4H5DwN30q2o+7N3focKCHM7i
lqAxo2ixfirzC8o74gDqDaaijDZkM8FAoxTk7AqLSnPxwf6jh1Ln0lhLdSAT
NbRVNjalQS2uzdGtXmnmAwqfRJvIZ3vuJj9+LCpGKdOxHTBPKpwQoX9LKwed
+lD0D2KHpvC2cT1SyWJ+sW6AoxrtpdE00BSvnWKGVF+SZ7Ides4qaoeg6sFz
uE3k+JmS21OjQ8dFfEFGCxYocInYmxz4IGm1BNfHjwZ7UotzqK+j1Q1l1zYz
I++wGUiHwz3G4QBO7lp8OcFx6aDY5tY8NaaNccEephsXao4xQmRaZ6i0NOs3
ASmW6iCMyTtMIFbVWweOSAHPQZ7kVoikypsChM4kZG+HE4KRMfEAJUO0+tmW
N0O7ay6dajWsVLKb7qMD2QglzuAxO3oq506roIG2fnEFiU2a1FA0zaVSxHnw
/92PuhEWFnyEZYrY7j/NuaHDDZs7CXMQTyU4MDqdT0Sg0HLbhDl6UqAASuse
ur76pw/E2IKxZm74Vi08hBM7pIQ61SrnXMabFqTCdpFPOMfYksKaxFaqoy8G
nXmoQQboxYcrkGHSo5OAQgoyTSA7zTQgQKv7qMtB/GVSE9dYbhqTOwXrSxkK
pbwoodVghA5VzQT+RTyG6uAAhmMBEByPQptIIFaS7GIMmTvPtJ6RTK6lkuFF
rrSF7C4ZXebDLnJat/wRyu21wq3a/p30HORw3NJk7OokRx+IYE+iA2mtyPTi
KZaM2j46eLpDt57qi4uQjy8dPPW1AJ64XqHIBrA9VsMTV5GlshR2ELm+OR4Y
BQWTa2mKxWxBn6MH0yqZluKLhUc47UW4ubT5Y9MS4eIWAOcdXOBksgWnOsyl
aEocHT55dUpE+YJigTmqz2yLXiNBO/TaeVkVaksZ5cM5GeIVxGyDZDDoevkM
f36Hf7MdWsMqkQa4ayQCmsZZ3OWzjeMRsrsnN17QIMxrhpYDUX+NB3/2i5Cv
3tRrNmFlTgXIWpMluVpSB5mNnk6fNiDJ0inD9exSvCW5DXiwnk3818SS3LN8
MuvFrfiwaiugzoXQ6NgrinpOCyeZVNCP+5lUGCtt1kGRGJ4L2NBd95xjFsjE
CrpPAj7qip+iH8nK6oi8TykHgRX0X/MHBfWDs7/iEi63tqLt3Q97uzuyprd0
Z6TMjIcF2FP9GIXB99pjT50t6nDk6xN4c9COJT1nTSevTo5oTbu7vKr+Lqxr
4ZoGrELLX/dphfYWG8rrYq+xnSst9NZRh9Ozty9e8Jr6uqb+3a+pdnNqScJu
8hKu6TWa22hNA13T4NdYk1MVAmfpWThZpY31JdTHRFv7kW+KymIhioYELaCn
/U0FF4fsMa0qtSzaKIClfMPdKwm4znHTPsJ6feFC83CIpyB1O51rAru3ePEc
NP5rbODg37QF+t3von0Hg+YO6BoBCiDq3morWr5q/X3cb69ZJamLcSmyaijw
BaO/2GIuYq5jdO0ECSHuxcS5Nq7hhD0/qAC3XDwtnCv+GGJ05P8wtQju8mSQ
6N7+dlDGxG3OpNlKimuGBUFaphMuAsmBx+H1KDkzNmBTo6UuzLi9MgVWasBw
AamZy3Dm3gg2lnubIyR23DpataU3uE1g6e7rX0rrrPePvHxAOW47+IBkZj2w
IFG69cL3XPUN8y8YhYyobacIbNqtk+9KooF8gEhjla0hDS8Rqs9PWsVVrKQE
PG673DGxsBZJazDqUAUnXkC5iixsB69vXNKp+T4ivewowUR50gFLLzqzb9XF
T5fQBsUAjuEEGe6Ae9guFeODl/eNDb4G9jKnMGg2CXg1fbnMk3R8KcVfTT2m
NRML98bDO3oxR9Ga8i2oCQXQC7Ts64xtWTKoaGDq09HOiYwRRuuzrdnqeaCw
sf9hf6I4Lq8uNnh16/7QW0Dj1Cy76s+pujJBzrvtz6fmu7D5d/39aPvNk6fv
Xhw8OQLkgsu1E3r3j91b/vwQmFd/LMVafc0r/7Tsd+DvF29Gc8Pw7p9uu+E/
Lt/v4Ffc7/3V9vuLnm/Qrffl+3VuJeoacUGRVN2GyiDkWgiOWx3E3kSjwPLF
NheuaXsgpYWJ4LZLY7+nu0PMocEOOAzRVpVT1qCMyBBXk+Dz7Kym5Nnc89qs
dKK96BkHMHUClLm+1+b8RP/vYBFalz+pU29OM3MzsMZpRnHSnXoBtvg6dsyj
Uj3Q08pNCmBjfb/T6n9lWo1C0L8Krf6Xp7dcVQXjE7zWfr8Vihu290WcFFKf
hhBvLRLb0CQDCp6WjCL629D/2RHb3qfGVBE8twboWxLgGncoayTYgWMYalof
zJOaTZiqSclCm3zNzo7uKC8SlcKZTKkQ03yy7g/BOGEKWL+iPC4dYOgPwIjE
gDxAqL9PbsjCI75Hx1VHGjznE9DxquvKVlsITwH8kH3S2k7kab3RrMaChBt+
aHit2z9nQZi52kEm5Eht3Tdpc9g+kJMip5wW5dVuqfcn1XSA06PDVy9fHp08
PXrq2KEwCmlMeVgUD3fCMZ0n1C9Iw+ZI33eNZVmScD6+lsmjYQBidP6ZNqi8
tPMAXM5j6R8gwaIchM41NQuALYfzYSeoCyA7jPTWFxQYZAhKeqohAm7bTBwF
Dv/iskqckMrzFPTXUXyDmRLxKP/Qi57n1wmFwYSi7XRLAgQcokj4blJdemd2
QCrq32IyIDHF7UOKHWzYtz4wnnzCq1ONSb7Xt+ndGxsYXwpUqONBtLpMmmcj
/mapn+dD2qAONpWZECjiYppnMJ4EYKh5cwqLoHwPmWaUYCA9olTPXFg1OVDk
fhGn8ngyPU+otoxp8OOkbZv+zFy/P5GUyVhNKnYf9XRcjYlIM9q/DZCNh2jN
RYdDx3axYJNlPE7Q7gA3JxXcYKsA4Mq8rKg17bUtTF3elGhNQDsSG8rPKQ8B
LuwIgyal9DUTFgF72+qc4uzrIMc4uTaBx8bf7fQalxiO1EQVIKVF47AbF0BX
YYK2DUzZYfDaMyICQlHO+YxIBxUPp3D6WTyU24NOclN6i2rBIEuXaluydVuL
IFTjojRBJ6bCJ1ZiBOaXCwSlmbKMxiXOx7Ai9KjimpHYY/IJRdhwF2Muzsl1
dGhPTn9cbcIi8MFDhAnfw3yYWx0s9M5mHjGgcUBwRxYnQ5dSkxcAGU/aw4ec
pqAavEJh4gcU7o3pZCZJ6WY6TaoiHXaVxiMNdniEJEhF5/OUG8eW+gY9pUCX
ql2wQT4dvtWYPJsUVVpLmmqMmcwu4V5i0+Cn6XicJt3nyWQyBYi5U5CANY6H
lZuXgHyeKBhm6ZVSybybfEhLamimwWsUjBxeuHF5SUIdhUCU83O4cRXGNOLR
r7i+1yRwyE3AFqr5SMK6bQSRA1rj2llpeG28trAlnde9WEoOcbAQogdnxsq6
nJWUDo12o/t1fZf5dTSdNyUrI7do8liSXaVFnpFshNfNueRedEXux3zVUlVj
Ljxn7zN1dDOUzZJX25gI1oRzkZB55RYeoqa40fHByUFdrLsngh0GojQEO61o
3yhOQuiAw5mqCTlG+kRHIKflxX70Gu54mZgkTBTiOY4qUX66+fHjfzk7evHs
8+dNK1DjEDZ9shm8y24hLVqKtAnEAqqQyJFUIqc9m8QX0ROUV065/McNbJIi
bRA63TF83cWQPFSOECTIrMr3fClB1KxtGYu1pYkpZbRZn2RTi4zcuExr89Ch
7KdHZ2+wssKRRYwy2j7MT0GBfh1jeCYSNWcgrC8+o1B/mCF6nZcs/kqYiqcH
/goRKp8AjtKmi3TWXf/LI81O6fYZKhgLr1VyQhWmnBAuN4lFFRfTTs15E8+M
wygfd/sPaFqDQPXAeH9Ng/XXBIdYrLOk/sPu4H5gTbRQuybOIaDV6EfumliE
ZYbrMWgT5Bodvjo7ivLzv2Pg4cpnV1vTQ+9LC6f768NpnKN7aQ1ADfa69/vN
NQ32Wta0d4s1peO1lnR/0L3/bQBO9wcta3pwCxxPP6y1pr3d7t6jwJr2dlvW
9PA29w7zxtda1ePugwfNNT1uWdOjtdeE1aov1lrSg4fdh/frcLJxTkTyJZPO
EH2NeTp1KkOZPLBWBhIIfRI/BiWZKeHuRA2GMo1BIkDn8NtMk6e32AGSKcvw
iTxwvr7JuMxVSrJveB32FjEInzXUibhnOf4U2dVFvlHS/WspcIHaCnjfSvGY
9eEKfFwC0BZEKdcZuw2hvRVPXzqhw5uD1Q36u70HXrizJwsctUm2aD5gqr5N
S9gJygAvMGC4caC3+akjwZsnTzktDJSKeoAEC1iBKMNGzPB2ubP4Dprg9YWX
b/VTD2MNivlOztjb02MXTer5YosQZYue2IrsOzSaYIs/R2lPzK1ge2MskQ/I
EtmlEco5HP+H/YjGxw85uYxr3OdoqdiPjo/ePMOvzjzJV2VygPW+BTU+dyr2
R0eZ3kdZI5ESTZLt9AaznbaL6vud6EWavY/ecFLYQQU34Rw1PAkCdUBm8qAs
qMT64INrQUaVXrB1l+Hcg3mmJWX9q3ErEZtOgufY91ZKnzvXa7+WV8Yvmtvj
nQFlnR+8VpbGJfIsJFsRzVW1YmKATo5GYS5qrXaZzGL1jMbMv6RG0u12qYAw
6pPa71orbzzDWCFJWQNVlFZ2qgmVWsfH9D/ocqJeF9Miu5p32cWAos+1PgAi
ELOIIGEDxvWNWQMmi7uZzuu0HdbEQFOSQGOnTBs2pGxOkwxjM2ODt1vOohSj
my5nXroFbLJcMvC2DvPp+XbcOd/ZMuUpG40gXEAQrWj6zJuUnEuVfHPGNsPw
x4HXom2zXc93u23KM+yE3hLmEf5448/aDvCkv9oLa8+AvTkw0802PV5xhp9A
lFprSSfrvoBLw6paO6u+0Pjmli/IzUKHhLzwWqrCmHYm8k3Yu/3Dp6iZ6Ltg
0jf5+wTI4u6HvXi1VQq9+rj6tnq9ZorHwhdsMuW+sUrc7QwjUjf2PXH5U9TE
x0VjAMP/qR6oYU8dUHTRy2QW2Pevln35ZPHLwe2a3wzqLhjic/DjBS8cZVSw
D+tVSpu2j/jxj0DuxjcOat7lKYUXGVm6NLjz29f8WPoHrYwVyz4m1gHI8dNg
Z+EZrzQO4MnJl46zAraEP16Zkg28F5rUKWqJLfpj1CB9cBKr0LJHw9XWeVe0
LIQk8sIyWubiw0q3xD34dlrmvuCxMiFc9YirhZtWYuUZzzbqdx8BsBBK7TO0
kCOsGImSn+7AvhAmR7888Vn/krgtk+rRKSVVe8YICVBY6MFA/6vL9gq3UqN1
7TUtecENiuAXQvcQv2kTQX6Ld7T9hRY+E8DvtRnk+ly8hvOLBnCrReukvwZK
L3nBos9g2Qt3Tfd/bRm2nQTekYB1p0Lv18KXWkjrvXF60RUlvKt+8HazgRoX
j6yJwMa/hGwDksMU0vjRw25U/c324NoWIwids0sd55mGCaKn3Gpui60i5q2v
ahFhKEmcWrPEmbtNiSJxmkuJATBUm8qKfZ3ofF5paXVkZwZawYaJcRmYATvG
tozf/8q2mkjtMs3Pf11DzZIXmhaFhS9su1b8HX6hQY9FGms3QeTnd2t0YITZ
94IUfkNWir377O3+uiLoikr6ErHCwLq72qxfTbT+3UD5VQ2URq3/lQyUvx2F
4XcD5e8GygWK4+8GSjPOb9xAWbdzLHxh+8SRVneWvPDVNFtl3m3WwMYLv5tA
V9n0v4AJNCTX/TYFu69vM/2KNqxfW8z53YblzxB+YW0bljF2dK1J43aGrNub
aKzmfwtjF4dwmTzMbq1Ye1yJlWOJsSvD6LVJVwOuvq7JSx9vsyhJTfX6pgtn
0/i6U1Mde9Vt9qRxB7czcTAUM22o7SMlP6LlMS2kcVjuVXsvnZm92DuYUScx
nUy1khPnPcW16nlyKYKtsJ2dSrjnEhvbQCqHmDq9nPgkBX5hd6/f2ur6Utdb
Uxk5ES7ifB7TxTYxNEJW6mToe42Azm+ExGFqHyZbZ7p7TJOLaqWdW+6Eu9Q4
2uvt9qPtt1ksMahu+X837y4EEMsPGsM2GgrMSnwWwZFTupS8O6TStlSJaxWA
UGEWv8+UC5PfbZ+/24C+ug3oC4LUkKj9bsX53YrjvXAXVpzd3u79aBsYk0Nl
fotC6O92IjvOv4qd6I6Uwd+NMitt+l/AKBOUSX+L1Oo/ohVn7U2s4NtaEvn2
G5BrvlI4292w3d/j374iu/iqpsCaFn3bPSx44T+M7bBmM/sSw+ESS1cZtHMt
thY+1eTGt1JfR4vNaNZjV6rTfIbdFsk0v0rSrBgPOaUScIyqcXV3H6GJsrv7
OLqnA+w+gj8/Y+fag9GI7T1aXhBXL/umhL2TvGvu2Svb8fbgKk9HtiQX5VgC
YylT7EAVZ0k+Lyc3pn+zX0nnD1TTwHXySealNDSaZ2y/mFD9NqrU115EkAd8
HmejCfWXzrTxM75nDB6RdKzA+k4jKsVHS3IKJdIwp0k3Ly7iLP0HNbnD3mNq
P2X4qAEXVlEkwxsuI0x9B7HWEz/KQ1HOaq2UIS5pUaYrN6kbMyA4v7WIx1U9
g9VpPPwWNnpwcPbjn9HiNEqxmM+0NN+ITECZ5KWpMAanCxcDq3rRg4eTuHC6
eKO5MqEyRCi0plMsPceWVHqaClSMFpRrJJpmk29pR5Pkigq4xTMukuki50NG
zkcOcj6EPz/zcSBOY/tguBO4HFvk7Phpo/yk1rwwra1LoEJVROVXqTMkrBkL
HsE7BFbGYyxpQDfTL9xGR3Xw+uDJi6NolFylQ4HWUTtoXmPFKzisSfKB+mf5
hCINBMmW1GlQzLjfqPmS58moNFUp5TebbxbJxRxOzjNJO4UVPRg/YBg/dGD8
AP4kGL+EbSNI3Oq0pmS20jzuxNZsPUtLfckFOZ0aBPi44CrAaJwyKT04PMKF
i7War6f0qbR4KPUhTCkPKZRbh9GOLoNeleaNEfX5HjWvCl0n08vvpK/2+KCz
R6Jjab5eG4TYeO20igojy4fZJE6lf4NwkTidwLWeU5XJEm7GUHdKva/0rXSY
Yi8YmOocyCznhOcTIqRMmfRCUH3FIjnP82oxfnoIsccI8cBBiD34kxCCfB/Y
bJ3NzkVCkJum1HGxxCo0tR6PsifYZyuKnJn2ObHXXMhWVQWyfw3kpErosPA+
XuUTeIbu0TRn2njJVJ63W6NHBfYYhc2OHDpWL2+baXtyU2rUlhn9L6DdMkUA
kMOWYUYtLOfWJT3V1jddoEAOP3yaVAAFWMckHQNjGFrpQTDx+GnZoFjyJhZN
OE9GtocIvLnsraPVnuW+jYW2jec2cHTb2osLU/tPw6qc/rVrswsP5+4zzu05
OHcf/vQIPfWfQvciLSfIot9yE9TNkDi2ScvZDKHhJr8sxYC42h6WORaawYkF
Wt5a/EByMW3fauLr8gxRund/TW54zO0dJSpalrJB4PSgUQwpVRywHYrNKYYP
vAZ3LGmChfxkjWogwf1brZ3EO9gaik8qx7ArGItX4cQjEAgm+fC9JwponVlr
JRgB1o9qTSapd/UNd2KW/XHtFvKZFlexri0/N38iY77JLXcwm1Xx6ypF75lU
F6X6VrzsjtPUkwpCD4MN0r11xG79mbp/GXvo1D/E8itrENEBI/R9B6EH8Odn
B0sDVbeiXSoiTU1ouY2yqccl+CVYiiZE7BI+k2K343mFFxovBfkUpa6N3wvr
+V+fPmOKS12i6SytRXJHC5dTug/wGQDD9s53pm434ObLozfPXz2NBi6uM0d1
W0eP29ln6iaXODho2u5yCdF6KXwtQt+C61xNNJ/kFzcijNgr5F2yt9KWOSB+
r3G0fT7agXO0ffjzs8dxnDWxnEAkzJJeXJvcBdq2ew3iYZGXpVc8lWqdARjO
81F4PFvMzKhCqNp8Y1gScYCWYRy7IFJ0JK9KQUvRZZRCNEbgC+WcINWBq5VZ
3PqwRZXnZM5RjUeQekvKLBy/i5HEX+zRc9tpBJ1L3lD0YdGSit6/Pv3rz+9w
Czgy/ZF8QHwi7cIhtNSC+LoAEVnwLs1AqkBwCN/nAv7CSoUEZfEUHthKsVIq
8vQtBMgWvbC1BgrtMgr1HRTahT+F3bmyCuI3Mzjmuocv3z3uiUBBYtXBjKrw
f+A7yXNaxidmXthhR0njFRcxd7RhFZaMXUOkcC7WT2XbpflMBUo7UqUtqhX9
7t+3nDu8Ji46bzpC/+pXwnl/OfpShd6DofaP5NgfBH3sf4a2Eq6Rm4y+3xwD
xJJN6QTOnoGSo0KKhDqzxdn76OPHj4eXBWjoKXYbnJb//D9l+RkLXOMXcVGi
0PoERdos04+B/Ob44fwiqfSz03gcgzIBR9N9AVT9H/r5X/LLLHpdJPN//k/4
uqpKoGz0HR4IfP/nf/5vkMABwpMYYQxfqQqSYmn1ZIT1pETenSou4n6omHKe
1SplGfUYY2MmpvmzbRpwdp2MkmyrBPKf5cJmDi6oOPiPxycnr3480JrN0WEy
qdJh9wSdBYAcWFi1jA5Pj98cnx2xGnj4b69Pj87OvuPaUDzB88HuYNc+f3b8
7Pis+xwLmm//uUBDQXxRJHSrom8fDB4+GOzQ2wenhwdPga53j/M3zSf7u30Y
dfDg253exv8P9gzyOKrVAQA=

-->

</rfc>
