cable.html 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <meta charset="utf-8">
  5. <meta name="generator" content="pandoc">
  6. <meta name="author" content="torn | torn@autistici.org">
  7. <meta name="author" content="gine | gine@ventuordici.org">
  8. <title>Cable: un servizio Signal federato</title>
  9. <meta name="apple-mobile-web-app-capable" content="yes">
  10. <meta name="apple-mobile-web-app-status-bar-style" content="black-translucent">
  11. <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no, minimal-ui">
  12. <link rel="stylesheet" href="http://lab.hakim.se/reveal-js/css/reveal.css">
  13. <style type="text/css">code{white-space: pre;}</style>
  14. <link rel="stylesheet" href="http://lab.hakim.se/reveal-js/css/theme/black.css" id="theme">
  15. <!-- Printing and PDF exports -->
  16. <script>
  17. var link = document.createElement( 'link' );
  18. link.rel = 'stylesheet';
  19. link.type = 'text/css';
  20. link.href = window.location.search.match( /print-pdf/gi ) ? 'http://lab.hakim.se/reveal-js/css/print/pdf.css' : 'http://lab.hakim.se/reveal-js/css/print/paper.css';
  21. document.getElementsByTagName( 'head' )[0].appendChild( link );
  22. </script>
  23. <!--[if lt IE 9]>
  24. <script src="http://lab.hakim.se/reveal-js/lib/js/html5shiv.js"></script>
  25. <![endif]-->
  26. </head>
  27. <body>
  28. <div class="reveal">
  29. <div class="slides">
  30. <section>
  31. <h1 class="title">Cable: un servizio Signal federato</h1>
  32. <p class="author">torn | <a href="torn@autistici.org" class="uri">torn@autistici.org</a></p>
  33. <p class="author">gine | <a href="gine@ventuordici.org" class="uri">gine@ventuordici.org</a></p>
  34. <p class="date">Hackmeeting 0x14 — Val di Susa</p>
  35. </section>
  36. <section id="TOC">
  37. <ul>
  38. <li><a href="#/perché-signal">Perché Signal</a></li>
  39. <li><a href="#/perché-non-signal">Perché non Signal?</a></li>
  40. <li><a href="#/infrastruttura-del-servizio">Infrastruttura del servizio</a></li>
  41. <li><a href="#/configurazione-di-un-server">Configurazione di un server</a></li>
  42. <li><a href="#/conclusioni">Conclusioni</a></li>
  43. </ul>
  44. </section>
  45. <section><section id="perché-signal" class="titleslide slide level2"><h2>Perché Signal</h2></section><section id="pgpgpg" class="slide level3">
  46. <h3>PGP/GPG</h3>
  47. <p>Classico sistema a chiave pubblica.</p>
  48. <ul>
  49. <li>Offre:
  50. <ul>
  51. <li>Riservatezzaa</li>
  52. <li>Autenticazione ed integrità</li>
  53. </ul></li>
  54. <li>Ma non ammette:
  55. <ul>
  56. <li>Forward secrecy</li>
  57. <li>Deniable encryption</li>
  58. </ul></li>
  59. </ul>
  60. </section><section id="off-the-record-otr" class="slide level3">
  61. <h3>Off-the-Record (OTR)</h3>
  62. <ul>
  63. <li>Offre:
  64. <ul>
  65. <li>Riservatezza</li>
  66. <li>Autenticazione</li>
  67. <li>Forward secrecy (chiavi effimere)</li>
  68. <li>Deniability</li>
  69. </ul></li>
  70. </ul>
  71. </section><section id="otr-three-step-ratchet" class="slide level3">
  72. <h3>OTR Three-step-ratchet</h3>
  73. <figure>
  74. <img src="images/threestepratchet.png" alt="Three step ratchet" /><figcaption>Three step ratchet</figcaption>
  75. </figure>
  76. </section><section id="limitazioni-di-otr" class="slide level3">
  77. <h3>Limitazioni di OTR</h3>
  78. <ul>
  79. <li>Complessità: usa DSA</li>
  80. <li>La <em>plausible deniability</em> richiede di disseminare le chiavi MAC usate</li>
  81. <li><em>Deniability</em> comunque limitata</li>
  82. <li>Non adatto a comunicazioni asincrone</li>
  83. <li>Necessita che i messaggi arrivino in ordine</li>
  84. </ul>
  85. </section><section id="otr-e-comunicazioni-asincrone" class="slide level3">
  86. <h3>OTR e comunicazioni asincrone</h3>
  87. <ul>
  88. <li>Per mandare un messaggio è necessario prima completare uno scambio di chiavi</li>
  89. <li>Non avviene se il destinatario è offline</li>
  90. <li>Quando il destinatario torna online il miettente potrebbe non esserlo più</li>
  91. <li>Il sistema funziona bene solo se entrambi hanno il client aperto contemporaneamente</li>
  92. </ul>
  93. </section><section id="double-ratchet-algorithm" class="slide level3">
  94. <h3>Double Ratchet Algorithm</h3>
  95. <ul>
  96. <li>Dopo uno scambio di chiavi iniziale, genera e mantiene delle chiavi effimere a vita breve</li>
  97. <li>Quando possibile scambia le chiavi usando DH</li>
  98. <li>Altrimenti genera il nuovo materiale crittografico con una funzione di derivazione</li>
  99. </ul>
  100. </section><section id="prekeys" class="slide level3">
  101. <h3>Prekeys</h3>
  102. <ul>
  103. <li>Alla registrazione il client genera 100 “prekey” e le comunica al server</li>
  104. <li>Un altro client può iniziare una sessione usando una di queste prekey, anche se il destinatario è offline</li>
  105. <li>Una prekey è usata solo una volta</li>
  106. <li>La conversarione può iniziare in modo completamente asincrono</li>
  107. </ul>
  108. </section><section id="scambio-chiavi-alla-otr" class="slide level3">
  109. <h3>Scambio chiavi alla OTR</h3>
  110. <figure>
  111. <img src="images/otr-current.png" alt="OTR Current" /><figcaption>OTR Current</figcaption>
  112. </figure>
  113. </section><section id="triple-diffie-hellman-handshake" class="slide level3">
  114. <h3>Triple Diffie-Hellman handshake</h3>
  115. <figure>
  116. <img src="images/otr-simplified.png" alt="OTR Simplified" /><figcaption>OTR Simplified</figcaption>
  117. </figure>
  118. </section><section id="proprietà-da-wikipedia" class="slide level3">
  119. <h3>Proprietà (da Wikipedia)</h3>
  120. <p>The protocol provides confidentiality, integrity, authentication, destination validation, forward secrecy, backward secrecy, causality preservation, message unlinkability, message repudiation, participation repudiation, and asynchronicity.</p>
  121. </section><section id="proprietà-2-da-wikipedia" class="slide level3">
  122. <h3>Proprietà 2 (da Wikipedia)</h3>
  123. <p>The group chat protocol is a combination of a pairwise double ratchet and multicast encryption. In addition to the properties provided by the one-to-one protocol, the group chat protocol provides speaker consistency, out-of-order resilience, dropped message resilience, computational equality, trust equality, subgroup messaging, as well as contractible and expandable membership.</p>
  124. </section><section id="progetti-derivati" class="slide level3">
  125. <h3>Progetti derivati</h3>
  126. <ul>
  127. <li>Wire (protocollo Proteus)</li>
  128. <li>OMEMO (XMPP)</li>
  129. <li>OLM (Matrix)</li>
  130. <li>Proprietari: Viber, WhatsApp, Facebook Messenger (secret conversations), Google Allo (incognito mode)</li>
  131. </ul>
  132. </section><section id="su-xmppomemo" class="slide level3">
  133. <h3>Su XMPP/OMEMO</h3>
  134. <p>XMPP+OMEMO funziona, usiamolo! Però:</p>
  135. <ul>
  136. <li>Usabilità</li>
  137. <li>Autenticazione sul numero di telefono</li>
  138. <li>La frammentazione è un problema</li>
  139. <li>Supporto per (video)chiamate WebRTC</li>
  140. <li>Diverso tipo di utenza</li>
  141. <li><strong>Evidenza sperimentale!</strong></li>
  142. </ul>
  143. </section><section id="labbiamo-fatto-perché-possiamo" class="slide level3">
  144. <h3>L’abbiamo fatto perché possiamo!</h3>
  145. </section></section>
  146. <section><section id="perché-non-signal" class="titleslide slide level2"><h2>Perché non Signal?</h2></section><section id="problemi-di-signal" class="slide level3">
  147. <h3>Problemi di Signal</h3>
  148. <ul>
  149. <li>Il servizio è centralizzato</li>
  150. <li>Dipende da servizi commerciali (Twilio, Amazon, Google, Apple)</li>
  151. <li>Il client ha dipendenze proprietario (librerie Google)</li>
  152. <li>Moxie ha altre priorità</li>
  153. <li>Non è un <em>silver bullet</em> (vedi: trojan di stato)</li>
  154. </ul>
  155. </section><section id="la-federazione-in-signal" class="slide level3">
  156. <h3>La federazione in Signal</h3>
  157. <ul>
  158. <li>Server e client supportano nativamente la federazione</li>
  159. <li>Il servizio è stato federaton con CyanogenMod da dicembre 2013 a gennaio 2016 (WhisperPush)</li>
  160. <li>Moxie: <a href="https://whispersystems.org/blog/the-ecosystem-is-moving/">Reflections: The ecosystem is moving</a></li>
  161. <li>Moxie non intende federare</li>
  162. <li>Implementazione parziale nei client non-mobile</li>
  163. </ul>
  164. </section></section>
  165. <section><section id="infrastruttura-del-servizio" class="titleslide slide level2"><h2>Infrastruttura del servizio</h2></section><section id="lato-server" class="slide level3">
  166. <h3>Lato server:</h3>
  167. <ul>
  168. <li>Signal-Server</li>
  169. <li>Redis, PostgreSQL</li>
  170. <li>Twilio (alternative?)</li>
  171. <li>Servizi Push Google e Apple</li>
  172. <li>Amazon S3 (attachment)</li>
  173. <li>Server STUN/TURN (WebRTC)</li>
  174. </ul>
  175. </section><section id="notifiche-e-consegna-messaggi" class="slide level3">
  176. <h3>Notifiche e consegna messaggi</h3>
  177. <p>Da alcuni mesi il client Android funziona senza Google Play Services, mantenendo una connessione (WebSocket) attiva verso il server.</p>
  178. <p>L’APK ufficiale contiene comunque le librerie Google.</p>
  179. </section><section id="federazione" class="slide level3">
  180. <h3>Federazione</h3>
  181. <p>Una rete di server Signal federati è una rete “chiusa”, alla IRC, non aperta tipo SMTP o XMPP. Questo ha vantaggi e svantaggi. Un vantaggio: meno problemi di frammentazione.</p>
  182. <p>Gli utenti si registrano su uno specifico server, il quale sa che altri utenti esistono e in che server. Fa da relay.</p>
  183. </section><section id="liberazione-del-server" class="slide level3">
  184. <h3>Liberazione del Server</h3>
  185. <ul>
  186. <li>Servizi push: disabilitati. Le notifiche avvengono solo tramite WebSocket</li>
  187. <li>Endpoint S3 reso configurabile, in modo da poter usare un qualsiasi servizio compatibili con S3</li>
  188. <li>Server STUN/TURN: CoTURN</li>
  189. </ul>
  190. <p><a href="https://github.com/CableIM/Cable-Server" class="uri">https://github.com/CableIM/Cable-Server</a></p>
  191. <p><code>$ git diff ows/master</code></p>
  192. </section><section id="liberazione-del-client" class="slide level3">
  193. <h3>Liberazione del Client</h3>
  194. <ul>
  195. <li>Rimosse tutte le librerie Google (viene persa la funzione “Send my location”)</li>
  196. <li>Modificata la configurazione (URL, certificati)</li>
  197. <li>Tutto il resto funziona, anche le chiamate!</li>
  198. <li><a href="https://github.com/CableIM/Cable-Android" class="uri">https://github.com/CableIM/Cable-Android</a></li>
  199. </ul>
  200. </section><section id="altre-modifiche-al-client" class="slide level3">
  201. <h3>Altre modifiche al client</h3>
  202. <p>Interfaccia di selezione del server (gine)</p>
  203. <p>Default più stringenti</p>
  204. </section></section>
  205. <section><section id="configurazione-di-un-server" class="titleslide slide level2"><h2>Configurazione di un server</h2></section><section id="requisiti" class="slide level3">
  206. <h3>Requisiti</h3>
  207. <p>Serve una macchina (virtuale) dedicata, in quanto alcuni servizi (in particolare i db) sono complessi da rendere sicuri.</p>
  208. <p>Serve un IP pubblico, non per forza dedicato.</p>
  209. <p>Molta pazienza: non c’è documentazione.</p>
  210. <p>Incandenza, HM0x13.</p>
  211. </section><section id="server-di-hacklabbo" class="slide level3">
  212. <h3>Server di HacklabBO</h3>
  213. <ul>
  214. <li>Debian Stretch</li>
  215. <li>PostgreSQL 9.6</li>
  216. <li>Redis</li>
  217. <li>OpenJDK 8</li>
  218. <li>Cable-Server</li>
  219. <li>S3: Minio (<a href="https://minio.io/" class="uri">https://minio.io/</a>)</li>
  220. <li>Apache / nginx</li>
  221. <li>STUN/TURN: CoTURN</li>
  222. <li>Twilio</li>
  223. </ul>
  224. </section><section id="federare-due-server" class="slide level3">
  225. <h3>Federare due server</h3>
  226. <ul>
  227. <li>L’autenticazione avviene con certificato e password</li>
  228. <li>Le directory di utenti vanno sincronizzate periodicamente</li>
  229. <li>L’implementazione non è raffinata come il resto…</li>
  230. <li>Vedi: <a href="staging-obfuscated.conf">file di configurazione</a></li>
  231. </ul>
  232. </section></section>
  233. <section><section id="conclusioni" class="titleslide slide level2"><h2>Conclusioni</h2></section><section id="todo" class="slide level3">
  234. <h3>TODO</h3>
  235. <ul>
  236. <li>Federare due server</li>
  237. <li>Mailing list di gestione della rete federata</li>
  238. <li>Pubblicare l’app su F-Droid</li>
  239. <li>Documentazione</li>
  240. <li>Fare un’icona decente</li>
  241. </ul>
  242. </section><section id="piani-futuri-e-idee" class="slide level3">
  243. <h3>Piani futuri e idee</h3>
  244. <p>Registrazione con email o con identificativo univoco casuale</p>
  245. <p><a href="https://github.com/WhisperSystems/Signal-Android/issues/1085" class="uri">https://github.com/WhisperSystems/Signal-Android/issues/1085</a></p>
  246. <p>Eliminare tutta la parte di telefonia standard e SMS</p>
  247. <p>Integrazione con Tor</p>
  248. <p>Client per iPhone</p>
  249. </section><section id="codice" class="slide level3">
  250. <h3>Codice</h3>
  251. <p><a href="https://github.com/CableIM/" class="uri">https://github.com/CableIM/</a></p>
  252. <p>Signal-Android: GPLv3</p>
  253. <p>Signal-Server: AGPLv3</p>
  254. </section><section id="repository-f-droid" class="slide level3">
  255. <h3>Repository F-Droid</h3>
  256. <p><a href="https://fdroid.cable.im/" class="uri">https://fdroid.cable.im/</a></p>
  257. <p>Fingerprint:</p>
  258. <p>4C:C3:E0:6E:72:67:4E:77:98:60:0B:AD:1B:92:D7:D6 23:71:07:A9:F4:DD:0A:04:4E:60:5E:CC:01:60:FA:21</p>
  259. </section></section>
  260. </div>
  261. </div>
  262. <script src="http://lab.hakim.se/reveal-js/lib/js/head.min.js"></script>
  263. <script src="http://lab.hakim.se/reveal-js/js/reveal.js"></script>
  264. <script>
  265. // Full list of configuration options available at:
  266. // https://github.com/hakimel/reveal.js#configuration
  267. Reveal.initialize({
  268. // Display the page number of the current slide
  269. slideNumber: true,
  270. // Optional reveal.js plugins
  271. dependencies: [
  272. { src: 'http://lab.hakim.se/reveal-js/lib/js/classList.js', condition: function() { return !document.body.classList; } },
  273. { src: 'http://lab.hakim.se/reveal-js/plugin/zoom-js/zoom.js', async: true },
  274. { src: 'http://lab.hakim.se/reveal-js/plugin/notes/notes.js', async: true }
  275. ]
  276. });
  277. </script>
  278. </body>
  279. </html>