<?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.4 (Ruby 3.2.2) -->
<rfc xmlns:xi="http://www.w3.org/2001/XInclude" ipr="trust200902" docName="draft-kohbrok-mimi-portability-01" category="info" tocInclude="true" sortRefs="true" symRefs="true" version="3">
  <!-- xml2rfc v2v3 conversion 3.19.0 -->
  <front>
    <title abbrev="MIMI">MIMI Portability</title>
    <seriesInfo name="Internet-Draft" value="draft-kohbrok-mimi-portability-01"/>
    <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="January" day="04"/>
    <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+dzrdXogcpdZVeG13KtFnDy4Yu7dw6QylZmsOqHJq7+I
TEW9dH4zk8YunBBm5Wcy+jrE169e/ePVa6G8VjN5q7Pak50HvXl0Pp/JSxu1
tzpOLsiGECEqm9+r0lnY3eggVmYmf4wuO5UBJr1eBPy1qeiPn4RQdSycnwk5
kbAcZvLdVL5LfgqJT/L/nbNe5TsPnF8qa35R0Tg7k98XTlvzSd786YKf6kqZ
ciYfWG7aBP5drqIKhTdWT3PdmbyZyhs31z72LN6oVaF02X9wlEWj4+I7n4Q9
y04zVwkxmUykmofoVQaQ7goTJLJTV9pGmeuQeTPXYZBOWemsgNFQhWnSUZk8
L7UQJwS8d3mdkTtCpAwniynBuS7NWvvNJGi/NpmWyIt0sdA+bC1KhRwrG6gY
+HkrJLaG5cJ5uBGCWsJBYyGy0Ln2qJdcars23lmOIhYqSg95vOYs/qtl5mym
V1G6hYCU+QSJi8YAKil5xWKGNcOiX2q8DaizQhNY0dhlo6qqamsyRl+QT0ou
ocnKq/e3culdvZrKs7KUGRywMZCWwRtSLb3W5N0jWW19EVtfnKxDAgqBbOhF
E+nb4Mq1Zj9WgLjUFak/h0t43GADn4EK3EWiPham1LJQa/J+NHJWGvA8K1Vg
h8PGZgXwbIpMNMbQMLCTKQuRSkcDi5JzVyLPjNACVeX8qdRhpTOjSvg+15mi
YEwUpqkUiFF+FJJCoSnJby9MJt2KEur8VN6hPqAa/0q9hPIKeZYh01Z54wJw
w2NBQLQiCehBcNZJjICl9vJRUToAYpIgj04BVlJFmAq46duEcZpIhGF/NDEr
6C8lc7NYQMDGga3peD917ZPqDMi4R5nsdfpVv0TImDho7OREnkMrUv7eLdvO
wwgVE/kDFCNxcl5XrGmFWUxa9KeV8Smn6NwzVLeJOos1sBQfuU+CQfXI+OgQ
aEBOs6FplAEB/+LW1R4IP338guqWU/PijvpoqOAFp1eOyFMTbnNCgIgECAY+
IYGS8pq8hBvUIPTSiJ2BpgStCIWry5xKt3JrdER0hx16xoxAg+kOrtxhAlse
34FL4mCkiGVFqKO/eMIhQ5iB7bTpygHrLLInImib0/M0EQ74lYIax0Y8tW2q
Z2zLSj00ptUaa0aRZHICg7qaN+2zIw0Irm2m96osFA0QTMZkGanAiDgYE5ee
GMOza3bSrOymgzetMYpy1zvCaFQfjTpsIh33u0+IoJMlpqbDtIP/QCEq2u6I
+vPnz0qF9VKc8yaQez5jdrvPWMn9uk8df8afbN+A9JVZpjlwo3+useF+j/TL
yRd/3v76NT3n1LZoHSX97Ze7/vLreX5pTb8c/hDmb4+z/cc8H5fexnTuwL+H
VX5I+tk6+grVMi6dOqvnf7XiRj9K+tk6+orVAmQXxlf897HSo/69PEIagwtr
6/riesYLpJt6lxe0sRKLbCdpaRbMBPu0ieYiRqd1EdNdZMxRcpq0vO9+rg2m
8lYlEyCs4mXp5kwYwa4xkqTKvAMbpfkKsqjXoGJiwESm8p9ErHF0q5fgZ2Qg
a3c709ocJCuR3w8fLi9Ok9UgEwMQqgxsOxpmATtM9NGSXHsOkaGjXV1qWpgu
2mMM03kcSQMzV/C7DqhgllYR02JSsCvGnJBPF36zYrrGhJpYecdVVAkNUAiu
WKSXzYoOUTUonNizdUEPm+GeAKh6XuPV7X/pKAEoQzr8wCyfqOYbPhDw5hoo
57pID4VPNuj8MBzNC++qYynKILvIO/Cy+zUzZLSf5w3OcDhuqdZQF9EKOmEu
tN+7y5+hUgmzBg9iYIFfXzgi8oTvYKG2x7H9ituj3ox5QiyDwCkTZ2j5Xxzi
3UpRBwQO5T7xyXvik9/+8PZN9zyyyvHnHN69yZtva3Crb/4m9cplxRvx28Dj
N03jH+CMiU0hdq7BfWlpot4b1hCi9ot737qQ3Pz7j399/RPYHHhjL55tB3FA
vw2tNxGc0J0E1/Hewj8mibyhn2RwpLKeC7UFphdr6+3zkZEfb8Se2mhzH5r0
PxVMdwJnZxddUpu4eeal4NXTq4MmUi6c097RCXrS2TA0Fxo4hHgc780vaLyh
TZn8febw0/owoBB7O+f/gnvqEB4Au60zmpDGxy/olTG+cahjGm+6GLJk/h7H
m+KwxyPmeo6P5YXXgc55Ly8wYF3d7Caunz+HQdFgEgucfMsaZ/I0W/sV0ZRE
v7RQGP8ylpb9aa+zDkDYCDcVnAAV+wnSEXAOB+b4zHkyQ48oj60rR0BN+8u6
xyPOmKI7Y8reGfO8uWRsFVFPdZekfcwbHnR4x53IM74Gb+/9xKWVS221VyWP
A7q07WiBCekeK3GnVKR69xKL97+z+/exsnwLzHrkypUm2wCJzPDNVXsdW6lc
t7u9d9UnDtTN4cucqw+3d/I/13fNHVwbjRgLwSz6tQePiNaqBqYUek4Xs4Dv
jALJ9ULVZWwCOsU3Y57c/vv6w/uL1g+7aW1EJ/Z60oNsT+5Qevgm6LapxubS
SPykPd3CNEbF7wz/4GUTGRXahtr3yW5XRjv6Gjd2u2GuQaTp1gp8l7a6GI56
apXDV1ix8HxQoAifTHTRdM14Gsdi+4I0Ynqim+xTFGgz9zoq85qErX5sji2i
+TnjAEndntp2/KefQkK9xEyg+aHmbo2lojbp8n4Ob0qcQtDkU/mRt00R+eqb
esLTzx8m43RUMkzjFP1cbrY/b2wZfmycuuVh5J9SPIKDM39xOxX/A2Sk8VA5
HAAA

-->

</rfc>
