<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE rfc [
  <!ENTITY nbsp    "&#160;">
  <!ENTITY zwsp   "&#8203;">
  <!ENTITY nbhy   "&#8209;">
  <!ENTITY wj     "&#8288;">
]>
<?xml-stylesheet type="text/xsl" href="rfc2629.xslt" ?>
<!-- generated by https://github.com/cabo/kramdown-rfc version 1.7.31 (Ruby 3.2.3) -->
<?rfc rfcedstyle="yes"?>
<?rfc tocindent="yes"?>
<?rfc strict="yes"?>
<?rfc comments="yes"?>
<?rfc inline="yes"?>
<?rfc text-list-symbols="-o*+"?>
<?rfc docmapping="yes"?>
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-ietf-tls-extended-key-update-10" category="std" consensus="true" submissionType="IETF" updates="9261, 8446" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.31.0 -->
  <front>
    <title abbrev="Extended Key Update for TLS">Extended Key Update for Transport Layer Security (TLS) 1.3</title>
    <seriesInfo name="Internet-Draft" value="draft-ietf-tls-extended-key-update-10"/>
    <author initials="H." surname="Tschofenig" fullname="Hannes Tschofenig">
      <organization>Siemens</organization>
      <address>
        <email>hannes.tschofenig@gmx.net</email>
      </address>
    </author>
    <author initials="M." surname="Tüxen" fullname="Michael Tüxen">
      <organization>Münster Univ. of Applied Sciences</organization>
      <address>
        <email>tuexen@fh-muenster.de</email>
      </address>
    </author>
    <author initials="T." surname="Reddy" fullname="Tirumaleswar Reddy">
      <organization>Nokia</organization>
      <address>
        <email>kondtir@gmail.com</email>
      </address>
    </author>
    <author initials="S." surname="Fries" fullname="Steffen Fries">
      <organization>Siemens</organization>
      <address>
        <email>steffen.fries@siemens.com</email>
      </address>
    </author>
    <author initials="Y." surname="Rosomakho" fullname="Yaroslav Rosomakho">
      <organization>Zscaler</organization>
      <address>
        <email>yrosomakho@zscaler.com</email>
      </address>
    </author>
    <date year="2026" month="March" day="02"/>
    <area>Security</area>
    <workgroup>Transport Layer Security</workgroup>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 77?>

<t>TLS 1.3 ensures forward secrecy by performing an ephemeral Diffie-Hellman key exchange
during the initial handshake, protecting past communications even if a party's
long-term keys (typically a private key with a corresponding certificate) are later compromised. While the built-in KeyUpdate mechanism allows
application traffic keys to be refreshed during a session, it does not incorporate
fresh entropy from a new key exchange and therefore does not provide post-compromise security.
This limitation can pose a security risk in long-lived sessions, such as
those found in industrial IoT or telecommunications environments.</t>
      <t>To address this, this specification defines an extended key update mechanism that
performs a fresh Diffie-Hellman exchange within an active session, thereby
ensuring post-compromise security. By forcing attackers
to exfiltrate new key material repeatedly, this approach mitigates the risks
associated with static key compromise. Regular renewal of session keys helps
contain the impact of such compromises. The extension is applicable to both TLS 1.3
and DTLS 1.3.</t>
    </abstract>
  </front>
  <middle>
    <?line 95?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>The Transport Layer Security (TLS) 1.3 protocol provides forward secrecy by using
an ephemeral Diffie-Hellman (DHE) key exchange during the initial handshake. This
ensures that encrypted communication remains confidential even if an attacker
later obtains a party's long-term private key, protecting against passive adversaries
who record encrypted traffic for later decryption.</t>
      <t>TLS 1.3 also includes a KeyUpdate mechanism that allows traffic keys to be refreshed
during an established session. However, this mechanism does not provide
post-compromise security, as it applies only a key derivation function to the
previous application traffic key as input. While this design is generally sufficient
for short-lived connections, it may present security limitations in scenarios where
sessions persist for extended periods, such as in industrial IoT or telecommunications
systems, where continuous availability is critical and session renegotiation or resumption
is impractical.</t>
      <t>Earlier versions of TLS supported session renegotiation, which allowed peers to negotiate
fresh keying material, including performing new Diffie-Hellman exchanges during the
session lifetime. Due to protocol complexity and known vulnerabilities, renegotiation
was first restricted by <xref target="TLS-RENEGOTIATION"/> and ultimately removed in TLS 1.3. While the
KeyUpdate message was introduced to offer limited rekeying functionality, it does
not fulfill the same cryptographic role as renegotiation and cannot refresh
the TLS main secret and consequently cannot derive new secrets from fresh DHE input.</t>
      <t>Security guidance from national agencies, such as ANSSI (France <xref target="ANSSI"/>), recommends the
periodic renewal of cryptographic keys during long-lived sessions to limit the
impact of key compromise. This approach encourages designs that force an
attacker to perform dynamic key exfiltration, as defined in <xref target="CONFIDENTIALITY"/>. Dynamic
key exfiltration refers to attack scenarios where an adversary must repeatedly
extract fresh keying material to maintain access to protected data, increasing
operational cost and risk for the attacker. In contrast, static key exfiltration,
where the TLS main secret is extracted once and reused, poses a greater long-term
threat, especially when session keys are not refreshed with fresh key exchange input
rather than key derivation.</t>
      <t>This specification defines a TLS extension that introduces an extended key update
mechanism. Unlike the standard key update, this mechanism allows peers to perform a
fresh Diffie-Hellman exchange within an active session using one of the groups
negotiated during the initial handshake. By periodically rerunning (EC)DHE, this
extension enables the derivation of new traffic keys that are independent of
prior key material. As noted in <xref section="F" sectionFormat="of" target="TLS"/>, this
approach mitigates the risk of static key exfiltration and shifts the attacker
burden toward dynamic key exfiltration.</t>
      <t>The proposed extension is applicable to both TLS 1.3 <xref target="TLS"/> and DTLS 1.3  <xref target="DTLS"/>. For clarity,
the term "TLS" is used throughout this document to refer to both protocols unless
otherwise specified.</t>
    </section>
    <section anchor="term">
      <name>Terminology and Requirements Language</name>
      <t>The key words "<bcp14>MUST</bcp14>", "<bcp14>MUST NOT</bcp14>", "<bcp14>REQUIRED</bcp14>", "<bcp14>SHALL</bcp14>", "<bcp14>SHALL
NOT</bcp14>", "<bcp14>SHOULD</bcp14>", "<bcp14>SHOULD NOT</bcp14>", "<bcp14>RECOMMENDED</bcp14>", "<bcp14>NOT RECOMMENDED</bcp14>",
"<bcp14>MAY</bcp14>", and "<bcp14>OPTIONAL</bcp14>" in this document are to be interpreted as
described in BCP 14 <xref target="RFC2119"/> <xref target="RFC8174"/> when, and only when, they
appear in all capitals, as shown here.</t>
      <?line -18?>

<t>To distinguish the key update procedure defined in <xref target="TLS"/>
from the key update procedure specified in this document, we use the terms
"standard key update" and "extended key update", respectively.</t>
      <t>In this document, we use the term post-compromise security, as defined in
<xref target="CCG16"/>. We assume that an adversary may obtain
access to the application traffic keys.</t>
      <t>Unless otherwise specified, all references to traffic keys in this document
refer to application traffic keys and because the Extended Key Update procedure
occurs after the handshake phase has completed, no handshake traffic keys
are involved.</t>
      <t>In this document, send key refers to the [sender]_write_key, and receive key
refers to the [receiver]_write_key. These keys are derived from the active
client_application_traffic_secret_N and server_application_traffic_secret_N,
as defined in (D)TLS 1.3 <xref target="TLS"/>, and are replaced with new ones
after each successful Extended Key Update.</t>
    </section>
    <section anchor="negotiating-the-extended-key-update">
      <name>Negotiating the Extended Key Update</name>
      <t>Client and servers use the TLS flags extension
<xref target="TLS-FLAGS"/> to indicate support for the functionality
defined in this document.  We call this flag "Extended_Key_Update"
flag.</t>
      <t>The "Extended_Key_Update" flag proposed by the client in the
ClientHello (CH) <bcp14>MUST</bcp14> be acknowledged in the EncryptedExtensions
(EE), if the server also supports the functionality defined in this
document and is configured to use it.</t>
      <t>If the "Extended_Key_Update" flag is not set, servers ignore any of the
functionality specified in this document and applications that
require post-compromise security will have to initiate a full
handshake.</t>
    </section>
    <section anchor="ext-key-update">
      <name>Extended Key Update Messages</name>
      <t>If the client and server agree to use the extended key update mechanism,
the standard key update <bcp14>MUST NOT</bcp14> be used. In this case, the extended key
update fully replaces the standard key update functionality.</t>
      <t>Implementations that receive a classic <tt>KeyUpdate</tt> message after
successfully negotiating the Extended Key Update functionality <bcp14>MUST</bcp14>
terminate the connection with an <tt>"unexpected_message"</tt> alert.</t>
      <t>The extended key update messages are signaled in a new handshake message named
<tt>ExtendedKeyUpdate</tt> (EKU), with an internal uint8 message subtype indicating its role.
This specification defines three ExtendedKeyUpdate message subtypes:</t>
      <ul spacing="normal">
        <li>
          <t><tt>key_update_request</tt> (0)</t>
        </li>
        <li>
          <t><tt>key_update_response</tt> (1)</t>
        </li>
        <li>
          <t><tt>new_key_update</tt> (2)</t>
        </li>
      </ul>
      <t>New ExtendedKeyUpdate message subtypes are assigned by IANA as described in <xref target="iana-eku-registry"/>.</t>
      <t>A TLS peer which receives a ExtendedKeyUpdate with an unexpected message subtype <bcp14>MUST</bcp14>
abort the connection with an <tt>"unexpected_message"</tt> alert.</t>
      <t>The extended key update process can be initiated by either peer after it has
sent a <tt>Finished</tt> message. Implementations that receive an <tt>ExtendedKeyUpdate</tt>
message prior to the sender having sent <tt>Finished</tt> <bcp14>MUST</bcp14> terminate the connection with
an <tt>"unexpected_message"</tt> alert.</t>
      <t>The <tt>KeyShareEntry</tt> carried in a <tt>key_update_request</tt> and in
a <tt>key_update_response</tt> <bcp14>MUST</bcp14> use the group that was negotiated by the client
and server during the initial handshake. An implementation that receives an
algorithm other than previously negotiated <bcp14>MUST</bcp14> terminate the connection
with an <tt>"illegal_parameter"</tt> alert.</t>
      <t><xref target="fig-key-update"/> shows the interaction graphically. First, support
for the functionality in this specification is negotiated in the
<tt>ClientHello</tt> and the <tt>EncryptedExtensions</tt> messages. Then, the
<tt>ExtendedKeyUpdate</tt> exchange is sent to update the application traffic
secrets.</t>
      <t>The extended key update exchange is performed between the initiator
and the responder; either the TLS client or the TLS server may act
as initiator.</t>
      <figure anchor="fig-key-update">
        <name>Extended Key Update Message Exchange in TLS 1.3.</name>
        <artwork><![CDATA[
       Client                                           Server

Key  ^ ClientHello
Exch | + key_share
     | + signature_algorithms
     v + extended_key_update   -------->
                                                  ServerHello  ^ Key
                                                  + key_share  | Exch
                                                               v
                                        {EncryptedExtensions   ^ Server
                                       + extended_key_update}  | Params
                                         {CertificateRequest}  v
                                                {Certificate}  ^
                                          {CertificateVerify}  | Auth
                                                   {Finished}  v
                               <--------
     ^ {Certificate}
Auth | {CertificateVerify}
     v {Finished}              -------->
       [Application Data]N     <------->  [Application Data]N
                                  ...
  [EKU(key_update_request)]N   -------->
                               <--------  [EKU(key_update_response)]N
      [EKU(new_key_update)]N   -------->
                                  ...
       [Application Data]N+1   <------->  [Application Data]N+1

Legend:

    +   Indicates noteworthy extensions sent in the
    previously noted message.

    -   Indicates optional or situation-dependent
    messages/extensions that are not always sent.

    () Indicates messages protected using keys
    derived from a client_early_traffic_secret.

    {} Indicates messages protected using keys
    derived from a [sender]_handshake_traffic_secret.

    []N Indicates messages protected using keys
    derived from [sender]_application_traffic_secret_N.
]]></artwork>
      </figure>
      <t>The <tt>ExtendedKeyUpdate</tt> wire format is:</t>
      <artwork><![CDATA[
enum {
   key_update_request(0),
   key_update_response(1),
   new_key_update(2),
   (255)
} ExtendedKeyUpdateType;

struct {
   ExtendedKeyUpdateType eku_type;
   select (eku_type) {
      case key_update_request: {
          KeyShareEntry key_share;
      }
      case key_update_response: {
          KeyShareEntry key_share;
      }
      case new_key_update: {
          /* empty */
      }
   };
} ExtendedKeyUpdate;
]]></artwork>
      <t>Fields:</t>
      <ul spacing="normal">
        <li>
          <t><tt>eku_type</tt>: the subtype of the <tt>ExtendedKeyUpdate</tt> message.</t>
        </li>
        <li>
          <t><tt>key_share</tt>: key share information. The contents of this field is
determined by the specified group and its corresponding definition
(see <xref section="4.2.8" sectionFormat="of" target="TLS"/>).</t>
        </li>
      </ul>
    </section>
    <section anchor="TLSC">
      <name>TLS 1.3 Considerations</name>
      <t>The following steps are taken by a TLS 1.3 implementation; the steps
executed with DTLS 1.3 differ slightly.</t>
      <ol spacing="normal" type="1"><li>
          <t>The initiator sends <tt>ExtendedKeyUpdate(key_update_request)</tt> carrying a
<tt>KeyShareEntry</tt>. While an extended key update is in progress, the
initiator <bcp14>MUST NOT</bcp14> initiate another key update.</t>
        </li>
        <li>
          <t>Upon receipt, the responder sends its own <tt>KeyShareEntry</tt> in a
<tt>ExtendedKeyUpdate(key_update_response)</tt> message. While an extended
key update is in progress, the responder <bcp14>MUST NOT</bcp14> initiate another
key update. The responder <bcp14>MAY</bcp14> defer sending a response if system load or resource
constraints prevent immediate processing. In such cases, the response <bcp14>MUST</bcp14>
be sent once sufficient resources become available.</t>
        </li>
        <li>
          <t>After the responder sends <tt>ExtendedKeyUpdate(key_update_response)</tt> it
<bcp14>MUST</bcp14> update its send keys.</t>
        </li>
        <li>
          <t>Upon receipt of an <tt>ExtendedKeyUpdate(key_update_response)</tt> the initiator
derives the new secrets from the exchanged key shares. The initiator then updates
its receive keys and sends an empty ExtendedKeyUpdate(new_key_update) message to
complete the process. The initiator <bcp14>MUST NOT</bcp14> defer derivation of the secrets and
sending the ExtendedKeyUpdate(new_key_update) message as it would stall the
communication.</t>
        </li>
        <li>
          <t>After sending <tt>ExtendedKeyUpdate(new_key_update)</tt> initiator <bcp14>MUST</bcp14> update its
send keys.</t>
        </li>
        <li>
          <t>After receiving the initiator’s <tt>ExtendedKeyUpdate(new_key_update)</tt>,
the responder <bcp14>MUST</bcp14> update its receive keys.</t>
        </li>
      </ol>
      <t>Both initiator and responder <bcp14>MUST</bcp14> encrypt their <tt>ExtendedKeyUpdate</tt> messages
with the old keys. Responder <bcp14>MUST</bcp14> ensure that the <tt>ExtendedKeyUpdate(new_key_update)</tt>
encrypted with the old key is received before accepting any messages encrypted with
the new key.</t>
      <t>If TLS peers independently initiate the extended key update and the
requests cross in flight, the <tt>ExtendedKeyUpdate(key_update_request)</tt> with the
lower lexicographic order of the <tt>key_exchange</tt> value in
<tt>KeyShareEntry</tt> <bcp14>MUST</bcp14> be ignored. This prevents each
side from advancing keys by two generations. If the tie-break comparison yields
equality (an event that should be impossible for genuine
asymmetric key pairs), the endpoint <bcp14>MUST</bcp14> treat this as a protocol violation,
send an "unexpected_message" alert, and close the connection.</t>
      <t>The handshake framing uses a single <tt>HandshakeType</tt> for this message
(see <xref target="fig-handshake"/>).</t>
      <figure anchor="fig-handshake">
        <name>TLS 1.3 Handshake Structure.</name>
        <artwork><![CDATA[
      struct {
          HandshakeType msg_type;    /* handshake type */
          uint24 length;             /* bytes in message */
          select (Handshake.msg_type) {
              case client_hello:          ClientHello;
              case server_hello:          ServerHello;
              case end_of_early_data:     EndOfEarlyData;
              case encrypted_extensions:  EncryptedExtensions;
              case certificate_request:   CertificateRequest;
              case certificate:           Certificate;
              case certificate_verify:    CertificateVerify;
              case finished:              Finished;
              case new_session_ticket:    NewSessionTicket;
              case key_update:            KeyUpdate;
              case extended_key_update:   ExtendedKeyUpdate;
          };
      } Handshake;
]]></artwork>
      </figure>
      <section anchor="tls-13-extended-key-update-example">
        <name>TLS 1.3 Extended Key Update Example</name>
        <t>While <xref target="fig-key-update"/> shows the high-level interaction between a
TLS 1.3 client and server, this section shows an example message exchange
with information about the updated keys added.</t>
        <t>There are two phases:</t>
        <ol spacing="normal" type="1"><li>
            <t>The support for the functionality in this specification
is negotiated in the ClientHello and the EncryptedExtensions
messages.</t>
          </li>
          <li>
            <t>Once the initial handshake is completed, a key update can be
triggered.</t>
          </li>
        </ol>
        <t><xref target="fig-key-update2"/> provides an overview of the exchange starting
with the initial negotiation followed by the key update.</t>
        <figure anchor="fig-key-update2">
          <name>Extended Key Update Example.</name>
          <artwork><![CDATA[
       Client                                           Server

Key  ^ ClientHello
Exch | + key_share
     | + signature_algorithms
     v + extended_key_update
                             -------->
                                                  ServerHello  ^ Key
                                                  + key_share  | Exch
                                                               v
                                        {EncryptedExtensions   ^ Server
                                       + extended_key_update}  | Params
                                         {CertificateRequest}  v
                                                {Certificate}  ^
                                          {CertificateVerify}  | Auth
                                                   {Finished}  v
                               <--------
     ^ {Certificate}
Auth | {CertificateVerify}
     v {Finished}              -------->
                                  ...
                              some time later
                                  ...
 [EKU(key_update_request       -------->
       (with key_share))]
                               <-------- [EKU(key_update_response
                                           (with key_share))]
                                        # Server derives new secrets
                                        # and updates SEND keys here
# Client derives new secrets
# and updates RECEIVE keys here
        [EKU(new_key_update)]  -------->
# Client updates SEND keys here
                                    # Server updates RECEIVE keys here
]]></artwork>
        </figure>
      </section>
    </section>
    <section anchor="DTLSC">
      <name>DTLS 1.3 Considerations</name>
      <t>Unlike TLS 1.3, DTLS 1.3 implementations must take into account that handshake
messages are not transmitted over a reliable transport protocol.</t>
      <t>EKU messages <bcp14>MUST</bcp14> be transmitted reliably, like other DTLS handshake messages. If necessary, EKU messages <bcp14>MAY</bcp14> be fragmented as described in <xref section="5.5" sectionFormat="of" target="DTLS"/>.
Due to the possibility of an <tt>ExtendedKeyUpdate</tt> messages being
lost and thereby preventing the sender of that message from updating its keying
material, receivers <bcp14>MUST</bcp14> retain the pre-update keying material until receipt
and successful decryption of a message using the new keys.</t>
      <t>Due to packet loss and/or reordering, DTLS 1.3 peers <bcp14>MAY</bcp14> receive records from an
earlier epoch. If the necessary keys are available, implementations <bcp14>SHOULD</bcp14> attempt
to process such records; however, they <bcp14>MAY</bcp14> choose to discard them. The exchange
has the following steps:</t>
      <ol spacing="normal" type="1"><li>
          <t>The initiator sends an <tt>ExtendedKeyUpdate(key_update_request)</tt> message, which contains a
key share. While an extended key update is in progress, the initiator <bcp14>MUST NOT</bcp14>
initiate further key updates. This message is subject to DTLS handshake
retransmission, but delivery is only confirmed when the initiator either receives the
corresponding <tt>ExtendedKeyUpdate(key_update_response)</tt> or an ACK.</t>
        </li>
        <li>
          <t>Upon receipt, the responder sends its own <tt>KeyShareEntry</tt> in a
<tt>ExtendedKeyUpdate(key_update_response)</tt> message. While an extended key update
is in progress, the responder <bcp14>MUST NOT</bcp14> initiate further key updates. The responder <bcp14>MAY</bcp14> defer
sending a response if system load or resource constraints prevent immediate processing.
In such cases, the responder <bcp14>MUST</bcp14> acknowledge receipt of the key_update_request with an ACK and, once
sufficient resources become available, retransmit the key_update_response until it is acknowledged by the
initiator. key_update_response and ACK message <bcp14>MAY</bcp14> be received out of order; a late ACK <bcp14>MUST</bcp14> be ignored and <bcp14>MUST NOT</bcp14> affect the extended key update state machine.</t>
        </li>
        <li>
          <t>On receipt of <tt>ExtendedKeyUpdate(key_update_response)</tt> the initiator derives a secret key based on the
exchanged key shares. This message also serves as an implicit acknowledgment of the
initiator's <tt>ExtendedKeyUpdate(key_update_request)</tt>, so no separate ACK is required. The initiator <bcp14>MUST</bcp14>
update its receive keys and epoch value. The initiator <bcp14>MUST NOT</bcp14> defer derivation of the secrets.</t>
        </li>
        <li>
          <t>The initiator transmits an <tt>ExtendedKeyUpdate(new_key_update)</tt> message. This message is subject to DTLS
retransmission until acknowledged.</t>
        </li>
        <li>
          <t>The responder <bcp14>MUST</bcp14> acknowledge the received message by sending an ACK message.</t>
        </li>
        <li>
          <t>After the responder receives the initiator's <tt>ExtendedKeyUpdate(new_key_update)</tt>,
the responder <bcp14>MUST</bcp14> update its send key and epoch value. With the receipt of
that message, the responder <bcp14>MUST</bcp14> also update its receive keys.</t>
        </li>
        <li>
          <t>On receipt of the ACK message, the initiator updates its send key and epoch
value. If this ACK is not received, the initiator re-transmits its
<tt>ExtendedKeyUpdate(new_key_update)</tt> until ACK is received. The key update is
complete once this ACK is processed by the initiator.</t>
        </li>
      </ol>
      <t>The handshake framing uses a single <tt>HandshakeType</tt> for this message
(see <xref target="fig-dtls-handshake"/>).</t>
      <figure anchor="fig-dtls-handshake">
        <name>DTLS 1.3 Handshake Structure.</name>
        <artwork><![CDATA[
       enum {
           client_hello(1),
           server_hello(2),
           new_session_ticket(4),
           end_of_early_data(5),
           encrypted_extensions(8),
           request_connection_id(9),
           new_connection_id(10),
           certificate(11),
           certificate_request(13),
           certificate_verify(15),
           finished(20),
           key_update(24),
           extended_key_update(TBD),  /* new */
           message_hash(254),
           (255)
       } HandshakeType;

       struct {
           HandshakeType msg_type;    /* handshake type */
           uint24 length;             /* bytes in message */
           uint16 message_seq;        /* DTLS-required field */
           uint24 fragment_offset;    /* DTLS-required field */
           uint24 fragment_length;    /* DTLS-required field */
           select (msg_type) {
               case client_hello:          ClientHello;
               case server_hello:          ServerHello;
               case end_of_early_data:     EndOfEarlyData;
               case encrypted_extensions:  EncryptedExtensions;
               case certificate_request:   CertificateRequest;
               case certificate:           Certificate;
               case certificate_verify:    CertificateVerify;
               case finished:              Finished;
               case new_session_ticket:    NewSessionTicket;
               case key_update:            KeyUpdate;
               case extended_key_update:   ExtendedKeyUpdate;
               case request_connection_id: RequestConnectionId;
               case new_connection_id:     NewConnectionId;
           } body;
       } DTLSHandshake;
]]></artwork>
      </figure>
      <section anchor="dtls-13-extended-key-update-example">
        <name>DTLS 1.3 Extended Key Update Example</name>
        <t>The following example illustrates a successful extended key update,
including how the epochs change during the exchange.</t>
        <figure anchor="dtls-key-update">
          <name>Example DTLS 1.3 Extended Key Update: Message Exchange.</name>
          <artwork><![CDATA[
Client                            Server
(Initiator)                       (Responder)

  /---------------------------------------\
 |           Initial Handshake             |
  \---------------------------------------/

[C: tx=3, rx=3]                   [S: tx=3, rx=3]
[Application Data]               -------->
[C: tx=3, rx=3]                   [S: tx=3, rx=3]

[C: tx=3, rx=3]                   [S: tx=3, rx=3]
                                  <--------   [Application Data]
[C: tx=3, rx=3]                   [S: tx=3, rx=3]

  /---------------------------------------\
 |           Some time later ...           |
  \---------------------------------------/

[C: tx=3, rx=3]                   [S: tx=3, rx=3]
[EKU(key_update_request)]  -------->
                                  # no epoch change yet

                           <-------- [EKU(key_update_response)]
# Sent under OLD epoch. Server does NOT bump yet.

# Step 3: initiator bumps RECEIVE epoch on
# receiving key update response-in:
# (rx:=rx+1; tx still old)
[C: tx=3, rx=4]                   [S: tx=3, rx=3]

[EKU(new_key_update)]      -------->
# Sender's NKU is tagged with OLD tx (3).

# Epoch switch point:
# Step 6: responder bumps BOTH tx and rx on NKU-in:
[C: tx=3, rx=4]                   [S: tx=4, rx=4]

                           <-------- [ACK] (tag=new)

# Step 7: initiator bumps SEND epoch on ACK-in:
[C: tx=4, rx=4]                   [S: tx=4, rx=4]

[Application Data]         -------->
[C: tx=4, rx=4]                   [S: tx=4, rx=4]

                           <--------   [Application Data]
[C: tx=4, rx=4]                   [S: tx=4, rx=4]
]]></artwork>
        </figure>
        <t><xref target="dtls-table"/> shows the steps, the message in flight, and the epoch changes on both sides.
The A/B -&gt; X/Y notation indicates the change of epoch values for tx/rx before and after
the message transmission.</t>
        <figure anchor="dtls-table">
          <name>Example DTLS 1.3 Extended Key Update: Epoch Changes.</name>
          <artwork><![CDATA[
+--------------------+----------------+--------------+
| Message            | Client tx/rx   | Server tx/rx |
+--------------------+----------------+--------------+
| APP ------------>  | 3/3 -> 3/3     | 3/3 -> 3/3   |
| <------------ APP  | 3/3 -> 3/3     | 3/3 -> 3/3   |
| req -------------> | 3/3 -> 3/3     | 3/3 -> 3/3   |
| <------------ resp | 3/3 -> 3/4     | 3/3 -> 3/3   | <- step 3
| NKU  ------------> | 3/4 -> 3/4     | 3/3 -> 4/4   | <- step 6
| <------------- ACK | 3/4 -> 4/4     | 4/4 -> 4/4   | <- step 7
| APP -------------> | 4/4 -> 4/4     | 4/4 -> 4/4   |
| <------------- APP | 4/4 -> 4/4     | 4/4 -> 4/4   |
+--------------------+----------------+--------------+
]]></artwork>
        </figure>
      </section>
    </section>
    <section anchor="key_update">
      <name>Updating Traffic Keys</name>
      <t>When the extended key update message exchange is completed both peers
have successfully updated their application traffic keys. The
key derivation function described in this document is used to perform
this update.</t>
      <t>The design of the key derivation function for computing the next
generation of application_traffic_secret is motivated by the desire
to include</t>
      <ul spacing="normal">
        <li>
          <t>a secret derived from the (EC)DHE exchange (or from the hybrid
key exchange / PQ-KEM exchange),</t>
        </li>
        <li>
          <t>a secret that allows the new key exchange to be cryptographically
bound to the previously established secret,</t>
        </li>
        <li>
          <t>a transcript hash that is updated after each Extended Key Update exchange
by hashing together the previous transcript hash value and the current
ExtendedKeyUpdate(key_update_request) and ExtendedKeyUpdate(key_update_response)
messages, which contain the key shares, thereby binding the encapsulated shared
secret ciphertext to the IKM in the case of PQ/T hybrid or PQC key exchange and
cryptographically binding the newly derived secrets to the prior handshake
transcript and all preceding EKU exchanges, as well as to the current EKU
exchange, and</t>
        </li>
        <li>
          <t>new label strings to distinguish it from the key derivation used in
TLS 1.3.</t>
        </li>
      </ul>
      <t>The transcript_hash_N denotes the transcript hash value associated with
generation N. During each Extended Key Update exchange, the transcript
hash value for the next generation is computed as follows:</t>
      <artwork><![CDATA[
 transcript_hash_N+1 = Transcript-Hash(transcript_hash_N ||
                                       EKU(key_update_request) ||
                                       EKU(key_update_response))
]]></artwork>
      <t>Once transcript_hash_N+1 has been computed, transcript_hash_N can be deleted.
No prior transcript hash values need to be retained for future EKU exchanges.
transcript_hash_0 denotes the transcript hash of the initial TLS handshake,
covering all messages from the ClientHello up to and including the
client Finished message.</t>
      <t>The following diagram shows the key derivation hierarchy.</t>
      <artwork><![CDATA[

       Main Secret N
             |
             v
       Derive-Secret(., "derived", "")
             |
             v
 (EC)DHE -> HKDF-Extract = Main Secret N+1
             |
             +-----> Derive-Secret(., "c ap traffic",
             |                     transcript_hash_N+1)
             |                = client_application_traffic_secret_N+1
             |
             +-----> Derive-Secret(., "s ap traffic",
             |                     transcript_hash_N+1)
             |                = server_application_traffic_secret_N+1
             |
             +-----> Derive-Secret(., "exp master",
             |                     transcript_hash_N+1)
             |                = exporter_secret_N+1
             |
             +-----> Derive-Secret(., "res master",
             |                     transcript_hash_N+1)
                              = resumption_main_secret_N+1
]]></artwork>
      <t>During the initial handshake, the Main Secret is generated (see
<xref section="7.1" sectionFormat="of" target="TLS"/>). Since the Main Secret
is discarded during the key derivation procedure, a derived value is
stored. This stored value then serves as the input salt to the first
key update procedure that incorporates the ephemeral (EC)DHE-
established value as input keying material (IKM) to produce
main_secret_{N+1}. The derived value from this new master secret
serves as input salt to the subsequent key update procedure, which
also incorporates a fresh ephemeral (EC)DHE value as IKM. This
process is repeated for each additional key update procedure.</t>
      <t>The traffic keys are re-derived from
client_application_traffic_secret_N+1 and
server_application_traffic_secret_N+1, as described in
<xref section="7.3" sectionFormat="of" target="TLS"/>.</t>
      <t>Once client_/server_application_traffic_secret_N+1 and its associated
traffic keys have been computed, implementations <bcp14>SHOULD</bcp14> delete
client_/server_application_traffic_secret_N and its associated
traffic keys as soon as possible. Note: The
client_/server_application_traffic_secret_N and its associated
traffic keys can only be deleted by the responder after receiving the
<tt>ExtendedKeyUpdate(new_key_update)</tt> message.</t>
      <t>Once client_/server_application_traffic_secret_N+1 and the corresponding traffic
keys are in use, all subsequent records, including alerts and post-handshake
messages <bcp14>MUST</bcp14> be protected using those keys.</t>
      <t>When using this extension, it is important to consider its interaction with
PSK-based resumption using PSKs established via the NewSessionTicket mechanism
defined in <xref target="TLS"/>.</t>
      <t>Extended Key Update provides post-compromise recovery for the connection in which
it is performed. The recovery guarantees of this mechanism depend on the assumed
compromise model. In a compromise model where exposure of endpoint memory reveals PSKs,
established via the NewSessionTicket mechanism, those PSKs are sufficient to establish
new authenticated TLS connections. Even if an implementation invalidates previously
issued PSKs upon completion of the EKU exchange, an attacker who has obtained such
a PSK may initiate and complete a resumed session prior to that invalidation. In such
a model, Extended Key Update does not prevent use of previously issued PSKs.</t>
      <t>Accordingly, endpoints that enable EKU and operate under a compromise model in which
endpoint memory exposure reveals PSKs <bcp14>MUST</bcp14> disable resumption.</t>
      <t>In deployment models where PSKs are protected using secure storage or isolation mechanisms
that prevent their exposure under the assumed compromise model, resumption may remain
compatible with the intended recovery guarantees of Extended Key Update. To prevent rollback
of the recovering connection to pre-update keying material, an endpoint <bcp14>MUST</bcp14> invalidate
all PSKs established under the previous application traffic secrets immediately after
installing the updated application traffic secrets derived from the EKU key schedule.</t>
    </section>
    <section anchor="post-quantum-cryptography-considerations">
      <name>Post-Quantum Cryptography Considerations</name>
      <t>Hybrid key exchange refers to the simultaneous use of multiple key
exchange algorithms, with the resulting shared secret derived by
combining the outputs of each. The goal of this approach is to maintain
security even if all but one of the component algorithms are later found
to be vulnerable.</t>
      <t>The transition to post-quantum cryptography has motivated the adoption of
hybrid key exchanges in TLS, as described in
<xref target="TLS-HYBRID"/>. Specific hybrid groups
have been registered in <xref target="TLS-ECDHE-MLKEM"/>.
When hybrid key exchange is used, the <tt>key_exchange</tt> field of each
<tt>KeyShareEntry</tt> in the initial handshake is formed by concatenating
the <tt>key_exchange</tt> fields of the constituent algorithms. This same
approach is reused during the Extended Key Update, when new key
shares are exchanged.</t>
      <t>The specification in <xref target="TLS-MLKEM"/> registers the lattice-based
ML-KEM algorithm and its variants, such as ML-KEM-512, ML-KEM-768 and
ML-KEM-1024. The KEM encapsulation key or KEM ciphertext is represented
as a 'KeyShareEntry' field. This same approach is reused during the
Extended Key Update, when new key shares are exchanged.</t>
    </section>
    <section anchor="sslkeylogfile-update">
      <name>SSLKEYLOGFILE Update</name>
      <t>As a successful extended key update exchange invalidates previous secrets,
SSLKEYLOGFILE <xref target="TLS-KEYLOGFILE"/> needs to be populated with new
entries. As a result, two additional secret labels are utilized in the
SSLKEYLOGFILE:</t>
      <ol spacing="normal" type="1"><li>
          <t><tt>CLIENT_TRAFFIC_SECRET_N+1</tt>: identifies the
client_application_traffic_secret_N+1 in the key schedule</t>
        </li>
        <li>
          <t><tt>SERVER_TRAFFIC_SECRET_N+1</tt>: identifies the
server_application_traffic_secret_N+1 in the key schedule</t>
        </li>
        <li>
          <t><tt>EXPORTER_SECRET_N+1</tt>: identifies the
exporter_secret_N+1 in the key schedule</t>
        </li>
      </ol>
      <t>Similar to other entries in the SSLKEYLOGFILE, the label is followed by the
32-byte value of the Random field from the ClientHello message that
established the TLS connection, and the corresponding secret encoded in
hexadecimal.</t>
      <t>SSLKEYLOGFILE entries for the extended key update <bcp14>MUST NOT</bcp14> be produced if
SSLKEYLOGFILE was not used for other secrets in the handshake.</t>
      <t>Note that each successful Extended Key Update invalidates all previous
SSLKEYLOGFILE secrets including past iterations of <tt>CLIENT_TRAFFIC_SECRET_</tt>,
<tt>SERVER_TRAFFIC_SECRET_</tt> and <tt>EXPORTER_SECRET_</tt>.</t>
    </section>
    <section anchor="exporter">
      <name>Exporter</name>
      <section anchor="post-compromise-security-for-the-initial-exporter-secret">
        <name>Post-Compromise Security for the Initial Exporter Secret</name>
        <t>The TLS 1.3 Key Schedule, see Figure 5 of <xref target="TLS"/>, derives the exporter_secret from the main secret. This
exporter_secret is static for the lifetime of the connection and is not updated by a standard key update.</t>
        <t>A core design goal of this specification is not met if the exporter_secret does not change.
Therefore, this document defines an exporter interface that derives a fresh exporter secret
whenever new application traffic keys are updated through the EKU.</t>
        <t>If the initial exporter secret for this new interface were identical to exporter_secret,
then compromising exporter_secret at any point during the lifetime of the connection
would enable an attacker to recompute all exporter outputs derived from it.
This would break post-compromise security for exported keying material.</t>
        <t>Therefore, the initial exporter secret used by the exporter interface defined in
this document, i.e., the exporter output available prior to the first Extended
Key Update, <bcp14>MUST</bcp14> be distinct from the exporter_secret. This separation
ensures that compromise of the TLS exporter interface does not compromise outputs
derived from the exporter interface defined in this document.</t>
        <t>Prior to the first Extended Key Update, the exporter interface provides an
initial exporter secret, denoted exporter_secret_0. This secret is derived
from the TLS main secret and the handshake transcript, but is cryptographically
independent of the TLS exporter_secret. It is computed as follows:</t>
        <artwork><![CDATA[
exporter_secret_0 =
Derive-Secret(Main Secret,
"exporter eku",
Transcript-Hash(ClientHello..server Finished))
]]></artwork>
        <t>Applications that require post-compromise security <bcp14>MUST</bcp14> use the exporter
interface defined in this document. This exporter interface is independent of
the TLS exporter defined in <xref section="7.5" sectionFormat="of" target="TLS"/>, which continues to use a
static <tt>exporter_secret</tt> for the lifetime of the connection for compatiblity with "legacy" applications.</t>
      </section>
      <section anchor="exporter-usage-after-extended-key-update">
        <name>Exporter Usage After Extended Key Update</name>
        <t>Protocols such as DTLS-SRTP and DTLS-over-SCTP rely on TLS or DTLS for
key establishment, but reuse portions of the derived keying material for
their own specific purposes. These protocols use the TLS exporter defined
in <xref section="7.5" sectionFormat="of" target="TLS"/>. Exporters are also used for deriving
authentication related values such as nonces, as described in <xref target="RFC9729"/>.</t>
        <t>Once the Extended Key Update mechanism is complete, such protocols would
need to use the newly derived exporter secret to generate Exported Keying Material
(EKM) to protect packets. The "sk" derived in the <xref target="key_update"/> will be
used as the "Secret" in the exporter function, defined in
<xref section="7.5" sectionFormat="of" target="TLS"/>, to generate EKM, ensuring that
the exported keying material is aligned with the updated security context.
The newly derived exporter secret is cryptographically independent of
previous exporter secrets.</t>
        <t>When a new exporter secret becomes active following a successful Extended
Key Update, the TLS or DTLS implementation would have to provide an
asynchronous notification to the application indicating that:</t>
        <ul spacing="normal">
          <li>
            <t>A new epoch has become active, and the (D)TLS implementation can
include the corresponding epoch identifier. Applications receiving an
epoch identifier can use it to request keying material for that
specific epoch through an epoch-aware exporter interface.
In TLS, this identifier represents a local logical counter that may differ between peers.</t>
          </li>
        </ul>
        <t>Applications are notified that a new epoch is active only after both peers have completed
the Extended Key Update exchange and switched to the new traffic keys.</t>
        <ul spacing="normal">
          <li>
            <t>In TLS, the initiator triggers notification after Step 5 in <xref target="TLSC"/>,
and the responder triggers notification after Step 4 in <xref target="TLSC"/>.</t>
          </li>
          <li>
            <t>In DTLS, the initiator triggers notification to the application
after Step 7 in <xref target="DTLSC"/>, and the responder triggers notification
after Step 9 in <xref target="DTLSC"/>.</t>
          </li>
        </ul>
        <t>The corresponding EKM is obtained by the application through the TLS/DTLS exporter
interface using its chosen label and context values as defined in <xref section="4" sectionFormat="of" target="RFC5705"/>.</t>
        <t>To prevent desynchronization, the application will have to retain both the
previous and the newly derived exporter secrets for a short period. For TLS,
the previous exporter secret would be discarded once data derived from the
new exporter has been successfully processed, and no records protected with
the old exporter secret are expected to arrive. For DTLS, the previous exporter
secret needs to be retained until the retention timer expires for the prior epoch,
to allow for processing of packets that may arrive out of order.  The retention policy
for exporter secrets is application-specific. For example, in DTLS-SRTP,
the application might retain the previous exporter secret until its
replay window no longer accepts packets protected with keys derived from that
secret, as described in Section 3.3.2 of <xref target="RFC3711"/>.</t>
      </section>
    </section>
    <section anchor="exported">
      <name>Use of Post-Handshake Authentication and Exported Authenticators with Extended Key Update</name>
      <t>EKU provides fresh traffic secrets, but EKU alone does not authenticate that both endpoints
derived the same updated keys. An attacker that temporarily compromises an endpoint
may later act as an active MitM capable of interfering with the EKU exchange.
Such an attacker can cause the peers to transition to divergent traffic secrets without detection,
but cannot compromise the endpoint to derive secrets after the new epoch is established.
To confirm that both peers transitioned to the same new key state, TLS 1.3 provides two
mechanisms: Post-Handshake Certificate-Based Client Authentication and
Exported Authenticators <xref target="RFC9261"/>.</t>
      <section anchor="post-handshake-certificate-based-client-authentication">
        <name>Post-Handshake Certificate-Based Client Authentication</name>
        <t>When Post-Handshake Certificate-Based Client Authentication (Section 4.6.2 of <xref target="TLS"/>) is
performed after an Extended Key Update (EKU) is complete, the Handshake Context used for
the transcript hash is updated. It consists of transcript_hash_N+1 concatenated
with the CertificateRequest message. The Finished message is computed using a
MAC key derived from the Base Key of the new epoch (client_application_traffic_secret_N+1).
This confirms that both peers are operating with the same updated traffic keys
and completes an authenticated transition after the EKU.</t>
      </section>
      <section anchor="exported-authenticators">
        <name>Exported Authenticators</name>
        <t>This document updates Section 5.1 of <xref target="RFC9261"/> to specify that, after an
Extended Key Update has completed, the Handshake Context and Finished MAC Key used for
Exported Authenticators <bcp14>MUST</bcp14> be derived from the exporter secret associated with the current epoch.
Implementations that support the epoch-aware Exported Authenticators interface <bcp14>MUST</bcp14> provide a means
for applications to request the generation or validation of Exported Authenticators using
the exporter secret for a specific epoch.</t>
        <t>The Handshake Context and Finished MAC Key used in both the CertificateVerify message
(Section 5.2.2 of <xref target="RFC9261"/>) and the Finished message (Section 5.2.3 of <xref target="RFC9261"/>)
are derived from the exporter secret associated with the current epoch.
If a MitM interferes with the EKU exchange and causes the peers to derive different traffic
and exporter secrets, their Handshake Contexts and Finished MAC Keys will differ.
As a result, validation procedures specified in Section 5.2.4 of <xref target="RFC9261"/> will fail, thereby
detecting the divergence of key state between peers.</t>
        <t>A new optional API <bcp14>SHOULD</bcp14> be defined to permit applications to request or verify
Exported Authenticators for a specific exporter epoch. As discussed in Section 7
of <xref target="RFC9261"/>, this can, as an exception, be implemented at the application
layer when the epoch-aware TLS exporter is available. The APIs defined in <xref target="RFC9261"/>
remain unchanged, so existing applications continue to operate without
modification. The epoch-aware API accepts an epoch identifier; when present,
the (D)TLS implementation <bcp14>MUST</bcp14> derive the Handshake Context and Finished MAC Key
from the exporter secret associated with that epoch. When Exported Authenticators
are generated using the epoch-aware Exported Authenticators interface, the
epoch identifier used for their derivation can be conveyed in the
certificate_request_context field, allowing the peer, particularly in
DTLS where records may be reordered, to determine the correct exporter
secret for validation.</t>
      </section>
      <section anchor="interaction-of-extended-key-update-and-post-handshake-authentication">
        <name>Interaction of Extended Key Update and Post-Handshake Authentication</name>
        <t>EKU and post-handshake authentication may both occur during the lifetime
of a (D)TLS connection.  Post-Handshake Certificate-Based Client
Authentication (PHA) is bound to the handshake transcript and computes
its <tt>Finished</tt> message as specified in Section 4.4 of <xref target="TLS"/>, using a key
derived from the application traffic secret that is active at the time
the <tt>CertificateRequest</tt> is sent. Therefore, specific ordering constraints
are required to preserve cryptographic consistency.</t>
        <section anchor="post-handshake-certificate-based-client-authentication-1">
          <name>Post-Handshake Certificate-Based Client Authentication</name>
          <t>An endpoint <bcp14>MUST NOT</bcp14> complete an EKU exchange in a manner that
transitions to new application traffic secrets while a PHA exchange
is in progress.</t>
          <t>The following constraints apply to both TLS 1.3 and DTLS 1.3:</t>
          <ul spacing="normal">
            <li>
              <t>An endpoint <bcp14>MUST NOT</bcp14> initiate PHA while an EKU exchange is in progress.</t>
            </li>
            <li>
              <t>If PHA has been initiated and the corresponding authentication exchange
has not yet completed, neither endpoint <bcp14>MUST</bcp14> initiate an EKU exchange.</t>
            </li>
            <li>
              <t>In a cross-flight condition, if a (D)TLS client sends an EKU request and,
before receiving a response, receives a <tt>CertificateRequest</tt> from the
(D)TLS server, the endpoints <bcp14>MUST</bcp14> defer completion of the EKU exchange
and proceed with the post-handshake authentication exchange. The endpoints
<bcp14>MUST NOT</bcp14> transition to new application traffic secrets until the
authentication exchange has completed.</t>
            </li>
          </ul>
          <t>In DTLS, deferred EKU request is acknowledged as specified in <xref target="DTLSC"/>.</t>
        </section>
        <section anchor="exported-authenticators-1">
          <name>Exported Authenticators</name>
          <t>Because the exporter interface defined in this document is epoch-aware,
the exporter secret used for an Exported Authenticator exchange is
explicitly determined by the epoch selected by the application.</t>
          <t>As a result, cross-flight exchanges of EKU and <tt>AuthenticatorRequest</tt>
messages do not introduce cryptographic ambiguity. Therefore, no
serialization requirement is imposed between EKU and Exported Authenticator
exchanges.</t>
        </section>
      </section>
    </section>
    <section anchor="security-considerations">
      <name>Security Considerations</name>
      <t>This section discusses additional security and operational aspects introduced by the Extended Key Update mechanism. All security considerations of TLS 1.3 <xref target="TLS"/> and DTLS.13 <xref target="DTLS"/> continue to apply.</t>
      <section anchor="scope">
        <name>Scope of Key Compromise</name>
        <t>Extended Key Update assumes a transient compromise of the current application
traffic keys, not a persistent attacker with ongoing access to key material.
The procedure itself does not rely on long-term private keys; those are assumed
to remain secure, as they are typically stored in a secure element, such as a
Trusted Execution Environment (TEE), Hardware Security Module (HSM),
or Trusted Platform Module (TPM). In contrast, application traffic
keys are stored within the rich operating system, where short-term exposure due
to memory disclosure or transient compromise may occur. Post-compromise security
can be re-established, provided the compromise is no longer active when an
Extended Key Update is performed.</t>
        <t>Extended Key Update can restore confidentiality only if the attacker no longer
has access to either peer. If an adversary retains access to current application traffic
keys and can act as a man-in-the-middle during the Extended Key Update, then the
update cannot restore security unless <xref target="exported"/> is used.</t>
        <t>If one of the mechanisms defined in <xref target="exported"/> is not used, the attacker can
impersonate each endpoint, substitute EKU messages, and maintain control
of the communication. When Post-handshake Certificate-Based Client Authentication
or the modified Exported Authenticator mechanism is used, the authentication messages
are bound to the keys established after the EKU. Any modification or substitution of
EKU messages therefore becomes detectable, preventing this attack.</t>
        <t>If a compromise occurs before the handshake completes, the ephemeral key exchange,
client_handshake_traffic_secret, server_handshake_traffic_secret, and the initial
client_/server_application_traffic_secret could be exposed. In that case, only the
initial handshake messages and the application data encrypted under the initial
client_/server_application_traffic_secret can be decrypted until the Extended Key
Update procedure completes. The Extended Key Update procedure derives fresh
application_traffic_secrets from a new ephemeral key exchange, ensuring that all
subsequent application data remains confidential.</t>
      </section>
      <section anchor="post-compromise-security">
        <name>Post-Compromise Security</name>
        <t>Extended Key Update provides post-compromise security for long-lived TLS sessions.
To ensure post-compromise security guarantees:</t>
        <ul spacing="normal">
          <li>
            <t>Each update <bcp14>MUST</bcp14> use freshly generated ephemeral key-exchange material. Implementations <bcp14>MUST NOT</bcp14> reuse
ephemeral key-exchange material across updates or across TLS sessions.</t>
          </li>
        </ul>
      </section>
      <section anchor="denial-of-service-dos">
        <name>Denial-of-Service (DoS)</name>
        <t>The Extended Key Update mechanism increases computational and state-management overhead. A malicious peer could attempt to exhaust CPU or memory resources by initiating excessive update requests.</t>
        <t>Implementations <bcp14>SHOULD</bcp14> apply the following mitigations:</t>
        <ul spacing="normal">
          <li>
            <t>Limit the frequency of accepted Extended Key Update requests per session.</t>
          </li>
          <li>
            <t>A peer that has sent an Extended Key Update <bcp14>MUST NOT</bcp14> initiate another until the previous update completes.
If a peer violates this rule, the receiving peer <bcp14>MUST</bcp14> treat it as a protocol violation, send an "unexpected_message" alert, and terminate the connection.</t>
          </li>
        </ul>
      </section>
      <section anchor="operational-guidance">
        <name>Operational Guidance</name>
        <t>Deployments <bcp14>SHOULD</bcp14> evaluate Extended Key Update performance under load and fault conditions, such as high-frequency or concurrent updates. TLS policies <bcp14>SHOULD</bcp14> define explicit rate limits that balance post-compromise security benefits against potential DoS exposure.</t>
      </section>
    </section>
    <section anchor="iana-considerations">
      <name>IANA Considerations</name>
      <section anchor="tls-flags">
        <name>TLS Flags</name>
        <t>IANA is requested to add the following entry to the "TLS Flags"
extension registry <xref target="TLS-Ext-Registry"/>:</t>
        <ul spacing="normal">
          <li>
            <t>Value: TBD1</t>
          </li>
          <li>
            <t>Flag Name: extended_key_update</t>
          </li>
          <li>
            <t>Messages: CH, EE</t>
          </li>
          <li>
            <t>Recommended: Y</t>
          </li>
          <li>
            <t>Reference: [This document]</t>
          </li>
        </ul>
      </section>
      <section anchor="tls-handshaketype">
        <name>TLS HandshakeType</name>
        <t>IANA is requested to add the following entry to the "TLS HandshakeType"
registry <xref target="TLS-Ext-Registry"/>:</t>
        <ul spacing="normal">
          <li>
            <t>Value: TBD2</t>
          </li>
          <li>
            <t>Description: extended_key_update</t>
          </li>
          <li>
            <t>DTLS-OK: Y</t>
          </li>
          <li>
            <t>Reference: [This document]</t>
          </li>
        </ul>
      </section>
      <section anchor="iana-eku-registry">
        <name>ExtendedKeyUpdate Message Subtypes Registry</name>
        <t>IANA is requested to create a new registry "TLS ExtendedKeyUpdate Message Subtypes", within the
existing "Transport Layer Security (TLS) Parameters" registry <xref target="TLS-Ext-Registry"/>.
This new registry reserves types used for Extended Key Update entries.
The initial contents of this registry are as follows.</t>
        <table>
          <thead>
            <tr>
              <th align="left">Value</th>
              <th align="left">Description</th>
              <th align="left">DTLS-OK</th>
              <th align="left">Reference</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">0</td>
              <td align="left">key_update_request</td>
              <td align="left">Y</td>
              <td align="left">This document</td>
            </tr>
            <tr>
              <td align="left">1</td>
              <td align="left">key_update_response</td>
              <td align="left">Y</td>
              <td align="left">This document</td>
            </tr>
            <tr>
              <td align="left">2</td>
              <td align="left">new_key_update</td>
              <td align="left">Y</td>
              <td align="left">This document</td>
            </tr>
            <tr>
              <td align="left">3-255</td>
              <td align="left">Unassigned</td>
              <td align="left"> </td>
              <td align="left"> </td>
            </tr>
          </tbody>
        </table>
        <t>New assignments in the "TLS ExtendedKeyUpdate Types" registry will be administered by
IANA through Specification Required procedure <xref target="RFC8126"/>.  The role of the
designated expert is described in <xref section="17" sectionFormat="of" target="RFC8447"/>.  The designated expert
<xref target="RFC8126"/> ensures that the specification is publicly available.  It is sufficient to
have an Internet-Draft (that is posted and never published as an RFC) or to cite a
document from another standards body, industry consortium, or any other location.
An expert may provide more in-depth reviews, but their approval should not be taken as an
endorsement of the ExtendedKeyUpdate Message Subtype.</t>
      </section>
      <section anchor="sslkeylogfile-labels">
        <name>SSLKEYLOGFILE labels</name>
        <t>IANA is requested to add the following entries to the "TLS SSLKEYLOGFILE Labels"
extension registry <xref target="TLS-Ext-Registry"/>:</t>
        <table>
          <thead>
            <tr>
              <th align="left">Value</th>
              <th align="left">Description</th>
              <th align="left">Reference</th>
              <th align="left">Comment</th>
            </tr>
          </thead>
          <tbody>
            <tr>
              <td align="left">CLIENT_TRAFFIC_SECRET_N+1</td>
              <td align="left">Secret protecting client records after Extended Key Update</td>
              <td align="left">This document</td>
              <td align="left">N represents iteration of Extended Key Update</td>
            </tr>
            <tr>
              <td align="left">SERVER_TRAFFIC_SECRET_N+1</td>
              <td align="left">Secret protecting server records after Extended Key Update</td>
              <td align="left">This document</td>
              <td align="left">N represents iteration of Extended Key Update</td>
            </tr>
            <tr>
              <td align="left">EXPORTER_SECRET_N+1</td>
              <td align="left">Exporter secret after Extended Key Update</td>
              <td align="left">This document</td>
              <td align="left">N represents iteration of Extended Key Update</td>
            </tr>
          </tbody>
        </table>
      </section>
    </section>
  </middle>
  <back>
    <references anchor="sec-combined-references">
      <name>References</name>
      <references anchor="sec-normative-references">
        <name>Normative References</name>
        <reference anchor="TLS">
          <front>
            <title>The Transport Layer Security (TLS) Protocol Version 1.3</title>
            <author fullname="Eric Rescorla" initials="E." surname="Rescorla">
              <organization>Independent</organization>
            </author>
            <date day="13" month="September" year="2025"/>
            <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.

   This document updates RFCs 5705, 6066, 7627, and 8422 and obsoletes
   RFCs 5077, 5246, 6961, 8422, and 8446.  This document also specifies
   new requirements for TLS 1.2 implementations.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-rfc8446bis-14"/>
        </reference>
        <reference anchor="DTLS">
          <front>
            <title>The Datagram Transport Layer Security (DTLS) Protocol Version 1.3</title>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <author fullname="H. Tschofenig" initials="H." surname="Tschofenig"/>
            <author fullname="N. Modadugu" initials="N." surname="Modadugu"/>
            <date month="April" year="2022"/>
            <abstract>
              <t>This document specifies version 1.3 of the Datagram Transport Layer Security (DTLS) protocol. DTLS 1.3 allows client/server applications to communicate over the Internet in a way that is designed to prevent eavesdropping, tampering, and message forgery.</t>
              <t>The DTLS 1.3 protocol is based on the Transport Layer Security (TLS) 1.3 protocol and provides equivalent security guarantees with the exception of order protection / non-replayability. Datagram semantics of the underlying transport are preserved by the DTLS protocol.</t>
              <t>This document obsoletes RFC 6347.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9147"/>
          <seriesInfo name="DOI" value="10.17487/RFC9147"/>
        </reference>
        <reference anchor="RFC2119">
          <front>
            <title>Key words for use in RFCs to Indicate Requirement Levels</title>
            <author fullname="S. Bradner" initials="S." surname="Bradner"/>
            <date month="March" year="1997"/>
            <abstract>
              <t>In many standards track documents several words are used to signify the requirements in the specification. These words are often capitalized. This document defines these words as they should be interpreted in IETF documents. This document specifies an Internet Best Current Practices for the Internet Community, and requests discussion and suggestions for improvements.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="2119"/>
          <seriesInfo name="DOI" value="10.17487/RFC2119"/>
        </reference>
        <reference anchor="RFC8174">
          <front>
            <title>Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words</title>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <date month="May" year="2017"/>
            <abstract>
              <t>RFC 2119 specifies common key words that may be used in protocol specifications. This document aims to reduce the ambiguity by clarifying that only UPPERCASE usage of the key words have the defined special meanings.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="14"/>
          <seriesInfo name="RFC" value="8174"/>
          <seriesInfo name="DOI" value="10.17487/RFC8174"/>
        </reference>
        <reference anchor="TLS-FLAGS">
          <front>
            <title>A Flags Extension for TLS 1.3</title>
            <author fullname="Yoav Nir" initials="Y." surname="Nir">
              <organization>Dell Technologies</organization>
            </author>
            <date day="14" month="September" year="2025"/>
            <abstract>
              <t>   A number of extensions are proposed in the TLS working group that
   carry no interesting information except the 1-bit indication that a
   certain optional feature is supported.  Such extensions take 4 octets
   each.  This document defines a flags extension that can provide such
   indications at an average marginal cost of 1 bit each.  More
   precisely, it provides as many flag extensions as needed at 4 + the
   order of the last set bit divided by 8.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-tlsflags-16"/>
        </reference>
        <reference anchor="RFC9729">
          <front>
            <title>The Concealed HTTP Authentication Scheme</title>
            <author fullname="D. Schinazi" initials="D." surname="Schinazi"/>
            <author fullname="D. Oliver" initials="D." surname="Oliver"/>
            <author fullname="J. Hoyland" initials="J." surname="Hoyland"/>
            <date month="February" year="2025"/>
            <abstract>
              <t>Most HTTP authentication schemes are probeable in the sense that it is possible for an unauthenticated client to probe whether an origin serves resources that require authentication. It is possible for an origin to hide the fact that it requires authentication by not generating Unauthorized status codes; however, that only works with non-cryptographic authentication schemes: cryptographic signatures require a fresh nonce to be signed. Prior to this document, there was no existing way for the origin to share such a nonce without exposing the fact that it serves resources that require authentication. This document defines a new non-probeable cryptographic authentication scheme.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9729"/>
          <seriesInfo name="DOI" value="10.17487/RFC9729"/>
        </reference>
        <reference anchor="RFC5705">
          <front>
            <title>Keying Material Exporters for Transport Layer Security (TLS)</title>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <date month="March" year="2010"/>
            <abstract>
              <t>A number of protocols wish to leverage Transport Layer Security (TLS) to perform key establishment but then use some of the keying material for their own purposes. This document describes a general mechanism for allowing that. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5705"/>
          <seriesInfo name="DOI" value="10.17487/RFC5705"/>
        </reference>
        <reference anchor="RFC3711">
          <front>
            <title>The Secure Real-time Transport Protocol (SRTP)</title>
            <author fullname="M. Baugher" initials="M." surname="Baugher"/>
            <author fullname="D. McGrew" initials="D." surname="McGrew"/>
            <author fullname="M. Naslund" initials="M." surname="Naslund"/>
            <author fullname="E. Carrara" initials="E." surname="Carrara"/>
            <author fullname="K. Norrman" initials="K." surname="Norrman"/>
            <date month="March" year="2004"/>
            <abstract>
              <t>This document describes the Secure Real-time Transport Protocol (SRTP), a profile of the Real-time Transport Protocol (RTP), which can provide confidentiality, message authentication, and replay protection to the RTP traffic and to the control traffic for RTP, the Real-time Transport Control Protocol (RTCP). [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="3711"/>
          <seriesInfo name="DOI" value="10.17487/RFC3711"/>
        </reference>
        <reference anchor="RFC9261">
          <front>
            <title>Exported Authenticators in TLS</title>
            <author fullname="N. Sullivan" initials="N." surname="Sullivan"/>
            <date month="July" year="2022"/>
            <abstract>
              <t>This document describes a mechanism that builds on Transport Layer Security (TLS) or Datagram Transport Layer Security (DTLS) and enables peers to provide proof of ownership of an identity, such as an X.509 certificate. This proof can be exported by one peer, transmitted out of band to the other peer, and verified by the receiving peer.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="9261"/>
          <seriesInfo name="DOI" value="10.17487/RFC9261"/>
        </reference>
      </references>
      <references anchor="sec-informative-references">
        <name>Informative References</name>
        <reference anchor="ANSSI" target="https://cyber.gouv.fr/sites/default/files/2012/09/NT_IPsec_EN.pdf">
          <front>
            <title>Recommendations for securing networks with IPsec, Technical Report</title>
            <author>
              <organization>ANSSI</organization>
            </author>
            <date year="2015" month="August"/>
          </front>
        </reference>
        <reference anchor="TLS-Ext-Registry" target="https://www.iana.org/assignments/tls-extensiontype-values">
          <front>
            <title>Transport Layer Security (TLS) Extensions</title>
            <author>
              <organization>IANA</organization>
            </author>
            <date year="2023" month="November"/>
          </front>
        </reference>
        <reference anchor="CCG16" target="https://doi.org/10.1109/csf.2016.19">
          <front>
            <title>On Post-compromise Security</title>
            <author>
              <organization>IEEE</organization>
            </author>
            <date year="2016" month="August"/>
          </front>
        </reference>
        <reference anchor="TLS-RENEGOTIATION">
          <front>
            <title>Transport Layer Security (TLS) Renegotiation Indication Extension</title>
            <author fullname="E. Rescorla" initials="E." surname="Rescorla"/>
            <author fullname="M. Ray" initials="M." surname="Ray"/>
            <author fullname="S. Dispensa" initials="S." surname="Dispensa"/>
            <author fullname="N. Oskov" initials="N." surname="Oskov"/>
            <date month="February" year="2010"/>
            <abstract>
              <t>Secure Socket Layer (SSL) and Transport Layer Security (TLS) renegotiation are vulnerable to an attack in which the attacker forms a TLS connection with the target server, injects content of his choice, and then splices in a new TLS connection from a client. The server treats the client's initial TLS handshake as a renegotiation and thus believes that the initial data transmitted by the attacker is from the same entity as the subsequent client data. This specification defines a TLS extension to cryptographically tie renegotiations to the TLS connections they are being performed over, thus preventing this attack. [STANDARDS-TRACK]</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="5746"/>
          <seriesInfo name="DOI" value="10.17487/RFC5746"/>
        </reference>
        <reference anchor="CONFIDENTIALITY">
          <front>
            <title>Confidentiality in the Face of Pervasive Surveillance: A Threat Model and Problem Statement</title>
            <author fullname="R. Barnes" initials="R." surname="Barnes"/>
            <author fullname="B. Schneier" initials="B." surname="Schneier"/>
            <author fullname="C. Jennings" initials="C." surname="Jennings"/>
            <author fullname="T. Hardie" initials="T." surname="Hardie"/>
            <author fullname="B. Trammell" initials="B." surname="Trammell"/>
            <author fullname="C. Huitema" initials="C." surname="Huitema"/>
            <author fullname="D. Borkmann" initials="D." surname="Borkmann"/>
            <date month="August" year="2015"/>
            <abstract>
              <t>Since the initial revelations of pervasive surveillance in 2013, several classes of attacks on Internet communications have been discovered. In this document, we develop a threat model that describes these attacks on Internet confidentiality. We assume an attacker that is interested in undetected, indiscriminate eavesdropping. The threat model is based on published, verified attacks.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="7624"/>
          <seriesInfo name="DOI" value="10.17487/RFC7624"/>
        </reference>
        <reference anchor="TLS-HYBRID">
          <front>
            <title>Hybrid key exchange in TLS 1.3</title>
            <author fullname="Douglas Stebila" initials="D." surname="Stebila">
              <organization>University of Waterloo</organization>
            </author>
            <author fullname="Scott Fluhrer" initials="S." surname="Fluhrer">
              <organization>Cisco Systems</organization>
            </author>
            <author fullname="Shay Gueron" initials="S." surname="Gueron">
              <organization>University of Haifa and Meta</organization>
            </author>
            <date day="7" month="September" year="2025"/>
            <abstract>
              <t>   Hybrid key exchange refers to using multiple key exchange algorithms
   simultaneously and combining the result with the goal of providing
   security even if a way is found to defeat the encryption for all but
   one of the component algorithms.  It is motivated by transition to
   post-quantum cryptography.  This document provides a construction for
   hybrid key exchange in the Transport Layer Security (TLS) protocol
   version 1.3.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-hybrid-design-16"/>
        </reference>
        <reference anchor="TLS-ECDHE-MLKEM">
          <front>
            <title>Post-quantum hybrid ECDHE-MLKEM Key Agreement for TLSv1.3</title>
            <author fullname="Kris Kwiatkowski" initials="K." surname="Kwiatkowski">
              <organization>PQShield</organization>
            </author>
            <author fullname="Panos Kampanakis" initials="P." surname="Kampanakis">
              <organization>AWS</organization>
            </author>
            <author fullname="Bas Westerbaan" initials="B." surname="Westerbaan">
              <organization>Cloudflare</organization>
            </author>
            <author fullname="Douglas Stebila" initials="D." surname="Stebila">
              <organization>University of Waterloo</organization>
            </author>
            <date day="8" month="February" year="2026"/>
            <abstract>
              <t>   This draft defines three hybrid key agreement mechanisms for TLS 1.3
   - X25519MLKEM768, SecP256r1MLKEM768, and SecP384r1MLKEM1024 - that
   combine the post-quantum ML-KEM (Module-Lattice-Based Key
   Encapsulation Mechanism) with an ECDHE (Elliptic Curve Diffie-
   Hellman) exchange.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-ecdhe-mlkem-04"/>
        </reference>
        <reference anchor="TLS-MLKEM">
          <front>
            <title>ML-KEM Post-Quantum Key Agreement for TLS 1.3</title>
            <author fullname="Deirdre Connolly" initials="D." surname="Connolly">
              <organization>SandboxAQ</organization>
            </author>
            <date day="12" month="February" year="2026"/>
            <abstract>
              <t>   This memo defines ML-KEM-512, ML-KEM-768, and ML-KEM-1024 as
   NamedGroups and and registers IANA values in the TLS Supported Groups
   registry for use in TLS 1.3 to achieve post-quantum (PQ) key
   establishment.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-mlkem-07"/>
        </reference>
        <reference anchor="TLS-KEYLOGFILE">
          <front>
            <title>The SSLKEYLOGFILE Format for TLS</title>
            <author fullname="Martin Thomson" initials="M." surname="Thomson">
              <organization>Mozilla</organization>
            </author>
            <author fullname="Yaroslav Rosomakho" initials="Y." surname="Rosomakho">
              <organization>Zscaler</organization>
            </author>
            <author fullname="Hannes Tschofenig" initials="H." surname="Tschofenig">
              <organization>University of Applied Sciences Bonn-Rhein-Sieg</organization>
            </author>
            <date day="9" month="June" year="2025"/>
            <abstract>
              <t>   A format that supports logging information about the secrets used in
   a TLS connection is described.  Recording secrets to a file in
   SSLKEYLOGFILE format allows diagnostic and logging tools that use
   this file to decrypt messages exchanged by TLS endpoints.  This
   format is intended for use in systems where TLS only protects test
   data.

              </t>
            </abstract>
          </front>
          <seriesInfo name="Internet-Draft" value="draft-ietf-tls-keylogfile-05"/>
        </reference>
        <reference anchor="RFC8126">
          <front>
            <title>Guidelines for Writing an IANA Considerations Section in RFCs</title>
            <author fullname="M. Cotton" initials="M." surname="Cotton"/>
            <author fullname="B. Leiba" initials="B." surname="Leiba"/>
            <author fullname="T. Narten" initials="T." surname="Narten"/>
            <date month="June" year="2017"/>
            <abstract>
              <t>Many protocols make use of points of extensibility that use constants to identify various protocol parameters. To ensure that the values in these fields do not have conflicting uses and to promote interoperability, their allocations are often coordinated by a central record keeper. For IETF protocols, that role is filled by the Internet Assigned Numbers Authority (IANA).</t>
              <t>To make assignments in a given registry prudently, guidance describing the conditions under which new values should be assigned, as well as when and how modifications to existing values can be made, is needed. This document defines a framework for the documentation of these guidelines by specification authors, in order to assure that the provided guidance for the IANA Considerations is clear and addresses the various issues that are likely in the operation of a registry.</t>
              <t>This is the third edition of this document; it obsoletes RFC 5226.</t>
            </abstract>
          </front>
          <seriesInfo name="BCP" value="26"/>
          <seriesInfo name="RFC" value="8126"/>
          <seriesInfo name="DOI" value="10.17487/RFC8126"/>
        </reference>
        <reference anchor="RFC8447">
          <front>
            <title>IANA Registry Updates for TLS and DTLS</title>
            <author fullname="J. Salowey" initials="J." surname="Salowey"/>
            <author fullname="S. Turner" initials="S." surname="Turner"/>
            <date month="August" year="2018"/>
            <abstract>
              <t>This document describes a number of changes to TLS and DTLS IANA registries that range from adding notes to the registry all the way to changing the registration policy. These changes were mostly motivated by WG review of the TLS- and DTLS-related registries undertaken as part of the TLS 1.3 development process.</t>
              <t>This document updates the following RFCs: 3749, 5077, 4680, 5246, 5705, 5878, 6520, and 7301.</t>
            </abstract>
          </front>
          <seriesInfo name="RFC" value="8447"/>
          <seriesInfo name="DOI" value="10.17487/RFC8447"/>
        </reference>
      </references>
    </references>
    <?line 1108?>

<section anchor="acknowledgments">
      <name>Acknowledgments</name>
      <t>We would like to thank the members of the "TSVWG DTLS for SCTP
Requirements Design Team" for their discussion. The members, in
no particular order, were:</t>
      <ul spacing="normal">
        <li>
          <t>Marcelo Ricardo Leitner</t>
        </li>
        <li>
          <t>Zaheduzzaman Sarker</t>
        </li>
        <li>
          <t>Magnus Westerlund</t>
        </li>
        <li>
          <t>John Mattsson</t>
        </li>
        <li>
          <t>Claudio Porfiri</t>
        </li>
        <li>
          <t>Xin Long</t>
        </li>
        <li>
          <t>Michael Tüxen</t>
        </li>
        <li>
          <t>Hannes Tschofenig</t>
        </li>
        <li>
          <t>K Tirumaleswar Reddy</t>
        </li>
        <li>
          <t>Bertrand Rault</t>
        </li>
      </ul>
      <t>Additionally, we would like to thank the chairs of the
Transport and Services Working Group (tsvwg) Gorry Fairhurst and
Marten Seemann as well as the responsible area director Martin Duke.</t>
      <t>Finally, we would like to thank Martin Thomson, Ilari Liusvaara,
Benjamin Kaduk, Scott Fluhrer, Dennis Jackson, David Benjamin,
Matthijs van Duin, Rifaat Shekh-Yusef, Joe Birr-Pixton, Eric Rescorla,
and Thom Wiggers for their review comments.</t>
    </section>
    <section anchor="state-machines">
      <name>State Machines</name>
      <t>The sections below describe the state machines for the extended key update
operation for TLS 1.3 and DTLS 1.3.</t>
      <t>The state machine diagrams in the Appendix are provided for illustrative
purposes only to aid understanding of the protocol flow. They are not normative.
In case of any discrepancy between the Appendix diagrams and the protocol
behavior specified in the main body of this document, the text in the
draft takes precedence.</t>
      <t>For editorial reasons we abbreviate the protocol message types:</t>
      <ul spacing="normal">
        <li>
          <t>Req - ExtendedKeyUpdate(request)</t>
        </li>
        <li>
          <t>Resp - ExtendedKeyUpdate(response)</t>
        </li>
        <li>
          <t>NKU - ExtendedKeyUpdate(new_key_update)</t>
        </li>
        <li>
          <t>ACK - Acknowledgement message from <xref section="7" sectionFormat="of" target="DTLS"/></t>
        </li>
        <li>
          <t>APP - application data payloads</t>
        </li>
      </ul>
      <t>In the (D)TLS 1.3 state machines discussed below, the terms SEND and RECEIVE keys
refer to the send and receive key variables defined in <xref target="term"/>.</t>
      <t>The TLS state machine diagrams use the following notation:</t>
      <ul spacing="normal">
        <li>
          <t>Numbered labels (1), (2), … denote normal protocol transitions in the order they occur.</t>
        </li>
        <li>
          <t>Lettered labels (A), (B), … denote exceptional or conditional transitions.</t>
        </li>
        <li>
          <t>Self-loops indicate that the state does not change as a result of the event.</t>
        </li>
      </ul>
      <section anchor="tls-13-state-machines">
        <name>TLS 1.3 State Machines</name>
        <t>This section describes the initiator and responder state machines.</t>
        <section anchor="initiator-state-machine">
          <name>Initiator State Machine</name>
          <artset>
            <artwork type="svg"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="576" width="536" viewBox="0 0 536 576" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                <path d="M 8,32 L 8,112" fill="none" stroke="black"/>
                <path d="M 8,192 L 8,496" fill="none" stroke="black"/>
                <path d="M 8,528 L 8,560" fill="none" stroke="black"/>
                <path d="M 192,32 L 192,112" fill="none" stroke="black"/>
                <path d="M 192,192 L 192,240" fill="none" stroke="black"/>
                <path d="M 192,528 L 192,560" fill="none" stroke="black"/>
                <path d="M 8,32 L 192,32" fill="none" stroke="black"/>
                <path d="M 8,112 L 192,112" fill="none" stroke="black"/>
                <path d="M 8,192 L 192,192" fill="none" stroke="black"/>
                <path d="M 8,240 L 192,240" fill="none" stroke="black"/>
                <path d="M 8,528 L 192,528" fill="none" stroke="black"/>
                <path d="M 8,560 L 192,560" fill="none" stroke="black"/>
                <path d="M 28,248 L 72,336" fill="none" stroke="black"/>
                <circle cx="96" cy="352" r="6" class="closeddot" fill="black"/>
                <circle cx="96" cy="368" r="6" class="closeddot" fill="black"/>
                <g class="text">
                  <text x="40" y="52">START</text>
                  <text x="88" y="68">send_key=current,</text>
                  <text x="96" y="84">receive_key=current</text>
                  <text x="60" y="100">updating=0</text>
                  <text x="56" y="132">|</text>
                  <text x="16" y="148">(1)</text>
                  <text x="52" y="148">send</text>
                  <text x="88" y="148">Req</text>
                  <text x="124" y="148">with</text>
                  <text x="168" y="148">local</text>
                  <text x="248" y="148">KeyShareEntry</text>
                  <text x="48" y="164">set</text>
                  <text x="108" y="164">updating=1</text>
                  <text x="56" y="180">v</text>
                  <text x="56" y="212">WAIT_RESP</text>
                  <text x="60" y="228">updating=1</text>
                  <text x="64" y="276">(A)</text>
                  <text x="100" y="276">recv</text>
                  <text x="140" y="276">peer</text>
                  <text x="176" y="276">Req</text>
                  <text x="228" y="276">(crossed</text>
                  <text x="304" y="276">updates):</text>
                  <text x="96" y="292">compare</text>
                  <text x="200" y="292">peer.key_exchange</text>
                  <text x="284" y="292">to</text>
                  <text x="372" y="292">local.key_exchange</text>
                  <text x="80" y="308">-</text>
                  <text x="100" y="308">if</text>
                  <text x="132" y="308">peer</text>
                  <text x="160" y="308">&lt;</text>
                  <text x="196" y="308">local:</text>
                  <text x="252" y="308">IGNORE</text>
                  <text x="300" y="308">peer</text>
                  <text x="336" y="308">Req</text>
                  <text x="376" y="308">(send</text>
                  <text x="436" y="308">nothing)</text>
                  <text x="80" y="324">-</text>
                  <text x="100" y="324">if</text>
                  <text x="132" y="324">peer</text>
                  <text x="164" y="324">==</text>
                  <text x="204" y="324">local:</text>
                  <text x="256" y="324">ABORT</text>
                  <text x="364" y="324">"unexpected_message"</text>
                  <text x="88" y="340">-</text>
                  <text x="108" y="340">if</text>
                  <text x="140" y="340">peer</text>
                  <text x="168" y="340">&gt;</text>
                  <text x="204" y="340">local:</text>
                  <text x="264" y="340">ABANDON</text>
                  <text x="320" y="340">local</text>
                  <text x="376" y="340">update:</text>
                  <text x="120" y="356">set</text>
                  <text x="180" y="356">updating=0</text>
                  <text x="120" y="372">act</text>
                  <text x="148" y="372">as</text>
                  <text x="204" y="372">RESPONDER:</text>
                  <text x="268" y="372">send</text>
                  <text x="308" y="372">Resp</text>
                  <text x="348" y="372">with</text>
                  <text x="428" y="372">KeyShareEntry,</text>
                  <text x="132" y="388">derive</text>
                  <text x="176" y="388">new</text>
                  <text x="228" y="388">secrets,</text>
                  <text x="284" y="388">then</text>
                  <text x="336" y="388">proceed</text>
                  <text x="380" y="388">as</text>
                  <text x="404" y="388">in</text>
                  <text x="456" y="388">responder</text>
                  <text x="516" y="388">flow</text>
                  <text x="40" y="420">(2)</text>
                  <text x="76" y="420">recv</text>
                  <text x="116" y="420">Resp</text>
                  <text x="156" y="420">with</text>
                  <text x="220" y="420">key_share:</text>
                  <text x="84" y="436">derive</text>
                  <text x="128" y="436">new</text>
                  <text x="176" y="436">secrets</text>
                  <text x="76" y="452">send</text>
                  <text x="112" y="452">NKU</text>
                  <text x="172" y="452">(encrypted</text>
                  <text x="240" y="452">under</text>
                  <text x="280" y="452">old</text>
                  <text x="320" y="452">keys)</text>
                  <text x="84" y="468">update</text>
                  <text x="132" y="468">SEND</text>
                  <text x="168" y="468">key</text>
                  <text x="224" y="468">(send_key</text>
                  <text x="276" y="468">:=</text>
                  <text x="308" y="468">new)</text>
                  <text x="84" y="484">update</text>
                  <text x="144" y="484">RECEIVE</text>
                  <text x="192" y="484">key</text>
                  <text x="260" y="484">(receive_key</text>
                  <text x="324" y="484">:=</text>
                  <text x="356" y="484">new)</text>
                  <text x="72" y="500">set</text>
                  <text x="132" y="500">updating=0</text>
                  <text x="64" y="516">v</text>
                  <text x="52" y="548">FINISHED</text>
                </g>
              </svg>
            </artwork>
            <artwork type="ascii-art"><![CDATA[
+----------------------+
| START                |
| send_key=current,    |
| receive_key=current  |
| updating=0           |
+----------------------+
      |
(1) send Req with local KeyShareEntry
    set updating=1
      v
+----------------------+
| WAIT_RESP            |
| updating=1           |
+----------------------+
|  \
|   \ (A) recv peer Req (crossed updates):
|    \  compare peer.key_exchange to local.key_exchange
|     \  - if peer < local: IGNORE peer Req (send nothing)
|      \ - if peer == local: ABORT "unexpected_message"
|       \ - if peer > local: ABANDON local update:
|          * set updating=0
|          * act as RESPONDER: send Resp with KeyShareEntry,
|            derive new secrets, then proceed as in responder flow
|
|  (2) recv Resp with key_share:
|      derive new secrets
|      send NKU (encrypted under old keys)
|      update SEND key (send_key := new)
|      update RECEIVE key (receive_key := new)
|      set updating=0
       v
+----------------------+
| FINISHED             |
+----------------------+
]]></artwork>
          </artset>
          <t>Notes:</t>
          <ul spacing="normal">
            <li>
              <t>NKU message is sent under old keys.</t>
            </li>
            <li>
              <t>If a classic KeyUpdate arrives (EKU negotiated), ABORT "unexpected_message".</t>
            </li>
            <li>
              <t>Crossed-requests: ignore the request with LOWER lexicographic key_exchange; if equal, abort.</t>
            </li>
          </ul>
        </section>
        <section anchor="responder-state-machine">
          <name>Responder State Machine</name>
          <artset>
            <artwork type="svg"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="544" width="360" viewBox="0 0 360 544" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                <path d="M 8,32 L 8,112" fill="none" stroke="black"/>
                <path d="M 8,192 L 8,320" fill="none" stroke="black"/>
                <path d="M 8,352 L 8,400" fill="none" stroke="black"/>
                <path d="M 8,496 L 8,528" fill="none" stroke="black"/>
                <path d="M 192,32 L 192,112" fill="none" stroke="black"/>
                <path d="M 192,192 L 192,224" fill="none" stroke="black"/>
                <path d="M 192,352 L 192,400" fill="none" stroke="black"/>
                <path d="M 192,496 L 192,528" fill="none" stroke="black"/>
                <path d="M 8,32 L 192,32" fill="none" stroke="black"/>
                <path d="M 8,112 L 192,112" fill="none" stroke="black"/>
                <path d="M 8,192 L 192,192" fill="none" stroke="black"/>
                <path d="M 8,224 L 192,224" fill="none" stroke="black"/>
                <path d="M 32,320 L 48,320" fill="none" stroke="black"/>
                <path d="M 8,352 L 192,352" fill="none" stroke="black"/>
                <path d="M 8,400 L 192,400" fill="none" stroke="black"/>
                <path d="M 8,496 L 192,496" fill="none" stroke="black"/>
                <path d="M 8,528 L 192,528" fill="none" stroke="black"/>
                <polygon class="arrowhead" points="56,320 44,314.4 44,325.6" fill="black" transform="rotate(0,48,320)"/>
                <g class="text">
                  <text x="40" y="52">START</text>
                  <text x="88" y="68">send_key=current,</text>
                  <text x="96" y="84">receive_key=current</text>
                  <text x="60" y="100">updating=0</text>
                  <text x="56" y="132">|</text>
                  <text x="16" y="148">(1)</text>
                  <text x="52" y="148">recv</text>
                  <text x="88" y="148">Req</text>
                  <text x="48" y="164">set</text>
                  <text x="108" y="164">updating=1</text>
                  <text x="56" y="180">v</text>
                  <text x="48" y="212">RESPOND</text>
                  <text x="44" y="244">send</text>
                  <text x="84" y="244">Resp</text>
                  <text x="124" y="244">with</text>
                  <text x="200" y="244">KeyShareEntry</text>
                  <text x="44" y="260">(may</text>
                  <text x="88" y="260">defer</text>
                  <text x="144" y="260">sending</text>
                  <text x="188" y="260">if</text>
                  <text x="224" y="260">under</text>
                  <text x="272" y="260">load;</text>
                  <text x="52" y="276">must</text>
                  <text x="92" y="276">send</text>
                  <text x="132" y="276">once</text>
                  <text x="192" y="276">resources</text>
                  <text x="256" y="276">free)</text>
                  <text x="52" y="292">derive</text>
                  <text x="96" y="292">new</text>
                  <text x="144" y="292">secrets</text>
                  <text x="52" y="308">update</text>
                  <text x="100" y="308">SEND</text>
                  <text x="140" y="308">keys</text>
                  <text x="200" y="308">(send_key</text>
                  <text x="252" y="308">:=</text>
                  <text x="284" y="308">new)</text>
                  <text x="100" y="324">WAIT_I_NKU</text>
                  <text x="56" y="340">v</text>
                  <text x="60" y="372">WAIT_I_NKU</text>
                  <text x="60" y="388">updating=1</text>
                  <text x="56" y="420">|</text>
                  <text x="16" y="436">(2)</text>
                  <text x="52" y="436">recv</text>
                  <text x="88" y="436">NKU</text>
                  <text x="148" y="436">(encrypted</text>
                  <text x="216" y="436">under</text>
                  <text x="256" y="436">old</text>
                  <text x="296" y="436">keys)</text>
                  <text x="60" y="452">update</text>
                  <text x="120" y="452">RECEIVE</text>
                  <text x="172" y="452">keys</text>
                  <text x="244" y="452">(receive_key</text>
                  <text x="308" y="452">:=</text>
                  <text x="340" y="452">new)</text>
                  <text x="48" y="468">set</text>
                  <text x="108" y="468">updating=0</text>
                  <text x="56" y="484">v</text>
                  <text x="52" y="516">FINISHED</text>
                </g>
              </svg>
            </artwork>
            <artwork type="ascii-art"><![CDATA[
+----------------------+
| START                |
| send_key=current,    |
| receive_key=current  |
| updating=0           |
+----------------------+
      |
(1) recv Req
    set updating=1
      v
+----------------------+
| RESPOND              |
+----------------------+
|  send Resp with KeyShareEntry
|  (may defer sending if under load;
|   must send once resources free)
|  derive new secrets
|  update SEND keys (send_key := new)
|  --> WAIT_I_NKU
      v
+----------------------+
| WAIT_I_NKU           |
| updating=1           |
+----------------------+
      |
(2) recv NKU (encrypted under old keys)
    update RECEIVE keys (receive_key := new)
    set updating=0
      v
+----------------------+
| FINISHED             |
+----------------------+
]]></artwork>
          </artset>
          <t>Notes:</t>
          <ul spacing="normal">
            <li>
              <t>Responder may defer Resp under load (no status reply), then must send it once resources are free.</t>
            </li>
            <li>
              <t>If a classic KeyUpdate arrives (EKU negotiated), ABORT "unexpected_message".</t>
            </li>
          </ul>
        </section>
      </section>
      <section anchor="dtls-13-state-machines">
        <name>DTLS 1.3 State Machines</name>
        <t>This section describes the initiator and responder state machines.</t>
        <section anchor="terms-and-abbreviations">
          <name>Terms and Abbreviations</name>
          <t>The following variables and abbreviations are used in the state machine diagrams.</t>
          <ul spacing="normal">
            <li>
              <t>rx - current, accepted receive epoch.</t>
            </li>
            <li>
              <t>tx - current transmit epoch used for tagging outgoing messages.</t>
            </li>
            <li>
              <t>E - initial epoch value.</t>
            </li>
            <li>
              <t>updating - true while a key-update handshake is in progress.</t>
            </li>
            <li>
              <t>old_rx - the previous receive epoch remembered during retention.</t>
            </li>
            <li>
              <t>retain_old - when true, receiver accepts tags old_rx and rx.</t>
            </li>
            <li>
              <t>tag=... - the TX-epoch value written on an outgoing message.</t>
            </li>
            <li>
              <t>e==... - the epoch tag carried on an incoming message (what the peer sent).</t>
            </li>
            <li>
              <t>FINISHED / START / WAIT_RESP / WAIT_I_NKU / WAIT_R_NKU / ACTIVATE RETENTION / RESPOND / WAIT_ACK - diagram states; FINISHED denotes the steady state after success.</t>
            </li>
          </ul>
          <t>Crossed requests. If both peers independently initiate the extended key update and the key_update_request messages cross in flight, compare the KeyShareEntry.key_exchange values. The request with the lower lexicographic value must be ignored. If the values are equal, the endpoint must abort with an "unexpected_message" alert. If the peer's value is higher than the local one, the endpoint abandons its in-flight update and processes the peer's request as responder.</t>
        </section>
        <section anchor="state-machine-initiator">
          <name>State Machine (Initiator)</name>
          <t>The initiator starts in the START state with matching epochs (rx := E; tx := E). It sends a Req and enters WAIT_RESP (updating := 1). While waiting, APP data may be sent at any time (tagged with the current tx) and received according to the APP acceptance rule below.</t>
          <t>Once the responder returns Resp with a tag matching the current rx, the initiator derives new key material. It then sends NKU still tagged with the old tx. The initiator activates retention mode: the old epoch is remembered, the receive epoch is incremented, and application data is accepted under both epochs for a transition period. Initiator moves to WAIT_ACK.</t>
          <t>If a peer key_update_request arrives while in WAIT_RESP (crossed updates), apply the crossed-request rule above. If the peer's key_exchange is higher, abandon the local update (updating := 0) and continue as responder: send key_update_response, derive new secrets, then proceed with the responder flow. If lower, ignore the peer's request; if equal, abort with "unexpected_message".</t>
          <t>Upon receiving the responder's ACK matching the updated epoch, the initiator completes the transition by synchronizing transmit and receive epochs (tx := rx), disabling retention, and clearing the update flag. The state machine returns to FINISHED, ready for subsequent updates.</t>
          <t>Throughout the process:</t>
          <ul spacing="normal">
            <li>
              <t>Duplicate messages are tolerated (for retransmission handling).</t>
            </li>
            <li>
              <t>Temporary epoch mismatches are permitted while an update is in progress.</t>
            </li>
            <li>
              <t>Application data flows continuously, subject to epoch acceptance rules.</t>
            </li>
          </ul>
          <artset>
            <artwork type="svg"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="832" width="560" viewBox="0 0 560 832" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                <path d="M 8,32 L 8,80" fill="none" stroke="black"/>
                <path d="M 8,160 L 8,192" fill="none" stroke="black"/>
                <path d="M 8,512 L 8,576" fill="none" stroke="black"/>
                <path d="M 8,640 L 8,672" fill="none" stroke="black"/>
                <path d="M 8,784 L 8,816" fill="none" stroke="black"/>
                <path d="M 16,200 L 16,432" fill="none" stroke="black"/>
                <path d="M 56,200 L 56,320" fill="none" stroke="black"/>
                <path d="M 56,352 L 56,400" fill="none" stroke="black"/>
                <path d="M 56,680 L 56,720" fill="none" stroke="black"/>
                <path d="M 88,464 L 88,504" fill="none" stroke="black"/>
                <path d="M 96,200 L 96,368" fill="none" stroke="black"/>
                <path d="M 184,512 L 184,576" fill="none" stroke="black"/>
                <path d="M 192,200 L 192,256" fill="none" stroke="black"/>
                <path d="M 256,160 L 256,192" fill="none" stroke="black"/>
                <path d="M 256,640 L 256,672" fill="none" stroke="black"/>
                <path d="M 280,32 L 280,80" fill="none" stroke="black"/>
                <path d="M 352,784 L 352,816" fill="none" stroke="black"/>
                <path d="M 8,32 L 280,32" fill="none" stroke="black"/>
                <path d="M 8,80 L 280,80" fill="none" stroke="black"/>
                <path d="M 8,160 L 256,160" fill="none" stroke="black"/>
                <path d="M 8,192 L 256,192" fill="none" stroke="black"/>
                <path d="M 192,256 L 208,256" fill="none" stroke="black"/>
                <path d="M 96,368 L 112,368" fill="none" stroke="black"/>
                <path d="M 56,400 L 72,400" fill="none" stroke="black"/>
                <path d="M 16,432 L 32,432" fill="none" stroke="black"/>
                <path d="M 8,512 L 184,512" fill="none" stroke="black"/>
                <path d="M 8,576 L 184,576" fill="none" stroke="black"/>
                <path d="M 8,640 L 256,640" fill="none" stroke="black"/>
                <path d="M 8,672 L 256,672" fill="none" stroke="black"/>
                <path d="M 8,784 L 352,784" fill="none" stroke="black"/>
                <path d="M 8,816 L 352,816" fill="none" stroke="black"/>
                <polygon class="arrowhead" points="200,200 188,194.4 188,205.6" fill="black" transform="rotate(270,192,200)"/>
                <polygon class="arrowhead" points="104,200 92,194.4 92,205.6" fill="black" transform="rotate(270,96,200)"/>
                <polygon class="arrowhead" points="96,504 84,498.4 84,509.6" fill="black" transform="rotate(90,88,504)"/>
                <polygon class="arrowhead" points="64,200 52,194.4 52,205.6" fill="black" transform="rotate(270,56,200)"/>
                <polygon class="arrowhead" points="24,200 12,194.4 12,205.6" fill="black" transform="rotate(270,16,200)"/>
                <g class="text">
                  <text x="40" y="52">START</text>
                  <text x="28" y="68">rx</text>
                  <text x="52" y="68">:=</text>
                  <text x="76" y="68">E;</text>
                  <text x="100" y="68">tx</text>
                  <text x="124" y="68">:=</text>
                  <text x="148" y="68">E,</text>
                  <text x="196" y="68">updating</text>
                  <text x="244" y="68">:=</text>
                  <text x="264" y="68">0</text>
                  <text x="56" y="100">|</text>
                  <text x="16" y="116">(1)</text>
                  <text x="52" y="116">send</text>
                  <text x="88" y="116">Req</text>
                  <text x="140" y="116">[tag=tx]</text>
                  <text x="48" y="132">set</text>
                  <text x="100" y="132">updating</text>
                  <text x="148" y="132">:=</text>
                  <text x="168" y="132">1</text>
                  <text x="56" y="148">v</text>
                  <text x="56" y="180">WAIT_RESP</text>
                  <text x="232" y="260">(A)</text>
                  <text x="268" y="260">recv</text>
                  <text x="308" y="260">peer</text>
                  <text x="344" y="260">Req</text>
                  <text x="404" y="260">(crossed):</text>
                  <text x="236" y="276">if</text>
                  <text x="268" y="276">peer</text>
                  <text x="296" y="276">&lt;</text>
                  <text x="328" y="276">local</text>
                  <text x="372" y="276">-&gt;</text>
                  <text x="412" y="276">IGNORE</text>
                  <text x="488" y="276">(Self-Loop)</text>
                  <text x="236" y="292">if</text>
                  <text x="268" y="292">peer</text>
                  <text x="300" y="292">==</text>
                  <text x="336" y="292">local</text>
                  <text x="372" y="292">-&gt;</text>
                  <text x="408" y="292">ABORT</text>
                  <text x="472" y="292">(Error)</text>
                  <text x="236" y="308">if</text>
                  <text x="268" y="308">peer</text>
                  <text x="296" y="308">&gt;</text>
                  <text x="328" y="308">local</text>
                  <text x="372" y="308">-&gt;</text>
                  <text x="416" y="308">ABANDON</text>
                  <text x="480" y="308">update;</text>
                  <text x="420" y="324">updating</text>
                  <text x="468" y="324">:=</text>
                  <text x="492" y="324">0;</text>
                  <text x="136" y="340">|</text>
                  <text x="440" y="340">act</text>
                  <text x="468" y="340">as</text>
                  <text x="520" y="340">RESPONDER</text>
                  <text x="136" y="372">APP</text>
                  <text x="172" y="372">send</text>
                  <text x="232" y="372">(anytime)</text>
                  <text x="400" y="372">(Self-Loop)</text>
                  <text x="96" y="404">APP</text>
                  <text x="136" y="404">recv:</text>
                  <text x="204" y="404">retain_old</text>
                  <text x="260" y="404">&amp;&amp;</text>
                  <text x="280" y="404">e</text>
                  <text x="300" y="404">==</text>
                  <text x="340" y="404">old_rx</text>
                  <text x="432" y="404">(Self-Loop)</text>
                  <text x="56" y="436">APP</text>
                  <text x="96" y="436">recv:</text>
                  <text x="128" y="436">e</text>
                  <text x="148" y="436">==</text>
                  <text x="172" y="436">rx</text>
                  <text x="440" y="436">(Self-Loop)</text>
                  <text x="116" y="468">recv</text>
                  <text x="156" y="468">Resp</text>
                  <text x="188" y="468">[e</text>
                  <text x="212" y="468">==</text>
                  <text x="240" y="468">rx]</text>
                  <text x="124" y="484">derive</text>
                  <text x="184" y="484">secrets</text>
                  <text x="52" y="532">ACTIVATE</text>
                  <text x="128" y="532">RETENTION</text>
                  <text x="60" y="548">old_rx=rx;</text>
                  <text x="72" y="564">retain_old=1;</text>
                  <text x="148" y="564">rx++</text>
                  <text x="88" y="596">|</text>
                  <text x="16" y="612">(2)</text>
                  <text x="52" y="612">send</text>
                  <text x="88" y="612">NKU</text>
                  <text x="140" y="612">[tag=old</text>
                  <text x="192" y="612">tx]</text>
                  <text x="88" y="628">v</text>
                  <text x="52" y="660">WAIT_ACK</text>
                  <text x="128" y="660">(updating</text>
                  <text x="176" y="660">=</text>
                  <text x="196" y="660">1)</text>
                  <text x="88" y="708">APP</text>
                  <text x="144" y="708">send/recv</text>
                  <text x="216" y="708">allowed</text>
                  <text x="16" y="740">(3)</text>
                  <text x="52" y="740">recv</text>
                  <text x="88" y="740">ACK</text>
                  <text x="136" y="740">[e==rx]</text>
                  <text x="60" y="756">tx=rx;</text>
                  <text x="144" y="756">retain_old=0;</text>
                  <text x="236" y="756">updating</text>
                  <text x="284" y="756">:=</text>
                  <text x="304" y="756">0</text>
                  <text x="56" y="772">v</text>
                  <text x="52" y="804">FINISHED</text>
                </g>
              </svg>
            </artwork>
            <artwork type="ascii-art"><![CDATA[
+---------------------------------+
| START                           |
| rx := E; tx := E, updating := 0 |
+---------------------------------+
      |
(1) send Req [tag=tx]
    set updating := 1
      v
+------------------------------+
| WAIT_RESP                    |
+------------------------------+
 ^    ^    ^           ^
 |    |    |           |
 |    |    |           |
 |    |    |           +-- (A) recv peer Req (crossed):
 |    |    |                if peer < local  -> IGNORE (Self-Loop)
 |    |    |                if peer == local -> ABORT  (Error)
 |    |    |                if peer > local  -> ABANDON update;
 |    |    |                                    updating := 0;
 |         |    |                                    act as RESPONDER
 |    |    |
 |    |    +-- APP send (anytime)           (Self-Loop)
 |    |
 |    +-- APP recv: retain_old && e == old_rx   (Self-Loop)
 |
 +-- APP recv: e == rx                           (Self-Loop)

          | recv Resp [e == rx]
          | derive secrets
          v
+---------------------+
| ACTIVATE RETENTION  |
| old_rx=rx;          |
| retain_old=1; rx++  |
+---------------------+
          |
(2) send NKU [tag=old tx]
          v
+------------------------------+
| WAIT_ACK (updating = 1)      |
+------------------------------+
      |
      |  APP send/recv allowed
      |
(3) recv ACK [e==rx]
    tx=rx; retain_old=0; updating := 0
      v
+------------------------------------------+
| FINISHED                                 |
+------------------------------------------+
]]></artwork>
          </artset>
        </section>
        <section anchor="state-machine-responder">
          <name>State Machine (Responder)</name>
          <t>The responder starts in the START state with synchronized transmit and receive epochs (rx := E; tx := E) and no update in progress. Application data can be transmitted at any time using the sender's current transmit epoch. A receiver must accept application data if the epoch tag on the DTLS record equals the receiver's current receive epoch. If the receiver has retention active (retain_old == true), the receiver must also accept DTLS records whose epoch tag equals the remembered previous epoch.</t>
          <t>Upon receiving an <tt>ExtendedKeyUpdate(key_update_request)</tt> (Req), the responder transitions to RESPOND. The responder may defer sending <tt>ExtendedKeyUpdate(key_update_response)</tt> under load; in that case it must acknowledge the request with an ACK and retransmit the response until it is acknowledged by the initiator, as specified in DTLS considerations. When sent, <tt>ExtendedKeyUpdate(key_update_response)</tt> is tagged with the current tx.</t>
          <t>After an <tt>ExtendedKeyUpdate(new_key_update)</tt> (NKU) is received with the correct epoch, the responder:</t>
          <ol spacing="normal" type="1"><li>
              <t>activates retention (old_rx := rx; retain_old := 1),</t>
            </li>
            <li>
              <t>increments both epochs (rx++, tx++),</t>
            </li>
            <li>
              <t>sends ACK tagged with the new tx (which now equals the new rx),</t>
            </li>
            <li>
              <t>clears updating and enters FINISHED.</t>
            </li>
          </ol>
          <t>Retention at the responder ends automatically on the first APP received under the new rx (then retain_old := 0). APP traffic is otherwise permitted at any time; reordering is tolerated by the acceptance rule.</t>
          <t>APP acceptance rule (receiver): accept if e == rx or (retain_old &amp;&amp; e == old_rx). If retain_old is set and an APP with the new rx arrives, clear retain_old.</t>
          <artset>
            <artwork type="svg"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="624" width="536" viewBox="0 0 536 624" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
                <path d="M 8,32 L 8,80" fill="none" stroke="black"/>
                <path d="M 8,160 L 8,192" fill="none" stroke="black"/>
                <path d="M 8,288 L 8,336" fill="none" stroke="black"/>
                <path d="M 8,400 L 8,480" fill="none" stroke="black"/>
                <path d="M 8,560 L 8,608" fill="none" stroke="black"/>
                <path d="M 56,200 L 56,280" fill="none" stroke="black"/>
                <path d="M 136,288 L 136,336" fill="none" stroke="black"/>
                <path d="M 184,400 L 184,480" fill="none" stroke="black"/>
                <path d="M 192,160 L 192,192" fill="none" stroke="black"/>
                <path d="M 280,32 L 280,80" fill="none" stroke="black"/>
                <path d="M 352,560 L 352,608" fill="none" stroke="black"/>
                <path d="M 8,32 L 280,32" fill="none" stroke="black"/>
                <path d="M 8,80 L 280,80" fill="none" stroke="black"/>
                <path d="M 8,160 L 192,160" fill="none" stroke="black"/>
                <path d="M 8,192 L 192,192" fill="none" stroke="black"/>
                <path d="M 8,288 L 136,288" fill="none" stroke="black"/>
                <path d="M 8,336 L 136,336" fill="none" stroke="black"/>
                <path d="M 8,400 L 184,400" fill="none" stroke="black"/>
                <path d="M 8,480 L 184,480" fill="none" stroke="black"/>
                <path d="M 8,560 L 352,560" fill="none" stroke="black"/>
                <path d="M 8,608 L 352,608" fill="none" stroke="black"/>
                <polygon class="arrowhead" points="64,280 52,274.4 52,285.6" fill="black" transform="rotate(90,56,280)"/>
                <g class="text">
                  <text x="40" y="52">START</text>
                  <text x="28" y="68">rx</text>
                  <text x="52" y="68">:=</text>
                  <text x="76" y="68">E;</text>
                  <text x="100" y="68">tx</text>
                  <text x="124" y="68">:=</text>
                  <text x="148" y="68">E,</text>
                  <text x="196" y="68">updating</text>
                  <text x="244" y="68">:=</text>
                  <text x="264" y="68">0</text>
                  <text x="56" y="100">|</text>
                  <text x="16" y="116">(1)</text>
                  <text x="52" y="116">recv</text>
                  <text x="88" y="116">Req</text>
                  <text x="136" y="116">[e==rx]</text>
                  <text x="48" y="132">set</text>
                  <text x="100" y="132">updating</text>
                  <text x="148" y="132">:=</text>
                  <text x="168" y="132">1</text>
                  <text x="56" y="148">v</text>
                  <text x="48" y="180">RESPOND</text>
                  <text x="84" y="228">send</text>
                  <text x="124" y="228">Resp</text>
                  <text x="180" y="228">[tag=tx]</text>
                  <text x="84" y="244">(may</text>
                  <text x="132" y="244">defer;</text>
                  <text x="172" y="244">if</text>
                  <text x="224" y="244">deferred,</text>
                  <text x="280" y="244">ACK</text>
                  <text x="312" y="244">Req</text>
                  <text x="344" y="244">and</text>
                  <text x="384" y="244">later</text>
                  <text x="452" y="244">retransmit</text>
                  <text x="516" y="244">Resp</text>
                  <text x="96" y="260">until</text>
                  <text x="172" y="260">acknowledged</text>
                  <text x="236" y="260">by</text>
                  <text x="264" y="260">the</text>
                  <text x="324" y="260">initiator)</text>
                  <text x="60" y="308">WAIT_I_NKU</text>
                  <text x="68" y="324">(updating=1)</text>
                  <text x="56" y="356">|</text>
                  <text x="16" y="372">(2)</text>
                  <text x="52" y="372">recv</text>
                  <text x="88" y="372">NKU</text>
                  <text x="136" y="372">[e==rx]</text>
                  <text x="240" y="372">(assert</text>
                  <text x="312" y="372">accepted)</text>
                  <text x="56" y="388">|</text>
                  <text x="52" y="420">ACTIVATE</text>
                  <text x="128" y="420">RETENTION</text>
                  <text x="60" y="436">old_rx=rx;</text>
                  <text x="72" y="452">retain_old=1;</text>
                  <text x="40" y="468">rx=rx</text>
                  <text x="76" y="468">1;</text>
                  <text x="120" y="468">tx=tx+1</text>
                  <text x="56" y="500">|</text>
                  <text x="16" y="516">(3)</text>
                  <text x="52" y="516">send</text>
                  <text x="88" y="516">ACK</text>
                  <text x="140" y="516">[tag=tx]</text>
                  <text x="48" y="532">set</text>
                  <text x="100" y="532">updating</text>
                  <text x="148" y="532">:=</text>
                  <text x="172" y="532">0;</text>
                  <text x="212" y="532">assert</text>
                  <text x="268" y="532">tx==rx</text>
                  <text x="56" y="548">v</text>
                  <text x="52" y="580">FINISHED</text>
                  <text x="72" y="596">(retain_old=0</text>
                  <text x="152" y="596">after</text>
                  <text x="200" y="596">first</text>
                  <text x="240" y="596">APP</text>
                  <text x="268" y="596">at</text>
                  <text x="296" y="596">new</text>
                  <text x="328" y="596">rx)</text>
                </g>
              </svg>
            </artwork>
            <artwork type="ascii-art"><![CDATA[
+---------------------------------+
| START                           |
| rx := E; tx := E, updating := 0 |
+---------------------------------+
      |
(1) recv Req [e==rx]
    set updating := 1
      v
+----------------------+
| RESPOND              |
+----------------------+
      |
      | send Resp [tag=tx]
      | (may defer; if deferred, ACK Req and later retransmit Resp
      |  until acknowledged by the initiator)
      v
+---------------+
| WAIT_I_NKU    |
| (updating=1)  |
+-------+-------+
      |
(2) recv NKU [e==rx]      (assert accepted)
      |
+---------------------+
| ACTIVATE RETENTION  |
| old_rx=rx;          |
| retain_old=1;       |
| rx=rx+1; tx=tx+1    |
+----------+----------+
      |
(3) send ACK [tag=tx]
    set updating := 0; assert tx==rx
      v
+------------------------------------------+
| FINISHED                                 |
| (retain_old=0 after first APP at new rx) |
+------------------------------------------+
]]></artwork>
          </artset>
        </section>
      </section>
    </section>
    <section anchor="overview-of-security-goals">
      <name>Overview of Security Goals</name>
      <t>A complete security analysis of the EKU is outside the scope of this document. This appendix provides an informal description of the primary security goals that EKU is designed to achieve.</t>
      <section anchor="post-compromise-security-pcs">
        <name>Post-Compromise Security (PCS)</name>
        <t>Extended Key Update supports post-compromise security under the assumptions described in <xref target="scope"/>. If an attacker temporarily compromises an endpoint and obtains the traffic keys in use before an Extended Key Update takes place, but the compromise does not persist after the EKU completes, the attacker cannot derive the new keying material established by EKU. This property follows from the use of fresh ephemeral key exchange material during each Extended Key Update, which produces new traffic keys that are independent of the previous ones. This
property provides only best-effort post-compromise security, as it assumes the attacker is not acting as a MiTM
during the Extended Key Update.</t>
        <t>As a result, confidentiality of application data encrypted after the Extended Key Update is preserved even if the earlier traffic keys were exposed.</t>
      </section>
      <section anchor="key-freshness-and-cryptographic-independence">
        <name>Key Freshness and Cryptographic Independence</name>
        <t>Each Extended Key Update derives new traffic keys from ephemeral key exchange material. This ensures strong separation between successive traffic keys:</t>
        <ul spacing="normal">
          <li>
            <t>The new traffic keys established by an Extended Key Update are independent of the previous traffic keys.</t>
          </li>
          <li>
            <t>Compromise of one of traffic keys does not allow recovery of any earlier or later traffic keys.</t>
          </li>
          <li>
            <t>Application data protected under one of the traffic keys cannot be decrypted using keys from another.</t>
          </li>
        </ul>
      </section>
      <section anchor="elimination-of-standard-keyupdate">
        <name>Elimination of Standard KeyUpdate</name>
        <t>Once Extended Key Update has been negotiated for a session, peers rely exclusively on EKU rather than the standard TLS 1.3 KeyUpdate mechanism. Relying solely on Extended Key Update helps maintain PCS properties throughout the lifetime of the TLS session.</t>
      </section>
      <section anchor="detecting-divergent-key-state">
        <name>Detecting Divergent Key State</name>
        <t>As described in <xref target="exported"/>, both Post-handshake Certificate-Based Client Authentication and Exported Authenticators can be used after an Extended Key Update to confirm that both endpoints derived the same
traffic keys. Because the authentication messages produced by these mechanisms depend on values
derived from the updated traffic keys, any divergence in those traffic keys causes validation to fail,
revealing interference by an active attacker.</t>
      </section>
    </section>
  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA+192XIc15Xg+/2K21BEGxCrigQXUQJN2SAAimiSIA2AltWy
DCaqsqrSzMosZ2YBKIFw9G/M2zzNV/TT9J/0l8zZ7pZLYZHcET3RcJgCMvPu
55596ff7qkqqNN7SexdVnI3ikX4dL/WH+SiqYj3OC31cRFk5z4tKv4mWcaGP
4uGiSKqlXj9+c7ShNwePlIpOT4v4bEUfb47UKB9m0QwGGhXRuOoncTXuV2nZ
j6VN/1O87C+oTT+Ff8pKDeE/k7xYbumyGil+V27pbx5+tdnTXz9+/JVSybzY
0lWxKKuHDx588+ChKhens6QskzyrlnMYbX/v+KWKijja0mtm6mvqPC8+TYp8
MYenXQtcUzAj+HAEnWRVXGRx1d/FuStVVlE2OonSPIMRlnGp5smW0roYD+NR
WS1Teap1lQ+9XxNYZ1aZByUMWcTj0v69nAV/VkUytB8P89kM2tq3SZYmmRsG
NrGfJmXVh05O8xQ+6+df3oM3sOuzaD5Psgl/Gy2qaV7AZPvwEn+SDD5+NdDH
5XCaj+MsmcgLPqxXUZbFZfNtPIuSdEtP6fWgsq9/P5ldDGCn5LO8gHGPkhjm
XtbGfAtj/se/X8RZMN7bZDiN4jR8JYNVixie/X487c8W0B8cyWAU+wO9/Y9/
p8f6Q5acDXQ+1tvzeZoAPB4NkzgbxvU5HA/0YTwaLYMpHCfFYhalcXkeFcFr
mcanPBtVSQErhT8HcDD+FA7yT0lUG+VooF8WCR2UG+WoisewY8EbGaDkV4Mx
vvp9ybtXH6h9U9d+gBXlZT6LPk3zNXkzXqQpD/pDVORlGp25b1yXUZb8HFVw
b7b0v5ZDWH8RzmpZmDa//5nf05RUlhczaHcWb8FtzMbuL623D46O9re4Gwt4
2lsEfcCPBAsdxgzpI5pKSdijpAuZTTTAFV7cUp8n1VTvv4cXPX0cD6dZAhOC
tniLpbuomMRwe6ZVNS+37t8fLk9hwpN8cQbber9MAJHcH8XjaJFW98cJHPb9
hw82H95/8M39g+MT6vlk72AwH425O8Q8MN3FBBCNhi+fwGNAan1AeP3DeAI3
D7DUioXubx9sB+u8BqsSIkUkVrYv5/z8fJBEWTSA3u9HgO4mGaGH+xajGgzY
P4vShYEwXsZBfhbPYDtgIQ8fwYudne82v1o5+729vWD2a+8y/T4HdAOHNS9y
QLixhzZbZzzKE5rs5oPB5iZs87AcD2AjvxpsftO+xYDcVb/f19EpbG40BKwL
O4PkRsPiFkVMsAFXdITwUcTDpT5d6nlcIAQisESZjudTuCQFgMZuMh4ncf9V
nKYzeAGIXccXgGmySaxGDFzVNIY7lFQJfA4vRuU0+hT3NCyviocVfjGPYGYI
nguEN4bP+AzucDLWEbwtquVvSgVEYdIHJDTDUUq9DoeA0Jku8ZsiOUOaiOMT
DEfQXwFrmQNOwSGGcVElY+w93tBAtTRSwkK7bR4N9PdTgFea7ukiSYGSZkhu
hdrOYlxVUs40DJmfA8JHDMizBToZwTYMeWJVrk9jDRQHhp8CipRtiGA7iXz2
dFIB+YB9zvIKdgYmCvAKYyhqAadQFfl8qccwMWiVxefBtsL+j3CSMEAO67Ad
wTrOklGs5zXwKQV8Bup4mpQ6TWZJxbMewoHB1zFNTW5JkZSfYE6aNjsFdDMy
0y57ulwMYWdLBZBcIv+xgJnAt0B9F0hU4Xz382OAbCCbaVw/z+wsKXK+TAMA
uVxHoxGsF/YLptWjf3U5j4d8Sjg/QCMJ0kgEOMP/4E4s6idSTaNKCYTC55r3
sQaadv8QPmDW8AiAH1bozoV29XSp6B4QYHbtpX6xxFsypIOtqmj4KS5gX3IY
BZBehadpD26GkIabU8TzGH4fpUtZLoBQkUewp3AkyQR5MII+PAOAr7IExga/
Z4gu8dQIxDyoRTI7WaRAT4sYxoNBgDbLehgap3E6L9UQcFYEi6a7OJvDwulD
PE/XWQmMA7y3WE7zFBHKT/FiAFznMBHBFgrhcFf+GDBKmSWjURor9YVGzq7I
R4shniQcN/R7Pb9LOCEf5qkB5lZUtChh19UqLLS++2pvI7w0q3ARLjsplcF+
CE0ArsNiOcfND+AYthmINoAzbOg4QaYTe7K4KrPAoBi/5KcVfW6xmHZYzMNZ
ATaMJtikQqxYInhGozMArojYmfNpDlMAjDHyZmiwD5J0HnYU0zuY8MBh9ygt
c0Q36QI3NmrFbbR2RnArkZrB7XgKAJinwCJPHaoY6Ff5OWxKIXDu+q9jK9V1
w3qAZxBPEvxBmzwjPI9nOopp4/A0xotsyAg4x6NVcxCWknxhwbaOnKnTbL6o
HLKH6cF2AJlHaJ/AJSqIpJQLbAO8baWIUwLaXQk+hKPPYhq2JFQ+i4A8wrbA
tw6POjSLI+pyGGdwgjlwWIhjlMGpSFdLYHLo7CySg4dJPnII96ZIVpVLYHFn
0JBGwZkCRC1oQ86A14xOkxQnBysdwiyJt8NbbBAG4pBJDiBN+5YjUikXM4Ij
BW0AcSC/gM0ArPaiAk6m0AictBRAKAhq5WKOlzzu6BbnluCqEMhordAez898
Y8ggHBdCmMGePQFdQsuOGUEk24HoS+/Smw2HcxnHVTKDO7+7IJRmUQ4CYRpf
4P7gnnzK8vNMny1ShAjaNwDDXrgWdQ5nM04KOD+YMomVsCJAUZeXv0Mm9nDv
YO+7d8f728f77w6eH77cefL08VdXV9Q/8McJrg1gDXBKjoAFp2zQqeNFlH9N
yzJCAkYQwegVr38OWz+GkyCYgwdFLHtnrkeU0o0StkPh/QPRBQhVSgixBBFG
E8LIJ0U0h+PRRQ6jwzAhROC8gWnA9oIJFLbHSSNWZCRd8WcAEfHfQJqsYIHS
hi4u00X+smQeR8j1qz25m0pZ0jBZJKMI5Ev+MIt4NYAiAfvReZgbQgKPXn9Z
0NeXl/T31dVGj9AlCT4lowi6W7hERzDDtRO+E9BpYYNwv2mnqTtHTOuE+Tig
8DDffFFEBJWEboTOIBOBLJ0yhINgkuFbj5YgXQrmsowF3aGoFO6IoAbAbefd
wcv93b0DALY3+8c/ILA9/erh46srAHTuRdV7wTOUu8eD17EU0TMhPsDGLAjM
DQujAFshNtCttxU7RZAgpiMaDonPyw2VQ6Y4qiK60kUcET3PYdHmeIdAFAiK
iBtF1IhgZnZoALwFobYCxIaezxcFe6R4DW0ACgcjs4eZ5NmQeeoiXoAY0COW
GOnjpIiJmFqKDcCOj3pA8pBPJToBg2Qhw4XChXdDDPtmt8nxJATtCqY7xWOf
ivjkyBvS7hVcMS3LMWsEThYtdHHNytLigf6Qpckn3iHSuyGf5b5s0G5hCyzC
NlAaqbvx28zIwf7HeH1wFqQ4BPxkKMHoGrbtxVKb60yHUcTFIsuwwfrezgYg
FF6DcpsE8A2sLLPZHh8B4yNWCjkeYoUKHHgEUE8aRvgQeIwEANJn7Ad6m5ga
cxm35/h5cqFfYsf/BMf0fL+/O7CK2WI8RB3raVJeXckMV0gCxKi3wzgT72ky
rsrghqjTRQHThUMi3rkLjQyYL4eREeRHN2X8YYXwm5AxIwBoePpP+Adinm82
Hz9FzPMSNmoIwglSH6IUxPeuwVdrOAReN5g3HPpkmi8qYcby4QKFRByVEJQd
3lBqaJjBGZYqx4tzTlwj3xAQ4lH2OI6RN8jTfMKk/BAIUVLEJHqC7JFNFkhF
L7/A2VzxHpDeALjqUq+9/XB0vNbj/+qDd/T74d4fPuwf7u3i70evtt+8sb8o
+eLo1bsPb3bdb67lzru3b/cOdrkxPNXBI7X2dvsHeIPzXHv3HhmF7TdrmkQ1
fzcQEJkHT1BlDvwmghvI4kBNgJc7Zdh7sfP+//7vzcd4FnAMDzc3v4Fj4j++
3nwK1IDwFY9GHDX/Cfu4RBCMQY7Emwp8wTCaA/+alkRqgPsFXgjRKezvlz/i
zvy0pX97OpxvPv5WHuCCg4dmz4KHtGfNJ43GvIktj1qGsbsZPK/tdDjf7R+C
v82+ew9/+zs0A+j+5te/+1aRumIEbDqglgVIOnTZPE0EQCYwYgvUxvhEmW6J
Is6ls4GF3MaRA6Mc4xXR5uKUaq0FTa8x6LSg+jXkfbB/RLrpEo5u/7ohOhUe
NY5DXV6SbhMv+ffIKIKYEAvGDHgGEI1YBFaOCSBM1aE8g0l+oMutWy53jyCT
kALZHKgzH2XXt1BZBNKprMPNO42HkdmFNkObPS2VD2E7oNG4ipknscRIz6dR
iX+XIkhUON8s977wx1VMWM7y9IyQVvNkQJzkw3RcGg74Iz6Pi59OzuFY4hPS
HTDzMoyRtsIDVWshr/w2pOgpY8ewMGs+0hZYmVSrYYoi8Im3fSeyjBPmpU4O
RIIsYISV3/VUyLSu727UCAqvBKcDbGYaDQ3rhKQZuATYNNr3GOkk8P0ITyDG
tB0ZkYEDI7kIA9HynVI7tEBvDaW9EDi7cRpNSkcYAe6RnPdfvtn+rkbU4f/0
MeDYCtUsI9I1G2nYMrGBSKa87QiOf6DxWiFTw8+xZ71mFnACCzjhBawpfCWE
vPUDbmtpPAinOA0+Vx43lk1Axi3X6zuvNjQh9FOEAhSD03g0MZOEbTR6J8+U
sr63B5JWwlwc7yOrm2T5ZXPturZ25UgdapVFwzaBW0cSLh5KgqLhPg+yYq0J
a5jKmG4RnykIXDkJNEvhNVU4mW40zDDp4JoZQ7hjxFN0IkyA3BR51bOYwSEh
hhZ104s0VY6HRUBtwzlvWdYvgU1BE7Qz4V/ZLRjWQRfE4iKOzW5VRpXbpTZn
lqyFpGhDzxEEFmQaMfhpCEiu1+haPAhobUtzecsuwSKEAzxSxJe4194GW4QW
IQcJ8sJQf7SakI9WFUIYQTlkAMNn11/7GiTiclVFTCO+pL21Oj4xJ2X649oi
iy/mJL6eyPhrHzXaayu5gO3bLQeJeA0Ff2hAUMaWHUcezJLQoDxSH820vUWv
773+ANfMTIgYQRSXF/Db17Z9uThF86RBQbgNCVxA1OgMVsmTKNy63WpqnaTf
ckupvv4IKzzhFZ7gVYjLCub3YKPxCg1wJc59k97Bkk/ce3j8cEOpA9iH68el
DWSLLOMxNP0yW+JxwJeXaL3tx58W/ULMx8CkKLVN6BxlV9E/CnyhHN0c22yx
O/HG9hLQRKeI239dgCFuoyzJOncaW9RBS44T0hXQMpgYJhXyHIqUz5H++BI+
R52DvSFwdVfeLphmE9KUWSzLusJIMOeBOA1hikb0xiOcsfISqZvtCV7zoykc
9l4Gh/cR9qEoEnNlWuGOCAZwmB2gRzMzGJFUDLwHqEb1VA0BZVQeVl2tg9jO
UC/u7XCwwSWp9tJJDjRhOmOmllU9xlThYSyYxMpdVA6ygLjEkyg9mUcFoAto
4G3i5SXQTZ9iXJEAV8oK4OOID0UUnqg6AVkd1dg9Q7BVK79iiWOIQZJgH4Wn
+OgxFR+NzRqArck9WFhl+yPLo60I0GnOSoY/JHV8azqECiWK5hX3ze9UVFoI
DXF1HseZd+pVXiizDHEsiItn5koahlGIcu6eCBShKITOFqS7l/5gVn//+9+N
S4iwojf/OaKeFVoItP6L9jZc7cGi9Gd9Dxd6UuJt4lHwERGhChirEwuY4sVy
Bm/NFnloGt705edbtWI+K6fJ3CVME2Z7h068leAqcH136CX4ObtxB5ctUKtx
LXICN+ymdXOvcDnv8RqXN1/Q5Y5zZzlkNHh1mwW19QMd/OUWHfhN/wjS43hJ
K9leVHc6mEtDSW6yjt8acOQP/xKuQ+EcYCotMzRg7o/m/zTA/MdtD6fsRlX0
00Ewg29bP7nBBgwGA/jqR+Do1pskbYNGufGds9vR1iFTwQ07KfoiZMNuOZyd
fdcO3du8dofubSr1Jp7AZQB2Eru5p9FlhIVmVqafAxmaLp3sLShfyAu28Ulo
7vFoA+6yH3SZz8W4hNb8pFrQbPpWs08tDB267w1qzQAoU0bpebTkicgg6xve
GJbXd3YutnGQygc/D/QskVCLkzgq0mVNYSL9X179kv6ttsgyLO2j/AgQcOdh
7CCrtD8DonSXW/qLkDlhx8fnaytkYEL2YjCzBvI1Udy3sQnnKJizvywQ9S0m
snG2mOlLnH3zvoHg0mu84YsDcgu9Cm8MiC30dP3hkycb6qopQRyDiPAM3dmL
xbDiYVu/0SConFT0MXxSokdHpdfNww1uCT8od7dMfMt+gD8B4+zo5TP55Kqz
L17q3TsLNyfs5/6XOp7NgXf88r7f9OpZ27Y9o6NSL5M4HeHBfak/mr34uMVC
iIhfYjFsO36LBb5kgYDmDc2R52MGwnpTo6vSMfPYFVmHqFtUuOEMNGqlYubG
nYDgVEUsS5D0UZU1f1OSqhPi2tfLGD0SjkQUejx4OPhanGWurjbYYiWK0B04
h2QkhnDU/cCLHYH0cY72VxK9qnjO4nAFNzrDiUW2i1AYeSZKGGig4ot4uLDu
hNZwN0rIeaRMk8m0IjPBJm+KZVNJ8itb9rqNdLHARs4AkarJcsatpcOhMyEN
PiCdCfqFshjgJmGVUk6ZlrE85brgyX+Yk3MDCGDzqhfy67IUPC80adVlTZQx
WySPVorqidiNVanVq/Lm07kqrws+Dq/N9g8IX7Ia9i0200IlLHuB6TSPRuLE
lS+KYYxOoOjxnSCgI+0kcjoDaSfx9A7QHan72DcUbncw5VIUH6cxU2NynnC+
cnasEo0q+Sw2fmepHM22tZzUj+TGu55UiiV62d6qtLaSsnn+eNFalRwdvYfy
HtM5lpwbbkusBWXSNHLYpazfngpdRCTGSpEqztlqSlHf4g4g/BCmbM61xq9Z
ZVSVK2NtounIGdZnYIGMoSZ0fGDVDq8LJqMMTPm60+tnwt6a5/kC0GZZseEC
Ic5zT/QhwAzSci61ET7W1+HOXdXOnbvm3Q01NtD4P//tf7UCWX041orXLqgH
a/7hwbAv0DPBzZBNcUFb8dPF2STFKoJVsn4Hh89TWZc+rHeGPsrMlLbTv8aC
lHMUrvePuEnWgxoPiidAO+2c/ZCzpWMFw06UuRBoSySDhNGulr67TLp0aK3L
HCEqFSX0Az1T85JQ5pgoUq9rna20x6xQoXNpodGfc2gd+/IC99FwDtjeXN+P
moJ5UItYJwnGFMYWpJH49Qn6LMkYqZBmC8s9OouyoeGViWU4z8WtmGg64FYe
v0ri/mkRR5/IXhwVSQnXcUmMj4LlsL5tHXEC4Wk68XJK9+uUfPhhlxL0zkFN
HQywAB5FReUS8Dk6otIWz6OkKDfEXpON5jmgflExoiObBCGQd7rxggWBKhX/
ObpdMIE2lS0rG9lgO0zzsq6qFH2bs26Mi4j8dRfsW4dkBub+8ZX5AJnhj2Il
TawIYngnlBlsX8w0OcWZz2TLT9CtnpUT5rGFH/VM8vjaMqb4g7aUh48BcLJJ
NX0WCL3Q8nSJ8hHApkF7QVvDvtvRB2bkjWB2lm8W8W+KqrEt985T5D1raybG
9nozT8/W2gyO8yQfi7CJ/pfcdi8bvRujM/cSRfOOlnL5T5xgvKXbLMGtzb3Y
Kye4wDIbOqzrWnuL9VtfO+gZaX+2as1YJ9TaeCzqoa3wndEatbZBvCuejSdV
MvwU0yL1QXx+xE+P6WFrW1948n48uajtVJrKRGzdIlS5hldWfnN35FkgmnuX
gyVzIyfY7/URXTigQySFf+HElzYhfu8iQgZFKWaSVxonpoDw+ykgvDSwUxhd
fGRDWRqmbxM/JjIWd0kMOY1u76uNTSRC4cmBOjplF8RYCNNI2LPRiBx0jtkh
GmkvIHRy9kEBVUSllV4e7VYT1WY18a++tZm0OVxYi4lSDwf6HXLhrfYpdqSw
/kiRT3nZwKiAWkwmcUGrrJ/OQzgeG4oFn+ew1WcJuuOMA/YXWb4CmQbHwpip
+PEDLMI6UToQ3P47WEJWq0b/x0jyP0aS7qb//xpJVvx4hoKOnxK1BBiRxaGL
N+2zw3LSNcV1wkv2dmxs/HRzo0qXTeU2J3j78e3PF3KBtFFGeIqIW3RCMWes
hNBHewe7JjoY8OEXBuG2jRC2PNzb2dv/457X2IzQalfyT8KO0jGLW+1F93za
zQwPV9kZhEVhbkY7zWhDG7sr6lgJnJHveq5FUvO1oZipiuhwhl7Iw2G+MMKc
pdEqcBFDM1OFkdKzpKLwJHLsAzE9TTgYw0ZRG5kNYzFff3CiupFY/V6k+bKn
aeasN6VpNxzQWEQFOQ7/LKBF2Pn2D9g3iHMTXCfFINQ9sIym+8ngCTIKu6To
HigJuCQ9FQmvHIzapaBzehEYEFmL1ESFVRymb4Rwo+oR/yRiTWB/DctHcjlB
gXGF+0SxaspFlhoPadk7gHsTKw9DGEPVp1qEGxxkkho1I/sLOZ9kF4BN67OT
YTuapz1BDs5EomLsTqVTVH9Ad/dJdUs6C2jjARmrWfAgjC6KI8JFLRllKpbQ
3HieD6dW42CP1Ll9W+1srwG6Em4RAfjMYH0cvEeOaaQZliGf6amL9IYbhbMa
TnNSCFDIxBB9P+HVzOQWEP4bHeWrplVjq9P6cAMlrlECyWabSGPJfQBdiI2P
9bS3N0a0aFSxR6viGi+Kmj2iFHWROX4UAhanf0UtAWxPeP+wK4A8vrSSkOJ0
gUgZ408LUtZRzA45RpOTEgUfhhMTdyTrfia28tA4dWNtOGk09fbO61/FsALz
+BVsK34wI+7+Lc0rHYfUal9hm+wtTCz6xiYW7LrTymJn7vnf+wYNkZ3qvI9x
D4TzQgTSI+sMreEmBpqeg76qOYIsnZFeQiG0QXAAS3TedciLQWsPiChxguZK
CEGxamiUwmGJhPeewa4jV0gNaopY6sgebzQe06XqUDJj/CQQuGg4TTKxRL0L
TER3sw9ZhikykcU45mlUUlix2ZAuG5GHFzhWAlkb1seyTykcWeXt8owDUBv7
/Jsbm2Z7wG1jTFIZo9+o7CvZACiYYdRmN8KhOswfdAREY1h9flezU5vJ2UBi
F+JvWIkswrgG4TbRrAC1D85uRisuJN9XAVszINwDizEyH9C77Z8+rr7uVJvW
KljOaoOVDSRrnNb3RlfjLgJ357indqyE0NptEoNl1m4X9uFtRZ2YGma+fbYk
GMiM98U9Q+CWw+z5BOqdAuPmYCgRUekmgMTQYG8G987AELAH1KG1vuasgnNz
E1zvlF2+1++vbRsZYQRap4FEO98n8+NbHoyLk/nxzQvG0cn8NJXc64/DLxpW
hvUn9Q+axoT1r8NvBGOdOIPSSTJa/6Y5l/CDzQfhF54NYH1zs/OddQPbfNT9
DdsQ1jdrqzGWgvWHtbF9Z7H6FjUVXOvHL3Y3emRjQsEgMCuZAz8Bnnm6/vBJ
rTf2QZM/rkLT1zNlXrQYyX6BlewXmcmo8eZXdlll/LdnXmNE0n1DkcQRq3Vw
I4MCuI3LuHp25/beKm7U3tj5uq17dzXv3dW+9wsMfL/UwvcLTXx3tfH9MiPf
nax8v8jMdzc7390Nfa51Ky7d0nIeO/bp/ooF19rKgjvbXunTfOQ2/YruVIe9
MSRdRk23ewOr4+6NzI6h66SxByZpitnUiO2IfMVNi/TQUy7z2DQ/ZyEDOZNS
N5MLGmZfCPD1liyxjqzvG/Zgo+PDdesKtIFY/X7/Zj9/Vvqz18u+mOXcvvo/
n6HjP9+w4/tK/bizpauL549AdIR/f2qZ9I9HwReqGQpQa+D0xbfv/A5NOo/F
/njBFS2BDHeZ5Z3P7ig0laAhxHv7jz+7rmCV25mEvkAJlOUQuT7LuFKrGl5v
itn4SaFpAI0LJKa8e7NrlJ/GeIKJJymkfTGb44jkd31UxXP9aMsTG/C1Myvw
NPMMPnVuhZ4UYMbvJ9kWfLNeXGw9Ly7ubT6DjQOWC1MA5OloI9zsxzeD5XZ7
Cv643aZFw4JBWDx4/QHFjiqaTIynH+4CzGP9ETuZ79FiSngF/yFfsC2zBV9t
eTIeb8GLd8evsDV5NF6gOgNGoHXeeDGP5YubHi5ITj/pdVjBc1j3hj2fp83z
IdORORyUuPyJPb7FxFbgowYmuk2/N1rwKoRyi8EMNSVK+qklsoZJ3ipyudWI
tSEie3lJfWJ+19BRh3T1LHFbTYtz2DSOK/4lR901p/FCk1o5ILq8ff+F7n+r
/3T/BxTlJZjYhiGRRyFjiHzsay44eX11cR/g0nitoqsi5YLw5+RreYQg32tD
h42HtQf31Ge7Qd7PZ2PR5KngA8E2/ODz3Ufbfv9e+8++xc4f3X+E24X/4eGD
B5+h2W/9NtTJjZoBJg9Gg5e3Hw0RiP/V49Zm0IigRz+CDhBn6ea4j1s7eEwP
XAdf1WfQJ9WL7eCx7eCx/8B18LRln2kGj1d30DIu9HJ9szsCQ3C9K7YB3+Zm
M9rf4VtI1xoQ6wdjDz2WpFSvUZ97+YXncoMee2JeWpHXJAift55mkrAPDZWK
cuAEGVqMgx17xHemAkOVG0XBtCV8DkzOYcIem1nQpqhU9IH1NEPUIzmfnTGl
dRTEM7ioReXMtheVcv7cZN3tDHvEqczyitJ8Wz0gjlzEqrK5uDHMzRoQGom4
JJOl2+d1mJN9O12eFslIUrvKB/f1+z/0X++9tU82ev4IQYpvZ4h27TnNYJAT
F1NEqFPK928s+C72NkwAjmPweIR94ZDmlKJkygPbcxB8zdm82iQ4ayrWuHPY
A51BPoltwgWb7rs+FHvzGzo0XBQFh/jeyExC7W5mD1IuZrhmbbZgxfYeW1tA
nyYuvCbOhtG8XKS0HfThSGlzTsNkDk2wAJHZ8/3Xb42fKEnmAHvv/3D/WIAA
7ZDv/7DTqBUBPTbOMpgFAEC6tIBnQoHsOWMGGN9I7e01Ud0Us/UDc0z9oa+I
zb9NSQPPY/ggsv3JWeCHypnGiGdQrPtMo9M4pSJN2aQULwKbeDGpdJBP0bu0
dOeTzPgIyz13syX16ckBNMFgcYb9DrgJKy/41/0A84aTsH8t3PZqIyhvBOMn
jNjEiw4xOHQhfjWstzARzKq5mHub+jnXVaCn/VeoIW4u+fPnmzqKdYh4v6QH
uSobvAZ2VW5ZBzqEnKKXt9mAXsvZSU6kUUxUZqAOcpOiqO0g0ZGN6QAZmPFa
ImZF/LlARVIIrQNVH+/BSlgR0mH8nANfjp4aot8WWQEB/K0jk4Vd388b8xHl
ksTI6JkoeI6ZS6OO9AyJoU5rlERwtWcee167GdME4KsYTpfCA1vx5C0iqiNG
N7WkFbXztt6mu4Qm+txofdDTa4I4MLvt2sZ1nRhqBmzRq9e7L7HMEyURfx7O
5d7myo7uCavWnMwQqLHhItZ6tU5a4bUFFuurqDd5rm+QFvPOSyj/a5Zwg4yd
d15CfDHXswgLxv0DFwCDYJmJ4pdPF4u+/LrTbfw890ppnGAqen/WdCd3VxbL
wsf+DbG1SpBSoCFYObfLp4NNL72APkpMdIjXAUafiHdemGW9hjps6luMHTEs
gsRKlqqsvJBI/kNeVpwW3zi08KoAresySi0/Q5Uz/FB5lxZZktnb0lilKBRM
wR/BI33lM5+GestQdYfNdeCfNqQKAabIV/45XMJBXLGVP1ymoOyEvaIZTIRJ
Um6BzcWVi1MpgNGa+FnYRWWK8riFmvJVjcW69cFCpGaR8ckkVwUuzcClZJA7
iUajRJLetE3BcUheOmRKvtv3pZCb5AAG+s2h4zfAKb26x3AAuo8s6A6EWZDh
79+oc5uNw/FwKlggSaM1PqPD9ZW5DHWL8a8dHXOp5xhsVmoTvzvQBzmK6cfT
X3coZJXIXdTxS0YCdareqBkx35b+otPZ6s5HxNHCvk+qSdhnwTAhlp5zfnuX
SRyP/XJAFIvM3miUjrfFs944D9YzGnElO3FcIn2HeZ54aZ974vGIUddFFXHi
waFEB9Ap+OGKJDO8P3rdZ0dAh/ilb3hVBkLzWRLRhtRtyC5Vr2rmlUev//Zc
5RytV09MjPtGbsRG9vCyc0KvjI14mTYLonGBk5aTRQSUr4pjlyfHq+xFQf/i
9igZ4UfKm8AsBzCk1CKRrj+WejNI0im/Aep7Tbz6LJ7lBWYVPosBWdLu9dTt
tq8n50w7T3l4nUMs1uwznSlE8VioE6MKhoRMKaejK/g10Huu1lst72eSAYJO
2JXNqUeA0pYL6IjGXqADtWjJPD9IXw7p+VXkNNZ7Q8mIk+jHFGMARAN7o4yS
XtaYkXNGixjoXNEiP5ErEVaZKSVAEjdk6JXOotcq1XqF29irecEKCE8P5C0U
E+4O8Z6iK9uyZw/TFtcjNSYumypRUOmfWGx3LdBh4bMOFBZgfOjgyw7cDQ3i
rh+n2Qc4TfMlKQqpc1PryMJGHUVQRu+Y2BvUd8I2JqXkSHAQhjUxI7c5rNm0
s+OFefeiscSejybwYLnOIN0fGAoX4kXWyvF0XMy2fPj6OLeTK0ByPAXwUgJ9
0g1VSXU4gfikruAXAtIwo4SDfoUYu4Hk3B6sLNJn1E/WaR7L/pFhB2siQs+G
UbVaxBWdNJSpCHGklBvClBYpp1+nert/WMAGLmZ6x6nKlrUAMKVesaIt0LCF
xRbKZLZIgULEuD65IvgkQT09tFNOM2cjjnvuaBEIUtI1szawrhU+XSJEnCaZ
2YV8UQETQ8eOLB8j7EnOZc3CGqNJ6RflUjZRvS1eCaeG8SZePSaEPvgTI+3t
bL3iuVQAVrF6xRTKS2Nf8ZZYUMI9/pvs8dDfY8RuTkdOd2SUm8gpNW3ueClp
ANv4SKq69+qHF4f7u2F1Bu6nz1p/rFpyJLH4Rnkqpacce8jZwzEuXiqsUVXq
HRQ63r55vfc27D8ejqZxf5Z+imdImomTaJm7sU1IUpswBQ27GspJNvLQJH6k
Ty3C3+QsptggpFsZGXdU1yClO2C4VEm1CI/YCHTRLFY++HCBNF9abEE1PY5K
EquCYvU3AY2NgxAIqSWRtpvcsr2ysfZQWBwEKAQyHTOfpd6+IaOHS7ZtOOSz
CFAW0B5XLJA/7T/ZfNgzvz/96msSYeTPzQcPH/NlIkOK1dMnXOUNqQC+8HT0
LIFxGVCYDWXV+U1whr/hzfd2V6/c3Tb+Ltxd3bG7X+ijI9jEH968++7l/ps9
W+xk+3pnN786XZOdMZi1p8IB5OTck/D4oPs0n2A1eDhD1MmaerLzfC7WD1Po
RWH16wQDZGiyjBB7lHTDE2cFLZKpgJe/qJI0+dmlHw/mx1GFH3fe7O8dHJ8c
H26/fLm/c3K0t3O4d4wiycctzbV8x4mEzN1M5vXNPEJReKSjvcM/7h3eaKSb
yUydI+396f27w2MYa9UYLaqy9h6PklmCxaSxpChZ2eQ0zNfBrvbkEqK5Jinr
yT3Uo4d99AMXrYUgnEO4Y1jxk1Bdqzbc+m5glRWfgcAPQ2681yFKCnRgyc0R
U4ZpfBGNANvMqHJtCLtmiUYuarsUfkGUuam7moxrPVFBgbxiSxR2x3toWRre
Q7/2C4r+whJfX9QouJFidqNbWZuGG8/Wy41KQFCVjWTHgLf2y/CxpzqAl3P4
N+Dto1SwYQAjv1zip3Ycg2uLuZodNj6oppXRSXKVcPFlwHUfCWBiHZ9Yv6Rq
QJpiym3FKD9DYw3MHXx5tT9Nre/ap6S/pBqLZpKmULBHKg1rLAWK6KiFC6UU
rC21bqjyyDAvrMNBwJs1yyjkKNpUppJSfZZWCDM+xscouqADVK/mA2GLhGa2
E9ZRjKOhQJyLXRR9o/lOlJtIaDCym4hNd/20Ivb8OaiUo+G0XbEmw7TUhnAh
TTiEm945ymOMwoZcSra2EZSjMXNCFHt2h3tFpeiW7Ofosyzd56o4e6UIp74U
XnHRddIX0s2zCzH8dyBpYJ0qovHcIWf56ywUxZW/pWR2Tc4yiafMEXdv5cKL
NGs5ca90X63OXDKIB72wGS/KRQaHZWC43rXBT8rnTYyWjS32w8rPkxqcjuGB
OA4V954TW4p+wNsmOSUuddtclr0QXgs+EtUQ/lZuS3h/YN/fd6854Mc6evay
ZqmOM+uJeXnUMGU9sPtjkJMsxhWTbKu5HVAXz0rFeQSo6HvdpyesbdvYantc
+9VK34S/N1iMB/q5Ci1tnvWpp9bsXsSfFms9Vfdh8DiCwUAqqBhDOLsS/B0w
a70qm762KltQC8jMQd0AIPhAWg46CTKeoszagNdAeetMHU+sqcP3HUqyBVe2
xFlGSqjSx9r+frwJnTLea6RA4pp0wGSvYeWg4XItKGo3IMptCfIHYsE4WLm1
bOJ7W4vXyFQUNnd0ePzelgXuo1apf7QDjwpU4+ScvT+XxDMwO/ZbMzwe4yME
VRKFNM7FsCuVZ5er2/WwI1a4YeYJQ1P1fFFQJW9T69IrH+wVeKwfkuo8pIHd
HsmdQlHQhtWjyaHM7amPE8qWwfKNOKSY3cowXrhsqDCkVu83Tx9+4wxgHYK2
p3v3XC9FyHWLJRqkjCOMWXro81UnJpVNWRubRdPIuO1vZdvV+p4zp6LCVPLX
SDaNtfLTmu1fON/LS8+99IorJJ7GivZQjMRrjCDWTBM7M+OS2Qur0LbfpmD+
r9/2OG0ycwAgVXgdN6EJVWYp15izajnD4Fg0QvUCLir2Yl+9l21ot44xrHhd
a2yNUlwrsN41Z/AoTVl15xEUtUkSqk61/MtYM2Uw42KqVwoto1Jm5TIbApuX
4WyBeDnutaWwr1eBEPed6jls80rIJ5ldvjgLCS3BCXRSHLY2rSHMQBu32RbB
j7u1wm8x0AGJcHZO6qf+NZlMuc4oc3ycVaUF3TAYaYdruCvD/yLTjQ/60XlU
tHEHmP1lX5SYRGa8SVglEnLmaY4McJpPiBGm5GFcP64iI4GUbjD5UcnfelCj
i5JTjCtWsO+vdwSJhR6yFbM92DlvMwhYt27VhYp8f1OJMIqtqzCOVqvx/KW3
/DDrB+UirYEWz4pigZ5YC+gOXHTYxkZFtuv7eOz3MeC57N54Mk04x1m43p9y
77syxZtOMOzkm6AT0ZeGsL6HzsCeYVB4/0BQ8+Qx6On+rk/wPKaH7VxUwwTN
pJnodNikSIjOkK+wgrNX0wSRL1KuJ08fPOEJO3sTEDhBGsnPnFq8MdOgWK6k
XyMoREWSsxfJVq5EuKzIidAbEnPkwUf5aKBfwjM8YhUYoOoI9dykV3euUZTX
A2PpG8YkFaBk674aRDrYJCAMB1luU7U5K6PNp49J+eszEvzBX6KXaIGT4PU4
mG0sSMoeBrpW6wDLCU4YJrHqDYEKcJAkhiaFpwpjuY8wRQ/tPBQ1QG9dJisy
AjPld4iJpxnkchpocSYwQ85zOP6l8sRfT1UWGAf7Bs/yuiWGGz1AHNfJJ+vD
1AyD0Wq5/NqP3SS1KhWVLkY+ORvBQuG40hywWiFFEUq70PD0WBNSg4+oUkbM
qzN55tY8GjwaPGRtFt6dR083N+nuYHyOuPejHONCtbdD3pLjFISP8d7lgFto
Xm2oGutJc5MrzhtpJVVWA9VsqMyQk6U+Rcuglbh9Nwk+eLqw1tJv5W8yi6Kx
w8+rTXVTnX6FylnE6F0TFQmluDOiW+lbmhXCFtse0WmYM2UJ/XqbVG+Bgs9J
YQFbx+iNzdqWkfMdLQbqiJhxbx7IAAwjwyMzBUR8H5gyR5iNb0JW/pq5GYfJ
KWNfJQpqhZsHvdZUFMSAGus5dklb5aqw2CRRAaH2lOEDxK+SB9DbfJmxna6j
wXQA1mpUEQ9o80kaAKjOc+U8Grbq0Odl1ei/INcmCX9sgqXqAkuRbx5+xZBu
tMW3HkT44jvOcN3V4vrK3EB2l0WvVlcElg8CgKLtIlE17lD0wp32ZiO008iI
hKHqUQQuHoqULORUVkohspYoCWffBW7MgnUzzYqfDi1uhBAEuhym/pF6u73j
vH99vRnuJC08H9eAcv1GZrIN0YYKvJYNgEUixz5AwWUNkIbPQCrf2YlxQOCz
5d1Xd5VYIe2UHHXQVDxJq0G3WYptMttNh6oZgPFyMWla0pp6FmBaXfOQRfBy
8bcDCy7NHhceCXZgIajrWlnFa6fO0/ATYWgTy1ASksUJE1RrvXBT4ID69GSb
rgk55pKmZiVIgEA4GyL6UaC9c/IWDuEHWBbaOauxe1P7kATHqm3RwhAGwprw
1Lc5AI8nbWYYclnZHMA89Kk7g8yGZWIbdzJo+KjRUEXFr3S+mI+YqKUhkXHZ
TiFZAogoLV1AEIVesfjpUUK6mHVmjiA9KZpbXbbudcnCAPc9UIEXgAcI1ou9
9AoyerwVbuLjxoWlrsdRktp4TCXEWqxDhrgPiYewxLIpYhMWtDVlt9/vG6/x
U6dE5gBkTKfaBesI3AQ+nTe7DrtWbc7ZTbY5jGNRluHyn6ra0kXRALxIT/gm
OOV4zuIYF5TiW49kr2qIuMAVkzeqCQj3UEBomim9in9Ee2BrakKjm5RiL0dg
wMV3hRKUxhcc8BnumtGNk2+COIwKw6Vm+cgK0pJn2psgHo5h4I1qxtO4PONl
idaF5Yh29RP7lTLs3xx7q1tc1sjcUk3sTRepwlW58B+XU/xWmJnrazaUYFaj
zbfWiwWS4Es4iLN46TxtWlK/nRi1Afl59FhuNJPEK9QDSQpaDRcppqVDVS7p
JtgT14jIyOyT3EryI5HMXNt6rE79B5JAXe4dB1SD6f6+56Lf7iVLx7dS5GKJ
qRlooGtaf5o60op8CNi3zfysKC28wJlXN03flKdVdZ72/attYkeDMP02c6D1
FV+YgpQfDcx+dBmJO/DqY4NVRdUu3CP5+jWoU7dvrjbJAER6E5RDO4O/fGyy
tB/JSUNscdYmbjGjSZTvp+BWHM4kqRzZo5mMiaFK3nDdgPaXBCt3l0q2627R
6DTk/PKzkL5iVnSAFTh8USk7zpXIRJfnhRU4OTe6hqN36RLChOiNaGE/Qzn2
vST1EMKqkQeN/Q7/YJ1926Js5AEOfm6StIfLq8/kS0zgi99bbZnpZdThylW7
V15OiKk4Wy3jyueqM0mAX3dOt2ESNR0Aq38jrjrZ5wxGuEfsatgjx2h7TfnM
bT0C7MlQcsy3jpkqOB2RZ2mwOcJsmQnkaFrh22oWtRnRFTeLvRgKoUOo+l8d
SyL6ceKVfI5wNfKym8OU1Cp0tDv8UCNyHZhahSPOp32sUDjiSA3Wb9I68fr6
u13PPl/HVr7q/ItVMt+L2Ol7buEfQuoYR2x7rWKHpaRRFyX3rwp6UFDGd1Jt
14uOM5nmxLOtyv6BClnlAJ6d6zwSPqFgH4OpGCB0IXOjnO4XbAY7PNZwZjQ7
TSaLpFoG6DjL0aE1AdL7s7F/E/Y1m0Z1S3EBwk+bybTvj/KSM2BlHutJWA/M
MN4yNKRhiMuaxzA3dQFH/CJCwOEIPuPYKbu70uYOrHeaBgZhv1QQm6IJmwql
tFh1sInP/gl/fY6M8Objp/DW524JKzPPcjTMudY9TsFzqbz8osQ3V+0xgBxk
VJoUPIS0mi5VRiz02Xxfy9JjNS+KMEwcKy8sDTFJnk1yQnFk8MCZo7zkXNeO
p35EN/AZcTp2+mPjEoIa9j6CO1obziTWqMS69RixR44WEktIcpPxeeKQdJJL
l1yWcTkX47oEohNxleCtmNl4FwEQqeNiUSLA7V3AJwQ3e9lZUuQZger68d7e
Rg84/GJE3LSFvLc5OqTq9VdHbzd6Cq1K0s/7NKpQbWi/OH7/doOC6/Bsi6hE
9VATSbp4V5k2bq0YLAr0CXKKMa450hMumexbvHE2zmy0oLxSEhyH9yCVeMqi
HRSQTyUWdcAcT4vLlBK2v4j7ngK6Z1Q6hmjbduTF6uwmxN2RgNWhFQviTdvh
GWcAeA33h5WIJK1wbU0yW4u7rAVPOwEqM+TgU3gDlEColgBqDkdY9ymiAFOp
EmQ/b7khtWMj/UhmjRHIy/WTrF9hLFAyGqXxtcEylYjUyhXl5NvBy7UIZpGl
OKvLS2u9uTLBROxn64VtOR1+KHiHTY2nei/cO/SxACwNm5JnZNpHx3TDBPQo
Ehsjhqo4qAvG9k0TXMYgn6fK+qT5ZeC1U91Pb81hi2WSJf64i3CEvlHeKmti
mim8jvcvkJvoeP3og1CRDCzxUvtaB7xhdmskdi2om1YZGmm9dljxxJV3gkpm
yNzQafDBBvGwdFlLw2aGEp7ViAu/aPNH+BFoPRPaYtvVNPY9m36+8wPDqotf
683TFqAHCxvYCWWRzSNjURATmvX4NuNtaIa5uSJ5Mrp/K8lA70rUu1jTO0zR
pJhynRlzuX+BlYu3FwJnt5/55o7gfPnYON+TzVV1T8fUdBOjS+uJht5tqGxR
Xr6ExjYxDS0DTDpYGbhxy0wDgWc7kfeU1AIs0FA8ekkGTPb57m7vwppJDN1D
TOQH5CDjThsIQOPUYcEu9S2HbfkSXTdwWKmG3E7JMWxlD4Dukbm2FiLk8PlJ
uEJOUh9n0KSfj/uYGjYZom4xP9pgqfwar06A5xhLg4myxnKs6GOFWuk+kBu4
ElwXCsB6Gkdwo7ZhoihIoKcDUjq5dFLIj6MpphEWptx5/0ETrpQEC7YymM0r
wIEV5OlxFruk1yQq4ArrW2mKBrJeIdA7zKDDCX9Gp/kmMXXGxtRhNuRSkKSo
jUete2NGRo7BbPSAnAppoVJWk7VEXWbbpgIjyjhOy1106yliiLK92ui4Nyam
GBrAN6nkJsL4TQpUIr7NSv/0GY1YwVFiDBbzCcY9V7ogTQNVPoJJry0y4/Fz
IkhvjVOcCOYl0ZC9Lnx3b77D7zzR5rtFMoqwBJzatUkP7BnF6NLFDr4td5s5
MmwsyJQq3eHw4wjkS6ch8aJqqXq7d5gFWauFh3Kl9uCOkOsPxtzZTDvIpWgj
AWtS7qcJlW5iY3GU0lw6UcUpXP8xpcOZIHKr4MuKUZuG62Y5ZBIj97cPthsS
pFSxf5lGE/iLPpHCaHFpfK9GoxpMY+jg0rAMa7b9mrKZYyRiGb4iORDz3fUP
5dHVFV0E/Uf0rdvSxy92N/FP7EIfRDN41FaBHL6QVNTllt551dN7e/jsELmK
GX29pX/gJ2ScG0I/Pwam7Z/saoMCQL9g1UE/a+pWa36If+7GrJqGHetcNbl6
vXt9s9U1chjZ/N1Hi1Os2VPqQzvLLxLAo/3406JvZn7VsRmIkCm/CpJju0za
g+tHXOt5wp2yVq61Y1vR9w1Z2aysuQ79bnDZc1QIlWuroUncLIKpib671Lxm
q5JqdeKVyGsiTYYBI0tOVrmMP7ZrFs1NHBDcrM98qvqzf5z4Fx8c/GYPjZJo
Y+bsln/hzQP4vZmFFB7+AP8P3TTw883651Jqsuv7h/A0TGnV+emj/sMnT+DN
hywqS44K+Iz/U+oAlZ70jNGqyOwdsHBMAOA2T2If4HbN0PTCeSZOlwx1xm/3
KAgPPTR2DMdFXl7+7vDlztebD7/C8BT2r8xTIwcqDjmNJMIMCAhHkrXWat58
iq2ou8eokZLuGl2oy0s7pA6C9shlpx7QOl+AADVEz3JnFZZgsiAHEyfeAOpH
Vrosrvq7wAdXet3YiRDzi5WAo1KpZxbNSBkPs9rQHLEHJARDp+xBSllkicaW
IN2SahShE+loQUeCKjyMOFrMelz3dinx2+iEzwR2OzMbiYoT49QyyylbWX8E
jAsWRj5L4nPxm6xMhnP4FJWQU2LFUPLG+tyAMDOePSY2yosy9kp8Xo9QREUY
xH5zRoRbofIkLgNkHnb4hjq8DUXrQgPe5UdVpr1i3WigM18DFVogaU0cccmw
lSZefjgR2NvwXOOe6wM/6sLGyXdZiXFqnQkeWqcmAYz/NVNryQgB/ezVfQ/+
gXNQeICUYQq4re2gfi2A5vex+NlTJXpOSZZ9EsXV7BRdjOQGrB0f/fH772y0
oMZQQnXoDAolQhgG1R/H0WzNd1pgC4D1BpF+8bKrLPd8D9hq3KOIc2ZM3kYg
AqW5PkwwACDXb+KkAskSX/1rhNkIfv45Ar5YH0XFJ378NppkICp8j9esSBeU
x1z/Sz7NMFSuKss8wwc7abQYJTnI2MU4KRJ89CdAwG9APKZOEpD64lQf/8e/
X8TU4BWahUGkLIfTfAxCJH32Wh8nxQLku7g8h9kfxqPREp+/AJxUIG48RO5c
qW1r+MDsa+fdOw6jJnbDleNEsC8RWGFpefEJwfg7zJEEKLk8O59s6O/yApDA
S2g/XRRsAVWwewAQ0DJGq3aQ/t2GwFDWS+QeIjgn9N7ASsF4IpneXVBWjJfJ
6onL18fTfFai5LQPJ5mAQLkozyJglnrqRZz9FUuq6tfRaPGph2aUqgLGejEt
8LRBJgeaq/8FIJTa70aAx7Vp1FN4btPkr5g5COcEjwAcxhEQoqNp/Gna/wHY
qHEPzjjWL5Ki6L9PLirsZ69IhnAmJdzyFGaBe4hz1N9LvI8DUCYSmln2qpRa
VITjuUZ1KSmSJO0gkAuMvDC0m2mtX9N6ZfoSZe1d9FWbnd+kZPL7NInFLW+z
PceYxeTCpMlj/T92acvpJWexMoG3os0DupOISo5or8SMsJwtYvAYVkdXdWni
1eD/IH9ifwO0BZt6B0iV8XYDQopQyDR2xGB6dt5GVWjGUacx8BkY0xJYiwn1
cMjRaGkZXZcigTxTKMcTs+4jYk2QfJdS+gDJGgIumnTh5uWkJkLlDZ4dQHF0
eopHboR2u26b7AbZQ0BA+ktk83S/pfyEScXP35Tzjo9sYYovqbpO20e1bK74
KRbO6XuomhkRMzvin7xYW9yiXbJqUlssodNUM86jJeoMSjLlez51CHk10HUe
jATmZsPRVZwKfRFik4ps5P9NOfdsaAPrTUZ+GWrO+QV4pmYBwU5tPB1p69oB
3rgEOE7J1KciKnGwQHoCnUoCKqygrLFUsv7Pf/s/ktWBATh1Z+379gjQEfVh
EyZb4VAvFldV0Pc29v0i7Nv6bmIymcJpY6JgGOzuKE7H/TTP56WtrOWx67T6
WlYZ1lCxH4G5qGSdGFi9AZ5hE135JnhBVLWa5nJMJhAyBANx1bB1MMMRKM2E
jqLybNJeSInrZh0dbx8e15OvI1eEUIJQ/1wUUj3zQqDGf8cvFlIi6fmDoKvO
wc0HAAwMk3iTyVDOUbxBLjj6uowrN4pJXn+2annfb+8fnxzuHb2vL891c7PJ
ftb6z/iP/jMCGG7CGSsrcdLrpM1G0wcr7Ta26FP4ltNJFOzEOfAzC+JtpHUG
T7kdNuyjkZZG+C1/t6X3vzt4d7jnDUu7hmIaLGRDmkJb1/T5c9N2+wXwuK2q
UtMuaPita7d9sPvuQI5EaukqL83/l+GpPAjfiaEXT+Ddwe7e4ZY5acDHdNTB
IfdUUD9APIdRP+O7xmfWP4vyyHv3A6miwtNF3MJn5EbCbab0f3b6zf7NG5ok
koP1uo0MY04RpdrtFn0I4V1EpOvm4uit55rKMoYfenhZr3t3qf55bVf1DYD9
5f7B/tGrvd3aXe5sQTlhMKMaUtI+rdeLdyKbQLjoAXzFBtYUNTlDV4dZAlhL
CvKCdUxy9lIELNwNedjdDt+cvrFUbGmQT4yp1uix6PzevPt+71Cn8UUytD5V
/tV5hsALDSjZ7inw5IIfbRXg/874UWD5b3dEg3L/6qtYhe1W3VO6YZRPgfgK
/JQC4see7eMZAfIMzWYl5zkfxp7JbFzEMcF6+yWs3aqy/VphdRLC8PsnB1Qe
69qNcF/XjvO29MAejkE012CLdgxQtqOAzvv/j7z+7p64k6Xz9+xZ61lOTMiC
cremyw1ByO6Yk6p+0kj98LR/deQRlDT/R3FXx8RV44fbRiQxHpQ+t+vYZyrx
5n/KGf9KJzm1s9ADPIPiAmiwRSjWtGsYdQlI62OZYfudKdoqkTBePEo0mZDs
uKjY79B4hGAPe0jsTZo1VykWXxmogy+qYhFbp/lPrlJukEw5cFnvI8yf0DoC
w3CwBHSpiEUiEH8vm+YAu2DPshO8PX2JoYKJWH9wl14AlliaAbnuMu1ONHmO
pb55Csd/6nsL1OdFUqHKheKuG3uDzePnXmtJVBNNQKIGKI1H0hAr0My8hnr9
3AgJxEAh9dzA3uytvC+05L7HlN73EZJ5IX9s7xzv/3H7eA/wxfHewfE+MGH3
LSKXb1kMtfXMELDKZ25IvxpbWcXRyETnsTJTMm8A5AkVdp4KeFO9gGMv/VLq
1VDoUJ9YNUKLScp6JbEDiFcE2XDK2DCgNiHbzIlVTKENjz/AdphPt6jxCHzs
hKEwbI+4ixEtEFuYPC3o88q8gx86wM2Im+BBVrob2E5x035T2rJPZOhnd4tM
ponMdJ7FtdGiU8z2i+Iu2ceMN7q3qyY/SumPY0MqSofNBH0FaFGvW1lR/Gkc
KgS4KJxRjiGVYYXWPYuq4dRmjEKydYHUao/qtuMvGxSNL5EeJJ1QaGtG2d8c
wK9b5AKNNjfQtRGRy3mU4MMe6UZIGyKxbOyYwplJKWnful+v3ffKri42fKXG
CHEE19Mweg/smxEHuUag+wnrT/y8cY4cABJaFFnp8UAR4QG7Ff7oxUU9GZJx
WDM5JDx3qoqJJm8WXnYufF9fGaK/6oIh3aNZQ079X3qZYbAixpZtY/NfOCzr
u9nE7gNymOIYVnaVaSilktJRIeYDOGkJQwHH2nqxLSZ7kNNJzPIzNpcZfGV8
NAlLtiAIwwsw1QF49ICnLmb3PMepYShI8PHCzcXkP+G1DNCJvZ09c/u8GyoX
LwDaBxs2zxPFH/iXTqTbFtN673ph1q9p4cmzNHvCaz1fNAqvfkP2kcyV7XzT
hzlZJb0aVm5M6BOJSgDkJqUE5zWqwblLK0FKSAcLp0BsbBorKVjFfIqvezT4
hNFIcQFnyoVoAqaAoXOYxlERTgq2KJrwFQnZKnN7AfIMOUT+AUngWFyPxd/T
OFohRiQ3gnxRGaUz4lpSYO4u+GL4brV4EnlqSgpirzAor5FrCCGXhOvYQL3i
sWTrWcr1g49ok6UnjnunyGYTGriw/v4Bh/Wln6OPb+mYalMLSFJtIfI7/ytG
+qL7Ig1YQ33l4AYScE3CaBWGa4JUnTD0dHB7ugWSdvHK1w3+iIxddfFTQz4i
YnKdiOQvpFUteK3I5E3vL/ih+0d+/qK4AKb7x3Z52xcwhRWKxo2trnb0U9Mc
aqweK8rDddJvv8nz+caNujAaROyChTGQ0ooCOYibNP/Wm4FRJTJcP1vZvu0n
gCPTXN+uj7o+MpiE/wfuPzIMBHzrwH4g97Hh9dSykSpsike35csy//zPOsYN
FYGl3oeqtaRv6buuH7+9V0/1s6f6/FF6+Sl4H+bP8l513R68NC0CCd14Xs7z
4uKZNwQpwszKn28+gyncu9d9t+750yOlilXB0q1nXuinG8y0ec+RnjkSjmyn
Gef6ey4fmn2zIHGfdjjiAh4OWz2SC4tD/ghypNn3irfH25EHz0J4vin2qq+w
VenT9nMTvOv1TMqhFgnCaolEggjUJ6skCMcLmIRTXaxAQ7QwqSANQfSoYZMW
SjiKGUHSs1j5weX+wGMkfqddj4JxAVbfwGIgEdAWHnlc0xQID0m6KXZhYt6s
9Llwf+RQv2PYVTv6NPKZfQkRXPcQC9xwVJBs9MJ2PGvMui1T92aEDDbGi7pZ
B1O06hmXA1KSQNWYR9jtlvqnTb5+4yPCzt/sFF1u1yCBgyBmI943NZJG13zd
oGLW/+hrpBk2JXYKNZVyrNaI3zQ6wPLwLjOYWgDxfHNimwyzEWMvUdGWVe41
ou53JZeJ51gvwX6UWefmi0zKhvTo5GKMdDd5+W5Sq3b9QPL0WVHadWrSxzhJ
wAk/VF+pTTxdF4JHDL6PBVkJ0MN2VhQtAwlzHckGDAT/8ncsNOOZ1BdMWZMv
UA+HUcBwDD5Ek4/3BXdBYkTp0K+nqDDYFLbs0F24qgazrORYVDn623AItVx5
LnshJJz3zoXW8RzQQ5eq5fmb8GBjQK1MODnmKUZX2nOM2XCigYfInpk0P2R4
KT1JxKQ6CNl9BIIW/YcxPxQbWwZJoCQpnAeINOud/MsGISrvNSncGaXjtYHR
grNBFS3L9j0+Aq/tfxtZxNjhAup+a1HkLia5Oivi7HOBWISvnGmO9AImIUiP
ro1RzXFWWA+pYV+O0WGsthKfbXQus2lpw9OwPNhz5MDcUu811hgY1WSn+d16
BOJPUVml1IZt84/iW31ogm/vbSI0wXbf22yM6/8a8IR0VsQTrpJggSWU1cEA
MNR/AUv42b/fzx+IXcBhsagymPNO/KP6Qr87Q6dYTP03dnE63+UR+txvu0RP
XraRKF2WSeln58G/FhUSSWbcTI6PtoIzkfFp9OoJAciO2bds5DnYW5fKZIZa
GRdEmzPRiCozOMd0SEgA8MHxWbw6/levv9/BkNU2b29JDLoiCrhW/HjOzFEt
DIXTmVzZrAw2M/T1SaE5o8spJ28QpZ2rT8ZV5E3AfEdMqLhyppQVT+I2/Kh7
V/yac6GE2QDqgfd+KgVs5GUMFO15UE/CzzIAOInSC9DZw+gYa7I0IVYur5oU
Fpa6ba1R4a5/sUhSHoeOiqIJV4zB7Ddlo1wDw05EMS6NYlGWn86zWOrGKjtv
C7PkCHwKC+3H4zGl5e8AFuIpKUiWM9gE2yk5KyKOqSAvxbfJ8Vu1OsVGIzFS
PYHIeFUmAe+gO3KXSITdyNZRJuEpKtKExQG3j+e2xD0Xaf2CunqJh5hhbg+E
450gx9K+3XAM4t3rOMHANhOMSABzDXyYylYSylVWINROvMps1sVazKsEyt4g
pE8+njbLfNQBu+PuXQdYYeWQL/0sSLnLeuKP61LUU7kCWyVd3MfN2WByAmIa
6iM0ZHCvIjy7wbhUK8HAct/D7BEkoLvTkDA0SUWNMc6ZjaY5MvUjrTQjlryu
bNKUQs85mJhksRwY3xNjNyVagmNPF3h2zNxTLrWoCqy4tnqlV4GzmfXqEHqg
kCZg0KWvtsnF6bx06WCAfBhsxiVpA8NEvYKZl0VBvGJsit5dm3sfByNdDl3v
GjVxiW56LH7dLdnMygILopjh4lWr8sRXbZn6XTK/epmEIAfXQPsJ6jqy17iK
tMzSlrUMQHP2VxPfgGaWzrYU6z2JtLDZkEnXgBqWGsRTcmgvLzOslvIrK8xo
E5HZy6aZxn4YEdisn4zaB+r/AaZQgMEv/QAA

-->

</rfc>
