<?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.17 (Ruby 3.3.3) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-kohbrok-mimi-portability-02" category="info" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.22.0 -->
  <front>
    <title abbrev="MIMI">MIMI Portability</title>
    <seriesInfo name="Internet-Draft" value="draft-kohbrok-mimi-portability-02"/>
    <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="2024" month="July" day="03"/>
    <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>
      </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:
H4sIAAAAAAAAA7VZa2/byBX9Pr9iAAMtkFhCmhaLVlkEa9gtaiSuF7az+bBY
GCNyJA5MzmhnhnK03c1v77l3SJEyRVmbTQUEcETe17mvM6PJZCKiiaWeyavL
q0v5vfNRzU1p4kao+dzrdXogcpdZVeG13KtFnDy4Yu7dw6QylZmsOqHJq9ci
U1Evnd/MpLELJ4RZ+ZmMvg7x9atX/8ALyms1k7c6qz3ZedCbR+fzmby0UXur
4+SCbAgRorL5vSqdhd2NDmJlZvLH6LJTGWDS60XAX5uK/vhJCFXHwvmZkBMJ
y2Em303lu+SnkPgk/98561W+88D5pbLmFxWNszP5feG0NZ/kzZ8u+KmulCln
8oHlpk3g3+UqqlB4Y/U0153Jm6m8cXPtY8/ijVoVSpf9B0dZNDouvvNJ2LPs
NHOVEJPJRKp5iF5lAOmuMEEiO3WlbZS5Dpk3cx0G6ZSVzgoYDVWYJh2VyfNS
C3FCwHuX1xm5I0TKcLKYEpzr0qy130yC9muTaYm8SBcL7cPWolTIsbKBioGf
t0Jia1gunIcbIaglHDQWIguda496yaW2a+Od5ShioaL0kMdrzuK/WmbOZnoV
pVsISJlPkLhoDKCSklcsZlgzLPqlxtuAOis0gRWNXTaqqqq2JmP0Bfmk5BKa
rLx6fyuX3tWrqTwrS5nBARsDaRm8IdXSa03ePZLV1hex9cXJOiSgEMiGXjSR
vg2uXGv2YwWIS12R+nO4hMcNNvAZqMBdJOpjYUotC7Um70cjZ6UBz7NSBXY4
bGxWAM+myERjDA0DO5myEKl0NLAoOXcl8swILVBVzp9KHVY6M6qE73OdKQrG
RGGaSoEY5UchKRSakvz2wmTSrSihzk/lHeoDqvGv1Esor5BnGTJtlTcuADc8
FgREK5KAHgRnncQIWGovHxWlAyAmCfLoFGAlVYSpgJu+TRiniUQY9kcTs4L+
UjI3iwUEbBzYmo73U9c+qc6AjHuUyV6nX/VLhIyJg8ZOTuQ5tCLl792y7bxX
f0F/yh+gGImT87piTSvMYtKiP62MTzlF556huk3UWayBpfjIfRIMqkfGR4dA
A3KaDU2jDAj4F7eu9kD46eMXVLecmhd31EdDBS84vXJEnppwmxMCRCRAMPAJ
CZSU1+Ql3KAGoZdG7Aw0JWhFKFxd5lS6lVujI6I77NAzZgQaTHdw5Q4T2PL4
DlwSByNFLCtCHf3FEw4Zwgxsp01XDlhnkT0RQducnqeJcMCvFNQ4NuKpbVM9
Y1tW6qExrdZYM4okkxMY1NW8aZ8daUBwbTO9V2WhaIBgMibLSAVGxMGYuPTE
GJ5ds5NmZTcdvGmNUZS73hFGo/po1GET6bjffUIEnSwxNR2mHfwHClHRdkfU
nz9/Viqsl+KcN4Hc8xmz233GSu7Xfer4M/5k+wakr8wyzYEb/XONDfd7pF9O
vvjz9tev6TmntkXrKOlvv9z1l1/P80tr+uXwhzB/e5ztP+b5uPQ2pnMH/j2s
8kPSz9bRV6iWcenUWT3/qxU3+lHSz9bRV6wWILswvuK/j5Ue9e/lEdIYXFhb
1xfXM14g3dS7vKCNlVhkO0lLs2Am2KdNNBcxOq2LmO4iY46S06TlffdzbTCV
tyqZAGEVL0s3Z8IIdo2RJFXmHdgozVeQRb0GFRMDJjKV/yRijaNbvQQ/IwNZ
u9uZ1uYgWYn8fvhweXGarAaZGIBQZWDb0TAL2GGij5bk2nOIDB3t6lLTwnTR
HmOYzuNIGpi5gt91QAWztIqYFpOCXTHmhHy68JsV0zUm1MTKO66iSmiAQnDF
Ir1sVnSIqkHhxJ6tC3rYDPcEQNXzGq9u/0tHCUAZ0uEHZvlENd/wgYA310A5
10V6KHyyQeeH4WheeFcdS1EG2UXegZfdr5kho/08b3CGw3FLtYa6iFbQCXOh
/d5d/gyVSpg1eBADC/z6whGRJ3wHC7U9ju1X3B71ZswTYhkETpk4Q8v/4hDv
Voo6IHAo94lP3hOf/PaHt2+655FVjj/n8O5N3nxbg1t98zepVy4r3ojfBh6/
aRr/AGdMbAqxcw3uS0sT9d6whhC1X9z71oXk5t9//Ovrn8DmwBt78Ww7iAP6
bWi9ieCE7iS4jvcW/jFJ5A39JIMjlfVcqC0wvVhbb5+PjPx4I/bURpv70KT/
qWC6Ezg7u+iS2sTNMy8Fr55eHTSRcuGc9o5O0JPOhqG50MAhxON4b35B4w1t
yuTvM4ef1ocBhdjbOf8X3FOH8ADYbZ3RhDQ+fkGvjPGNQx3TeNPFkCXz9zje
FIc9HjHXc3wsL7wOdM57eYEB6+pmN3H9/DkMigaTWODkW9Y4k6fZ2q+IpiT6
pYXC+JextOxPe511AMJGuKngBKjYT5COgHM4MMdnzpMZekR5bF05AmraX9Y9
HnHGFN0ZU/bOmOfNJWOriHqquyTtY97woMM77kSe8TV4e+8nLq1caqu9Knkc
0KVtRwtMSPdYiTulItW7l1i8/53dv4+V5Vtg1iNXrjTZBkhkhm+u2uvYSuW6
3e29qz5xoG4OX+Zcfbi9k/+5vmvu4NpoxFgIZtGvPXhEtFY1MKXQc7qYBXxn
FEiuF6ouYxPQKb4Z8+T239cf3l+0fthNayM6sdeTHmR7cofSwzdBt001NpdG
4ift6RamMSp+Z/gHL5vIqNA21L5Pdrsy2tHXuLHbDXMNIk23VuC7tNXFcNRT
qxy+woqF54MCRfhkoouma8bTOBbbF6QR0xPdZJ+iQJu511GZ1yRs9WNzbBHN
zxkHSOr21LbjP/0UEuolZgLNDzV3aywVtUmX93N4U+IUgiafyo+8bYrIV9/U
E55+/jAZp6OSYRqn6Odys/15Y8vwY+PULQ8j/5TiERyc+YvbqfgfHCgZKDkc
AAA=

-->

</rfc>
