rfc9750v4.txt   rfc9750.txt 
skipping to change at line 278 skipping to change at line 278
Figure 1: A Simplified Messaging System Figure 1: A Simplified Messaging System
3. Overview of Operation 3. Overview of Operation
Figure 2 shows the formation of an example group consisting of Alice, Figure 2 shows the formation of an example group consisting of Alice,
Bob, and Charlie, with Alice driving the creation of the group. Bob, and Charlie, with Alice driving the creation of the group.
Alice Bob Charlie AS DS Alice Bob Charlie AS DS
Create account ---------------------------------> | Create account ---------------------------------> |
<------------------------------------- Credential | <------------------------------------- Credential |
Create account -----------------------> | Step 1 Create account -----------------------> | Step 1
<--------------------------- Credential | <--------------------------- Credential |
Create account -------------> | Create account -------------> |
<----------------- Credential | <----------------- Credential |
Initial Keying Material -----------------------------------> | Initial Keying Material -----------------------------------> |
Initial Keying Material -------------------------> | Step 2 Initial Keying Material -------------------------> | Step 2
Initial Keying Material ---------------> | Initial Keying Material ---------------> |
Get Bob Initial Keying Material ---------------------------> | Get Bob Initial Keying Material ---------------------------> |
<------------------------------- Bob Initial Keying Material | <------------------------------- Bob Initial Keying Material |
Add Bob to group ------------------------------------------> | Step 3 Add Bob to group ------------------------------------------> | Step 3
Welcome(Bob) ----------------------------------------------> | Welcome(Bob) ----------------------------------------------> |
<-------------------------------- Add Bob to group | <-------------------------------- Add Bob to group |
<------------------------------------ Welcome(Bob) | <------------------------------------ Welcome(Bob) |
Get Charlie Initial Keying Material -----------------------> | Get Charlie Initial Keying Material -----------------------> |
<--------------------------- Charlie Initial Keying Material | <--------------------------- Charlie Initial Keying Material |
Add Charlie to group --------------------------------------> | Add Charlie to group --------------------------------------> |
Welcome(Charlie) ------------------------------------------> | Step 4 Welcome(Charlie) ------------------------------------------> | Step 4
<---------------------------- Add Charlie to group | <---------------------------- Add Charlie to group |
<----------------- Add Charlie to group | <----------------- Add Charlie to group |
<--------------------- Welcome(Charlie) | <--------------------- Welcome(Charlie) |
Figure 2: Group Formation Example Figure 2: Group Formation Example
This process proceeds as follows. This process proceeds as follows.
3.1. Step 1: Account Creation 3.1. Step 1: Account Creation
Alice, Bob, and Charlie create accounts with a service provider and Alice, Bob, and Charlie create accounts with a service provider and
obtain credentials from the AS. This is a one-time setup phase. obtain credentials from the AS. This is a one-time setup phase.
skipping to change at line 2264 skipping to change at line 2264
[RFC8446] Rescorla, E., "The Transport Layer Security (TLS) Protocol [RFC8446] Rescorla, E., "The Transport Layer Security (TLS) Protocol
Version 1.3", RFC 8446, DOI 10.17487/RFC8446, August 2018, Version 1.3", RFC 8446, DOI 10.17487/RFC8446, August 2018,
<https://www.rfc-editor.org/info/rfc8446>. <https://www.rfc-editor.org/info/rfc8446>.
[RFC9000] Iyengar, J., Ed. and M. Thomson, Ed., "QUIC: A UDP-Based [RFC9000] Iyengar, J., Ed. and M. Thomson, Ed., "QUIC: A UDP-Based
Multiplexed and Secure Transport", RFC 9000, Multiplexed and Secure Transport", RFC 9000,
DOI 10.17487/RFC9000, May 2021, DOI 10.17487/RFC9000, May 2021,
<https://www.rfc-editor.org/info/rfc9000>. <https://www.rfc-editor.org/info/rfc9000>.
[Tor] "The Tor Project", n.d., <https://torproject.org/>. [Tor] "The Tor Project", <https://torproject.org/>.
[WPB25] Wallez, T., Protzenko, J., and K. Bhargavan, "TreeKEM: A [WPB25] Wallez, T., Protzenko, J., and K. Bhargavan, "TreeKEM: A
Modular Machine-Checked Symbolic Security Analysis of Modular Machine-Checked Symbolic Security Analysis of
Group Key Agreement in Messaging Layer Security", 2025, Group Key Agreement in Messaging Layer Security", 2025,
<https://eprint.iacr.org/2025/410.pdf>. <https://eprint.iacr.org/2025/410.pdf>.
[WPBB22] Wallez, T., Protzenko, J., Beurdouche, B., and K. [WPBB22] Wallez, T., Protzenko, J., Beurdouche, B., and K.
Bhargavan, "TreeSync: Authenticated Group Management for Bhargavan, "TreeSync: Authenticated Group Management for
Messaging Layer Security", Cryptology ePrint Archive, Messaging Layer Security", Cryptology ePrint Archive,
2022, <https://eprint.iacr.org/2022/1732.pdf>. 2022, <https://eprint.iacr.org/2022/1732.pdf>.
 End of changes. 5 change blocks. 
23 lines changed or deleted 23 lines changed or added

This html diff was produced by rfcdiff 1.48.