Le projet TFC développe un système de messagerie paranoïquement sécurisé

Dans le cadre du projet TFC (Tinfoil Chat) a été tenté de créer un prototype d'un système de messagerie paranoïaquement sécurisé, qui préserverait la confidentialité des communications même en cas de compromission des dispositifs finaux. Pour faciliter l'audit, le code du projet est écrit en Python et disponible sous licence GPLv3.

Les systèmes de messagerie couramment utilisés aujourd'hui, qui emploient le chiffrement de bout en bout, protègent les conversations contre l'interception sur des serveurs intermédiaires et contre l'analyse du trafic transit, mais ne protègent pas contre les problèmes du côté de l'appareil client. Pour compromettre des systèmes basés sur le chiffrement de bout en bout, il suffit de compromettre le système d'exploitation, le firmware ou l'application de messagerie sur l'appareil final, par exemple, en exploitant des vulnérabilités auparavant inconnues, en intégrant initialement des logiciels ou du matériel malveillants dans l'appareil, ou en livrant une mise à jour falsifiée avec un backdoor (par exemple, sous la contrainte exercée sur le développeur par des services secrets ou des groupes criminels). Même si les clés de chiffrement se trouvent sur un jeton séparé, en cas de contrôle sur le système de l'utilisateur, il reste toujours une possibilité de traçage des processus, d'interception des données du clavier et de suivi de l'affichage à l'écran.

TFC propose un complexe logiciel et matériel nécessitant trois ordinateurs séparés côté client et un splitter matériel spécial. Tout le trafic lors de l'interaction des participants à l'échange de messages est transmis via le réseau anonyme Tor, et les programmes de messagerie sont réalisés sous forme de services cachés Tor (les utilisateurs lors de l'échange de messages sont identifiés par les adresses des services cachés et les clés).

Le projet TFC développe un système de messagerie paranoïquement sécurisé

Le premier ordinateur sert de passerelle pour se connecter au réseau et lancer le service caché Tor. La passerelle ne manipule que les données déjà chiffrées, tandis que deux autres ordinateurs sont utilisés pour le chiffrement et le déchiffrement. Le deuxième ordinateur peut être utilisé uniquement pour déchiffrer et afficher les messages reçus, tandis que le troisième est réservé au chiffrement et à l'envoi de nouveaux messages. Ainsi, le deuxième ordinateur possède uniquement les clés de déchiffrement, et le troisième uniquement les clés de chiffrement.

Les deuxième et troisième ordinateurs n'ont pas de connexion directe au réseau et sont séparés de l'ordinateur passerelle par un répartiteur USB spécial qui utilise le principe «diode de données» et ne transmet des données physiquement que dans un seul sens. Le répartiteur permet uniquement l'envoi de données vers le deuxième ordinateur et la réception de données depuis le troisième ordinateur. La direction des données dans le répartiteur est limitée par des optocoupleurs (une simple rupture des lignes Tx et Rx dans le câble n'est pas suffisante, car une rupture n’exclut pas la transmission de données dans le sens inverse et ne garantit pas que la ligne Tx ne sera pas utilisée pour la lecture, et Rx pour la transmission). Le répartiteur peut être assemblé à partir de pièces de rechange, les schémas sont fournis (PCB) et sont disponibles sous la licence GNU FDL 1.3.

Le projet TFC développe un système de messagerie paranoïquement sécurisé

Avec un tel schéma, la compromission de la passerelle ne permettra pas d'accéder aux clés de chiffrement et d'empêcher de poursuivre l'attaque sur les appareils restants. En cas de compromission de l'ordinateur sur lequel se trouvent les clés de déchiffrement, il sera impossible de transmettre les informations vers le monde extérieur, car le flux de données est limité uniquement à la réception d'informations, et la transmission inverse est bloquée par la diode de données.

Le projet TFC développe un système de messagerie paranoïquement sécurisé

Le chiffrement est effectué sur la base de clés de 256 bits utilisant XChaCha20-Poly1305, et pour protéger les clés par mot de passe, une fonction de hachage lente est utilisée Argon2id. Pour l'échange de clés, nous utilisons X448 (le protocole Diffie — Hellman basé sur Curve448) ou des clés PSK (prépartagées). Chaque message est transmis en mode de perfect forward secrecy (PFS, Perfect Forward Secrecy) basé sur les hachages Blake2b, où la compromission de l'une des clés à long terme ne permet pas de déchiffrer une session précédemment interceptée. L'interface de l'application est extrêmement simple et comprend une fenêtre divisée en trois zones — envoi, réception et ligne de commande avec un journal d'interaction avec la passerelle. La gestion se fait par le biais d'un ensemble de commandes spécifique.

Le projet TFC développe un système de messagerie paranoïquement sécurisé

Source : opennet.ru

Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS 🔥 Acheter un hébergement fiable pour les sites avec protection DDoS, serveurs VPS VDS | ProHoster