Introduction
Functional Requirements
Modularization
Performance Goals
Threat Model
Cryptographic Primitives and Schemes
Specification
Authentication in messaging applications
1. Concepts and security properties
2. Comparison of existing applications

Docs

Federated Clients

Federated clients can perform same actions as local clients with the exception of group creation. The same STRIDE requirements apply.