Projekt TFC razvija paranoično zaštićeni sistem za razmenu poruka

U okviru projekta TFC (Tinfoil Chat) preduzeta je pokušaj stvaranja prototipa paranoično zaštićenog sistema za razmenu poruka, koji bi čuvao tajnost prepiske čak i u slučaju kompromitacije krajnjih uređaja. Radi pojednostavljenja sprovođenja audita, kod projekta je napisan na jeziku Python i je na voljo pod GPLv3 licencom.

Sadašnje široko korišćene platforme za razmenu poruka, koje koriste end-to-end enkripciju, omogućavaju zaštitu prepiske od presretanja na posredničkim serverima i od analize tranzitnog saobraćaja, ali ne štite od problema na strani klijentskog uređaja. Za kompromitaciju sistema koji se oslanjaju na end-to-end enkripciju dovoljno je na kraju uređaja kompromitovati operativni sistem, firmver ili aplikaciju za razmenu poruka, na primer, putem eksploatacije prethodno neotkrivenih ranjivosti, početnog ubacivanja softverskih ili hardverskih backdoora ili putem isporuke lažnog ažuriranja sa backdoorom (na primer, pod pritiskom službi bezbednosti ili kriminalnih grupa). Čak i ako su ključevi za enkripciju smešteni na posebnom tokenu, u prisustvu kontrole sistema korisnika uvek postoji mogućnost praćenja procesa, presretanja podataka sa tastature i praćenja izlaza na ekranu.

TFC nudi hardversko-softverski paket koji zahteva upotrebu tri odvojena računara na strani klijenta i specijalnog hardverskog splitter-a. Sav saobraćaj tokom interakcije učesnika u razmeni poruka prolazi kroz anonimnu mrežu Tor, a programi za razmenu poruka su realizovani u obliku skrivenih Tor servisa (korisnici se prilikom razmene poruka identifikuju prema adresama skrivenih servisa i ključevima).

Projekt TFC razvija paranoično zaštićeni sistem za razmenu poruka

Prvi računar služi kao pristupna tačka za povezivanje na mrežu i pokretanje skrivenog Tor servisa. Pristupna tačka manipuliše samo već enkriptovanim podacima, dok se za enkripciju i dekripciju koriste dva preostala računara. Drugi računar se može koristiti samo za dekripciju i prikazivanje primljenih poruka, dok treći može koristiti samo za enkripciju i slanje novih poruka. Shodno tome, drugi računar ima samo ključeve za dekripciju, a treći samo ključeve za enkripciju.

Drugi i tretji računalniki nimajo neposredne povezave v omrežje in so ločeni od računalnika-prehodnika s posebnim USB razdelilnikom, ki uporablja načelo „dioda za podatke“ in fizično dovoljuje prenos podatkov le v eni smeri. Razdelilnik omogoča le pošiljanje podatkov proti drugemu računalniku in le prejemanje podatkov od tretjega računalnika. Usmeritev podatkov v razdelilniku omejujejo optroni (preprosto prekinitev linij Tx in Rx v kablu ni dovolj, saj prekinitev ne izključuje prenosa podatkov v obratni smeri in ne zagotavlja, da linija Tx ne bo uporabljena za branje, Rx pa za prenos). Razdelilnik je mogoče sestaviti iz razpoložljivih delov, sheme so priložene (PCB) in so na voljo pod licenco GNU FDL 1.3.

Projekt TFC razvija paranoično zaštićeni sistem za razmenu poruka

Pri takšni shemi kompromitacija prehodnika ne bo omogočila dostopa do ključev za šifriranje in ne bo dal možnosti za nadaljevanje napada na preostale naprave. V primeru kompromitacije računalnika, na katerem so shranjeni ključi za dešifriranje, informacij z njega ni mogoče prenesti v zunanji svet, saj je pretok podatkov omejen le na prejemanje informacij, obratni prenos pa blokira dioda za podatke.

Projekt TFC razvija paranoično zaštićeni sistem za razmenu poruka

Šifriranje je izvedeno na osnovi 256-bitnih ključev na XChaCha20-Poly1305, za zaščito ključev s geslom pa se uporablja počasna hash funkcija Argon2id. Za izmenjavo ključev se uporablja X448 (protokol Diffie – Hellman, ki temelji na Curve448) ali PSK-ključi (pre-shared). Vsako sporočilo se prenaša v načinu popolne neposredne skrivnosti (PFS, Perfect Forward Secrecy) na osnovi hashov Blake2b, pri čemer kompromitacija enega od dolgoročnih ključev ne omogoča dešifriranja prej ujetega seje. Vmesnik aplikacije je izjemno preprost in vključuje okno, razdeljeno na tri območja – pošiljanje, prejemanje in ukazno vrstico s preverjanjem interakcije s prehodnikom. Upravljanje poteka preko posebnega niza ukazov.

Projekt TFC razvija paranoično zaštićeni sistem za razmenu poruka

Izvor: opennet.ru

Kupite zanesljivo gostovanje za spletne strani z zaščito pred DDoS, VPS VDS strežniki 🔥 Kupite zanesljivo gostovanje za spletne strani z zaščito pred DDoS, VPS VDS strežniki | ProHoster