<?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.21 (Ruby 3.3.6) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-kohbrok-mimi-portability-03" category="info" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.25.0 -->
  <front>
    <title abbrev="MIMI">MIMI Portability</title>
    <seriesInfo name="Internet-Draft" value="draft-kohbrok-mimi-portability-03"/>
    <author initials="K." surname="Kohbrok" fullname="Konrad Kohbrok">
      <organization>Phoenix R&amp;D</organization>
      <address>
        <email>konrad.kohbrok@datashrine.de</email>
      </address>
    </author>
    <author initials="R." surname="Robert" fullname="Raphael Robert">
      <organization>Phoenix R&amp;D</organization>
      <address>
        <email>ietf@raphaelrobert.com</email>
      </address>
    </author>
    <date year="2025" month="January" day="10"/>
    <area>Security</area>
    <keyword>Internet-Draft</keyword>
    <abstract>
      <?line 24?>

<t>This document describes MIMI Portability mechanisms.</t>
    </abstract>
  </front>
  <middle>
    <?line 28?>

<section anchor="introduction">
      <name>Introduction</name>
      <t>draft-robert-mimi-delivery-service and others describe a transport and delivery
mechanism for messages in a federated environment that relies on the concept of
a fixed Delivery Service that is in charge of orchestrating the communication
for a given MLS group. All clients of a given MLS group agree on what Delivery
Service to use and rely on it to solve the problem of Commit message ordering.</t>
      <t>While having a fixed Delivery Service solves a class of synchronization
problems, it can sometimes be a limiting factor, especially because it
introduces reliance on a specific operator. There are legitimate scenarios where
the operator of a Delivery Service no longer wants to operate it, or where the
users of a group want to switch to a different Delivery Service.</t>
      <t>This document describes mechanisms that allow users to switch an MLS group to a
different Delivery Service.</t>
      <section anchor="change-log">
        <name>Change Log</name>
        <t>draft-01</t>
        <ul spacing="normal">
          <li>
            <t>Version bump to prevent expiration</t>
          </li>
        </ul>
        <t>draft-02</t>
        <ul spacing="normal">
          <li>
            <t>Version bump to prevent expiration</t>
          </li>
        </ul>
        <t>draft-03</t>
        <ul spacing="normal">
          <li>
            <t>Version bump to prevent expiration</t>
          </li>
        </ul>
      </section>
    </section>
    <section anchor="architecture">
      <name>Architecture</name>
      <t>We consider two distinct Delivery Services, the <em>Source Delivery Service</em> and
the <em>Target Delivery Service</em>. The Source Delivery Service is where the MLS
group currently resides, and the Target Delivery Service is where the MLS group
should be moved to. The Source Delivery Service and the Target Delivery Service
have distinct domain names.</t>
      <t>The Source Delivery Service is responsible for exporting the MLS group state and
sending it to the Target Delivery Service. The Target Delivery Service is
responsible for importing the MLS group state and making it available to the
members of the MLS group.</t>
      <t>Once the MLS group state has been imported into the Target Delivery Service, the
Source Delivery Service no longer has any responsibility for the MLS group. The
Source Delivery Service can delete the MLS group state and all associated
metadata.</t>
      <artset>
        <artwork type="svg"><svg xmlns="http://www.w3.org/2000/svg" version="1.1" height="336" width="672" viewBox="0 0 672 336" class="diagram" text-anchor="middle" font-family="monospace" font-size="13px" stroke-linecap="round">
            <path d="M 8,48 L 8,320" fill="none" stroke="black"/>
            <path d="M 216,48 L 216,72" fill="none" stroke="black"/>
            <path d="M 216,88 L 216,120" fill="none" stroke="black"/>
            <path d="M 216,136 L 216,320" fill="none" stroke="black"/>
            <path d="M 488,48 L 488,320" fill="none" stroke="black"/>
            <path d="M 8,80 L 480,80" fill="none" stroke="black"/>
            <path d="M 16,128 L 488,128" fill="none" stroke="black"/>
            <path d="M 8,176 L 208,176" fill="none" stroke="black"/>
            <path d="M 216,224 L 480,224" fill="none" stroke="black"/>
            <path d="M 224,272 L 488,272" fill="none" stroke="black"/>
            <path d="M 16,320 L 216,320" fill="none" stroke="black"/>
            <polygon class="arrowhead" points="488,224 476,218.4 476,229.6" fill="black" transform="rotate(0,480,224)"/>
            <polygon class="arrowhead" points="488,80 476,74.4 476,85.6" fill="black" transform="rotate(0,480,80)"/>
            <polygon class="arrowhead" points="232,272 220,266.4 220,277.6" fill="black" transform="rotate(180,224,272)"/>
            <polygon class="arrowhead" points="216,176 204,170.4 204,181.6" fill="black" transform="rotate(0,208,176)"/>
            <polygon class="arrowhead" points="24,320 12,314.4 12,325.6" fill="black" transform="rotate(180,16,320)"/>
            <polygon class="arrowhead" points="24,128 12,122.4 12,133.6" fill="black" transform="rotate(180,16,128)"/>
            <g class="text">
              <text x="28" y="36">Client</text>
              <text x="236" y="36">Source</text>
              <text x="300" y="36">Delivery</text>
              <text x="368" y="36">Service</text>
              <text x="508" y="36">Target</text>
              <text x="572" y="36">Delivery</text>
              <text x="640" y="36">Service</text>
              <text x="84" y="68">MigrationRequest</text>
              <text x="88" y="116">MigrationResponse</text>
              <text x="72" y="164">MigrationInit</text>
              <text x="292" y="212">MigrationContent</text>
              <text x="320" y="260">TargetMigrationComplete</text>
              <text x="104" y="308">MigrationConfirmation</text>
            </g>
          </svg>
        </artwork>
        <artwork type="ascii-art"><![CDATA[
Client                    Source Delivery Service           Target Delivery Service
|                         |                                 |
| MigrationRequest        |                                 |
+---------------------------------------------------------->|
|                         |                                 |
| MigrationResponse       |                                 |
|<----------------------------------------------------------+
|                         |                                 |
| MigrationInit           |                                 |
+------------------------>|                                 |
|                         |                                 |
|                         | MigrationContent                |
|                         +-------------------------------->|
|                         |                                 |
|                         | TargetMigrationComplete         |
|                         |<--------------------------------+
|                         |                                 |
| MigrationConfirmation   |                                 |
|<------------------------+                                 |
]]></artwork>
      </artset>
      <t>TODO: The MLS group ID is fixed for the lifetime of a group and cannot be
changed. This requires group IDs to be globally unique across all relevant
Delivery Services. Even though this could be solved using a UUID, groups should
also be tied to a specific owning delivery service.</t>
    </section>
    <section anchor="migration">
      <name>Migration</name>
      <t>TODO: Describe what keys are used for the signatures.</t>
      <t>TODO: Describe that the crypto primitives should be aligned with the ciphersuite
of the MLS group.</t>
      <section anchor="requesting-a-migration">
        <name>Requesting a migration</name>
        <t>The migration process is initiated by a client of the MLS group. The client
requests a MigrationResponse from the Target Delivery Service. The Target
Delivery Service returns a MigrationResponse that can be used by the Source
Delivery Service to transfer the MLS group state to the Target Delivery Service.</t>
        <t>The client sends the following MigrationRequest message to the Target Delivery
Service:</t>
        <sourcecode type="tls"><![CDATA[
struct {
  opaque source_domain_name<V>;
  opaque target_domain_name<V>;
  opaque group_id<V>;
  uint64 epoch;
} MigrationRequest;
]]></sourcecode>
        <t>The Target Delivery Service responds with a MigrationResponse message:</t>
        <sourcecode type="tls"><![CDATA[
struct {
  MigrationRequest migration_request;
  uint8[32] nonce;
  opaque signature<V>;
} MigrationResponse;
]]></sourcecode>
      </section>
      <section anchor="initiating-a-migration">
        <name>Initiating a migration</name>
        <t>The client sends the following MigrationInit message to the Source
Delivery Service:</t>
        <sourcecode type="tls"><![CDATA[
struct {
  MigrationResponse migration_response;
  opaque signature<V>;
} MigrationInit;

struct {
  opaque target_ds_domain<V>;
} MigrationCommitAAD
]]></sourcecode>
        <t>The client also sends a Commit message to the group, where the AAD consists of a
serialized MigrationCommitAAD struct.</t>
        <t>The Source Delivery Service sends a MigrationContent message to the Target
Delivery Service:</t>
        <sourcecode type="tls"><![CDATA[
struct {
  MigrationResponse migration_response;
  opaque group_state<V>;
  opaque signature<V>;
} MigrationContent;
]]></sourcecode>
        <t>The Target Delivery Service responds with a TargetMigrationComplete message:</t>
        <sourcecode type="tls"><![CDATA[
struct {
  opaque migration_content_hash<V>;
  opaque signature<V>;
} TargetMigrationComplete;
]]></sourcecode>
        <t>The Source Delivery Service proceeds to fan out the client's Commit message that
includes the MigrationCommmitAAD to the group.</t>
        <t>Finally, the Source Delivery Service responds to the client with a
MigrationConfirmation message:</t>
        <sourcecode type="tls"><![CDATA[
struct {
  opaque domain_name<V>;
  uint8[32] nonce;
  opaque group_id<V>;
  opaque signature<V>;
} MigrationConfirmation;
]]></sourcecode>
        <t>The Source Delivery Service can now delete the MLS group state and all
associated metadata.</t>
        <t>Clients can now send messages to the group using the Target Delivery Service.</t>
      </section>
    </section>
    <section anchor="authorization">
      <name>Authorization</name>
      <t>In general, whether a client is allowed to migrate an MLS group from one
Delivery Service to another is a policy decision that is made by the operator of
the Source Delivery Service. The Source Delivery Service MUST NOT allow a client
to migrate an MLS group if the client is not authorized to do so.</t>
      <t>As a default policy, a Source Delivery Service SHOULD allow any client to
migrate an MLS group to another Delivery Service.</t>
      <t>Conversely, the Target Delivery Service MUST NOT allow a client to import an MLS
group if the client is not authorized to do so. The Target Delivery Service MUST
ensure that the client is authorized to import the MLS group before issuing a
MigrationResponse and importing the MLS group state through an MigrationContent
message.</t>
      <t>As a default policy, a Target Delivery Service SHOULD allow any client to
migrate an MLS group to it when the client is also allowed to create new groups
on the Target Delivery Service.</t>
      <t>TODO: The default policies suggested above may be a bit liberal. We might want
to restrict them s.t. only clients from the target DS can request migration to
that DS.</t>
    </section>
  </middle>
  <back>








  </back>
  <!-- ##markdown-source:
H4sIAAAAAAAAA7VZ3W4buRW+51MQMNACiSW4SVG0yiJYw25RI3G9sJ3NxWJh
UDOUhvAMqSU5crTdzbP3O4czmrFHIyvZVEAAR+T5//sONZlMRDSx1DN5eXF5
IX9wPqq5KU3cCDWfe71OByJ3mVUVruVeLeLk3hVz7+4nlanMZNURTU5ei0xF
vXR+M5PGLpwQZuVnMvo6xFcnJ/84eSWU12omb3RWe5JzrzcPzuczeWGj9lbH
yTnJECJEZfM7VToLuRsdxMrM5E/RZccyQKTXi4C/NhX98bMQqo6F8zMhJxKS
w0y+m8p3SU8h8Un6v3PWq/zRgfNLZc2vKhpnZ/KHwmlrPsnrP53zqa6UKWfy
nummjeHf5yqqUHhj9TTXncjrqbx2c+1jT+K1WhVKl/2DgyQaHRff+0TsmXaa
uUqIyWQi1TxErzI46bYwQSI6daVtlLkOmTdzHQbhlJXOCggNVZgmHpXJ81IL
cUSO9y6vM1JHiBThJDEFONelWWu/mQTt1ybTEnGRLhbah61EqRBjZQMlA5+3
RGIrWC6chxohqCUUNBYkC51rj3zJpbZr451lK2KhovSgxzVn8V8tM2czvYrS
LQSozCdQnDcCkElJKyYzzBkS/VLjNlydFZqcFY1dNqyqqrYmY+8L0knJJThZ
efn+Ri69q1dTeVqWMoMCNgbiMrgh1dJrTdo9kNRWF7HVxck6JEfBkA1dNJG+
Da5ca9ZjBReXuiL2Z1AJx41voDO8AnURqI+FKbUs1Jq0H7WcmQacZ6UKrHDY
2KyAP5skE40wFAzkZMqCpNLRQKLk2JWIM3togaxy/ljqsNKZUSV0n+tMkTEm
CtNkCsgoPgpBIdOU5NsLk0m3ooA6P5W3yA+wxr9SL8G8QpxlyLRV3rgAv+FY
kCNakuTogXHWSbSApfbyQVE44MREQRodw1mJFflUQE3fBozDRCTs9gcTs4L+
UjI3iwUIbBzImo7XU1c+Kc/gGfcgk7yOv+qnCAkTe4UdHckzcEXI37tlW3kn
f0F9yh/BGIGT87piTiv0YuKiP62MV/1KRUf9svuvD71/JE9RPSbqLNaIlfjI
dRgMslPGBwdHBuRMNjQNaUaBfXHjao8IPj1+QXXBoX9xS3U6ZPCC00eO0FOR
b2NODhfJ4Rgo5GmkrNekJdSgAqRLI3IGnFLoRChcXeZUGpVbo+Ki26/QM2IE
Clh37sodOrzl8RA45fZaCltW5HXUL3dQRAg9tu1mXbphXEbWRARtczpPHWeP
Xsmocd+Ip7JN9YxsWan7RrRaY4wpokxKYBBU86Y8H1HDBVc20ztZFooaFDpv
koxQoAXttYlTT4z5s2smxFnZTefeNCbJysfakY9G+VErxaTTcbf65BF0Comu
7NBNoT+8EBWhB1j9+fNnpcJ6Kc540sgdnzG53Wcs5X7bxY4/4yfbG6C+NMvU
B671LzUm6JdQv5x89eftb99Scw5t662DqL/7etVffjvNL6zpp8Mf8vnbw2T/
Mc3Hqbc2nTng+2GW76N+No++QbaMU6fK6ulfrbjQD6J+No++YbbAswvjK/77
UOpR/V4eQI3GhbF1dX414wHSdb2Lc5pYCaW2nbQ0C0aafVhGfRGt07qI7i4y
xkA5dVqed7/UBl15y5IBFkbxsnRzBqRA72hJUmXeAe1SfwUY1WtAPTFAIlP5
TwLuWA3rJfAfCcja2c6wOQeIS+D6w4eL8+MkNciEAIQqA8uOhlHAI6T7YImu
3XNk6GBdF5rWTeftmsTrAlbewMgY+LFzVDBLqwhpMSh4TMaYk7cXv1kxXGPA
Tqi/wyqqBAcwBBYt0mWzoiWtBoQTO6Yu4GfT3JMDqp7WuLr9L60qcGVIyxXE
8sY23/DCwZNrwJzzIh0Kn2TQfjJszQvvqkMhyiC6iDv8ZXdzZpfRfJ43fobC
cQu1hrwIVtAGu9B+5yx/BkolnzX+IAQW+PrC0aJA/h0M1Hbd2824XSVnjBNi
GQS2WOzo8r9CYgFSVAGBTblLePKO8OR3P759051HZjl+zubdmbz5tga2+ttf
pV65rHgjfh9o/KYp/D2YMaEp2M45uCssjdU7zRq6qP3izrcqJDX//tPrVz8D
zQE39uzZVhAb9PtQemPBEb15cB7vTPxDgsgT+kkERzLrOVNbx/RsbbV93jLS
443YkRtt7EMT/qeE6c3h9PS8C2pjN/e8ZLx6+jTRWMqJc9xbncAn7YaheTDB
EuINGtKvKLyhTJn0fWb5aXUYQIidlfN/8XuqEG4Aj0tnNCCNjl9RK2N4Y1/F
NNp0NmRJ/B3Wm2K/xiPieoqPxYXHgc55Li/QYF3dzCbOnz+HQdKgEwtsvmWN
nTz11n5GNCnRTy0kxr+MpWF/3KusPS5siJsMTg4VuwHSAe4cNszxnvOkhx6Q
HltVDnA1zS/rHg7YMUW3Y8rejnnWPGK2jKimukfYvs8bHLR/xh3JU35mb98V
xYWVS221VyW3A3oU7mCBCemdLGGnlKT68SMZz39nd89jZfmVmfnIlStNtoEn
MsMvV+1zb6Vy3c723lOi2JM3+x9zLj/c3Mr/XN02b3ytNWLMBLPo5x40Ilir
Gjcl03N6+IX7TsmQXC9UXcbGoGN8M6bJzb+vPrw/b/Wwm1ZGdGKnJj2X7Ygd
Ug/fBN0W1VhfGrGfuKdXmEao+ELz9z42kVChbah9H+x2afSIX6PG42qYawBp
erUC3qWpLoatnkpl/xNWLDwvCmThk44umqoZD+OYbV8RRnRPVJN96gWazL2K
yrwmYqsfmrVFND+X7AGp263tkf70U0uol+gJ1D/U3K0xVNQm/TgwhzYlthAU
+VR+5GlTRH5ap5rw9POKyTgclQzTOEU9l5vtzydbhB8bpW64GfmnEI/cwZE/
v5mK/wHA5+MHmRwAAA==

-->

</rfc>
