@@ -754,18 +754,18 @@ Cross-signing
754754~~~~~~~~~~~~~
755755
756756Rather than requiring Alice to verify each of Bob's devices with each of her
757- own devices and vice versa, the cross-signing feature allows users sign their
757+ own devices and vice versa, the cross-signing feature allows users to sign their
758758device keys such that Alice and Bob only need to verify once. With
759759cross-signing, each user has a set of cross-signing keys that are used to sign
760760their own device keys and other users' keys, and can be used to trust device
761761keys that were not verified directly.
762762
763- Each user has three ed25519 keys pairs for cross-signing:
763+ Each user has three ed25519 key pairs for cross-signing:
764764
765765* a master key (MSK) that serves as the user's identity in cross-signing and signs
766766 their other cross-signing keys;
767767* a user-signing key (USK) -- only visible to the user that it belongs to --
768- that signs other users' master keys, and
768+ that signs other users' master keys; and
769769* a self-signing key (SSK) that signs the user's own device keys.
770770
771771The master key may also be used to sign other items such as the backup key. The
@@ -863,9 +863,11 @@ A user's master key could allow an attacker to impersonate that user to other
863863users, or other users to that user. Thus clients must ensure that the private
864864part of the master key is treated securely. If clients do not have a secure
865865means of storing the master key (such as a secret storage system provided by
866- the operating system), then clients must not store the private part. If a user
867- changes their master key, clients of users that they communicate with must
868- notify their users about the change.
866+ the operating system), then clients must not store the private part.
867+
868+ If a user's client sees that any other user has changed their master key, that
869+ client must notify the user about the change before allowing communication
870+ between the users to continue.
869871
870872A user's user-signing and self-signing keys are intended to be easily
871873replaceable if they are compromised by re-issuing a new key signed by the
0 commit comments