TFC-prosjektet utvikler et paranoid sikkert meldingssystem

I prosjektets grenser TFC (Tinfoil Chat) det ble gjort et forsøk på å lage en prototype av et paranoid-beskyttet meldingssystem som ville opprettholde korrespondansehemmeligheten selv om sluttenheter kompromitteres. For å forenkle revisjonen er prosjektkoden skrevet i Python og tilgjengelig lisensiert under GPLv3.

For tiden utbredte meldingssystemer som bruker ende-til-ende-kryptering lar deg beskytte korrespondanse mot avlytting på mellomliggende servere og fra analyse av transittrafikk, men beskytter ikke mot problemer på siden av klientenheten. For å kompromittere systemer basert på ende-til-ende-kryptering, er det nok å kompromittere operativsystemet, fastvaren eller messenger-applikasjonen på sluttenheten, for eksempel gjennom utnyttelse av tidligere ukjente sårbarheter, gjennom den første introduksjonen av programvare- eller maskinvarebokmerker inn i enheten, eller gjennom levering av en fiktiv oppdatering med bakdør (for eksempel ved press på utvikleren fra etterretningstjenester eller kriminelle grupper). Selv om krypteringsnøklene er på en egen token, hvis du har kontroll over brukerens system, er det alltid mulig å spore prosesser, fange opp data fra tastaturet og overvåke skjermutdata.

TFC tilbyr et programvare- og maskinvarekompleks som krever bruk av tre separate datamaskiner og en spesiell maskinvaresplitter på klientsiden. All trafikk under samhandlingen av meldingsdeltakere overføres gjennom det anonyme Tor-nettverket, og meldingsprogrammer lages i form av skjulte Tor-tjenester (brukere identifiseres med skjulte tjenesteadresser og nøkler når de utveksler meldinger).

TFC-prosjektet utvikler et paranoid sikkert meldingssystem

Den første datamaskinen fungerer som en gateway for å koble til nettverket og kjøre den skjulte Tor-tjenesten. Gatewayen manipulerer bare de allerede krypterte dataene, og de to andre datamaskinene brukes til kryptering og dekryptering. Den andre datamaskinen kan bare brukes til å dekryptere og vise mottatte meldinger, og den tredje kun til å kryptere og sende nye meldinger. Følgelig har den andre datamaskinen bare dekrypteringsnøkler, og den tredje bare krypteringsnøkler.

Den andre og tredje datamaskinen har ikke en direkte tilkobling til nettverket og er atskilt fra gateway-datamaskinen med en spesiell USB-splitter som bruker "data diode” og fysisk overfører data i bare én retning. Splitteren tillater kun å sende data mot den andre datamaskinen og kun motta data fra den tredje datamaskinen. Dataretningen i splitteren er begrenset ved bruk optokoblere (et enkelt brudd i Tx- og Rx-linjene i kabelen er ikke nok, siden et brudd ikke utelukker dataoverføring i motsatt retning og ikke garanterer at Tx-linjen ikke vil bli brukt til lesing, og Rx-linjen for overføring ). Splitteren kan settes sammen av skrapdeler, diagrammer er vedlagt (PCB) og er tilgjengelig under GNU FDL 1.3-lisensen.

TFC-prosjektet utvikler et paranoid sikkert meldingssystem

Med et slikt opplegg er gatewayen kompromittert vil ikke tillate få tilgang til krypteringsnøklene og vil ikke tillate deg å fortsette angrepet på de gjenværende enhetene. Hvis datamaskinen som dekrypteringsnøklene er plassert på er kompromittert, kan ikke informasjon fra den overføres til omverdenen, siden dataflyten begrenses kun ved å motta informasjon, og den omvendte overføringen blokkeres av datadioden.

TFC-prosjektet utvikler et paranoid sikkert meldingssystem

Kryptering er basert på 256-bits nøkler på XChaCha20-Poly1305, en sakte hash-funksjon brukes for å beskytte nøklene med et passord Argon2id. For nøkkelutveksling brukes den X448 (Diffie-Hellman-protokoll basert på Curve448) eller PSK-nøkler (forhåndsdelt). Hver melding overføres i perfekt hemmelighold (PFS, Perfekt fremoverhemmelighet) basert på Blake2b-hasher, der kompromitteringen av en av de langsiktige nøklene ikke tillater dekryptering av en tidligere avlyttet økt. Applikasjonsgrensesnittet er ekstremt enkelt og inkluderer et vindu delt inn i tre områder - sending, mottak og en kommandolinje med en logg over interaksjon med gatewayen. Ledelsen utføres gjennom en spesiell kommandosett.

TFC-prosjektet utvikler et paranoid sikkert meldingssystem

Kilde: opennet.ru

Legg til en kommentar