diff --git a/Private-Group-Sharing-Client.md b/Private-Group-Sharing-Client.md index 5ef7579..e73b688 100644 --- a/Private-Group-Sharing-Client.md +++ b/Private-Group-Sharing-Client.md @@ -36,6 +36,26 @@ The sender sets the private group's visibility to INVISIBLE when sending a leave The sender sets the private group's visibility to INVISIBLE when sending an abort message. The recipient sets the private group's visibility to INVISIBLE when receiving an abort message. +### State machines + +Creator state machine: + +![creator-state-machine](/uploads/493d72e3a5a8ba9159255075c5e78942/creator-state-machine.png) + +[creator-state-machine.odg](/uploads/e6729da0657f5dea6ad0e65425fc0d1b/creator-state-machine.odg) + +Invitee state machine: + +![invitee-state-machine](/uploads/e082f212f992d6fe57ef1b3097d96ee0/invitee-state-machine.png) + +[invitee-state-machine.odg](/uploads/872694e54f36e6501210656af590a65f/invitee-state-machine.odg) + +Peer state machine: + +![peer-state-machine](/uploads/c34435df45d170b5b17fb0e0ad0e11ad/peer-state-machine.png) + +[peer-state-machine.odg](/uploads/5ce3b0b86499171236512b4136ddc1d7/peer-state-machine.odg) + ### Validity policy * An invite message is valid if it is well-formed, is sent by the group creator, and has a valid signature from the group creator.