1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
|
Convergence e Monkeysphere: chaves para gestão SSL distribuída
==============================================================
Conferência O Outro Lado Edição 2
---------------------------------
[Convergence](http://convergence.io) e
[Monkeysphere](http://web.monkeysphere.info): duas alternativas viáveis para
substituir ou complementar o atual cartel das Autoridades Certificadoras
utilizadas na pilha SSL/TLS.
Propósito
---------
De 2008 até o momento, foram reveladas falhas fundamentais em vários protocolos
básicos da internet:
- DNS: [Dan Kaminsky Discovers Fundamental Issue In DNS](https://lwn.net/Articles/289138) ([análise](http://www.unixwiz.net/techtips/iguide-kaminsky-dns-vuln.html))
- BGP: [The Internet’s Biggest Security Hole](http://www.wired.com/threatlevel/2008/08/how-to-intercep/)
- SSL: [Várias brechas](https://links.sarava.org/tags/ssl)
Estamos falando de falhas de especificação e não de implementação ou DoS, o que é muito
mais difícil de mitigar.
SSL: Breve histórico
--------------------
Pontos principais de um protocolo seguro:
1. Sigilo: a informação não será lida por terceiros.
2. Integridade: a informação não será adulterada.
3. Altenticidade: os pontos da comunicação serão verificados.
4. Disponibilidade: proteção a DoS, etc.
5. Anonimato.
No [caso do SSL/TLS](https://techmeet.sarava.org/uploads/Agenda/SSL_For_Activists.pdf):
1. Sigilo: Bulk Encryption e troca de chaves: RSA or Diffie-Hellman (usem DHE!)
2. Integridade: MAC Digest (hash)
3. Autenticidade: Certificados
SSL
---
- HSTS
- CipherSuite e Perfect Forward Secrecy
- Revogação (CRS / OCSP)
- Autoridades Certificadoras (CAs)
- Ataques:
- [Computational DoS Mitigation (THC)](http://vincent.bernat.im/en/blog/2011-ssl-dos-mitigation.html)
- [Hashclash (MD5)](http://www.win.tue.nl/hashclash/rogue-ca/)
- [BEAST](https://wiki.koumbit.net/BeastSecurityAssessment)
- [LittleBlackBox](https://code.google.com/p/littleblackbox/): chaves padrões em dispositivos embarcados!
Autoridades certificadoras
--------------------------
- Sistema PKI em x509 (ITU-T - 1998): atrela uma chave pública a um nome (domínio, email, etc)
- 2009: [Relatório da Netcraft](https://ssl.netcraft.com/ssl-sample-report)
- 2010: Verisign: operação de CA vendida por US$1.28 bi para a Symantec
- "Two big to fail"
Como me torno uma autoridade certificadora?
-------------------------------------------
Depende dos processos de inclusão
- Pelo fabricante da aplicação ou biblioteca
- Pelo distribuidor da aplicação ou biblioteca
- O usuário pode incluir manualmente
Quanto mais upstream for a inclusão, maior a ubiquidade. Certificados não-instalados
são considerados como autoassinados.
- Exemplo: o caso do http://www.cacert.org, uma CA Comunitária
- Mozilla: https://www.mozilla.org/projects/security/certs/included/
- ICP-Brasil: http://www.iti.gov.br/twiki/bin/view/Certificacao/WebHome
Procedimentos
- Mozilla - https://wiki.mozilla.org/CA:How_to_apply
- Opera - http://www.opera.com/docs/ca/
- M$ - http://technet.microsoft.com/en-us/library/cc751157.aspx (desatualizado)
- Safari - https://www.apple.com/certificateauthority/ca_program.html
- Google - ?
Em geral
- Há pouca transparência na relação entre CAs e fabricantes de software
- Sem gestão multissetorial
- Admins de instituições pequenas não tem outra escolha senão utilizar esses CAs
- As CAs são confiadas exatamente por serem CAs. Onde está a abertura das auditorias?
Situação atual
--------------
- Vocês checam seus fingerprints (OpenPGP, SSH e OpenSSL)?
- [sslsnif](http://www.thoughtcrime.org/software/sslsniff)
- Maus hábitos de sysadmins geram falsa sensação de segurança
- Bypass da tela de "conexão não-confiável"
Casos reais
-----------
"Crime maior do que roubar uma CA é fundar uma CA" - Bertold Brecha
- [Comodogate](http://it.slashdot.org/story/08/12/23/0046258): mail.google.com, addons.mozilla.org, login.skype.com, etc.
- [DigiNotar](http://www.f-secure.com/weblog/archives/00002228.html): certificados falsos da CIA, MI6 e Mossad ([timeline](http://www.networking4all.com/en/ssl+certificates/ssl+news/time-line+for+the+diginotar+hack/)).
- [The EFF SSL Observatory](https://www.eff.org/observatory) ([27c3](http://events.ccc.de/congress/2010/Fahrplan/events/4121.en.html))
- A situação é alarmante: basta apenas que um único CA seja comprometido para ruir toda a infraestrutura.
- SSL não se aplica apenas a HTTPS: StartTLS/SMTPS/IMAPS/XMPP/VPN/etc também sofrem dessas vulnerabilidades.
O que é preciso para interceptar conexão SSL?
---------------------------------------------
1. Certificado falso.
2. Meios efetivos de um MITM:
- DNS poisoning apontando requisições para servidores maliciosos.
- Redirecionamento de tráfego via BGP.
- Acesso físico à rede.
________
| |
| |
|________|
________ ________
| | | |
| | | |
|________| |________|
Obtenção
--------
________
| |
___| CA |--.
/ |________| \ 2
^ | :
1 | | 3 v
____|____ v __________
| | | | |
| Admin |__/ | Servidor |
|_________| |__________|
Conexão SSL
------------
_______________
| |
| CA (local) |
|_______________|
|
^ 3
____|____ 2 __________
| |------<-------| |
| Cliente | | Servidor |
|_________|------>-------|__________|
1
MITM
----
________
| |
.->| MITM |-<.
/ |________| \
| |
v v
____|____ ____|_____
| | | |
| Cliente |---X----| Servidor |
|_________| |__________|
Mas o quanto disso é factível?
------------------------------
- Oriente médio: ...
- EUA: [NSA warrantless surveillance controversy](https://en.wikipedia.org/wiki/NSA_warrantless_surveillance_controversy / https://en.wikipedia.org/wiki/Hepting_v._AT%26T)
- Brasil: [Massive DNS poisoning attacks in Brazil](http://www.securelist.com/en/blog/208193214/Massive_DNS_poisoning_attacks_in_Brazil)
A falha atinge de pequenos provedores até grandes porções da internet. O ataque é o mesmo, variando
apenas a capacidade do atacante.
Mitigação
---------
Recentemente foram propostas várias formas de mitigação:
- [Certificate Patrol](https://addons.mozilla.org/pt-BR/firefox/addon/certificate-patrol/?src=search): muito útil porém sofre to problema de "bootstrapping".
- IETF:
- [Public Key Pinning Extension for HTTP](https://www.ietf.org/id/draft-evans-palmer-key-pinning-00.txt): também sofre do "problema de bootstrapping".
- [DNSSEC/DANE](http://tools.ietf.org/html/draft-ietf-dane-protocol-12): aumenta ainda mais a centralidade do DNS e apenas muda o problema de lugar.
- [CAA](https://tools.ietf.org/html/draft-hallambaker-donotissue-03)
- [HASTLS](https://tools.ietf.org/html/draft-hoffman-server-has-tls-04)
- [Sovereign Keys (EFF)](https://www.eff.org/deeplinks/2011/11/sovereign-keys-proposal-make-https-and-email-more-secure)
- Google:
- [Certificate Authority Transparency and Auditability](http://tech.slashdot.org/story/11/11/29/2226211/google-researchers-propose-plan-to-fix-ca-system)
- [Google Certificate Catalog](http://googleonlinesecurity.blogspot.com/2011/04/improving-ssl-certificate-security.html)
Alternativas?
-------------
A grande questão é: abandonar o SSL hoje é uma opção que não depende apenas dos/as usuários, porém
é importante considerar que _o modelo atual de certificação não é mandatório._ Ao invés disso, o modelo
de CAs pode ser _plugável._
Convegence
----------
- http://convergence.io
- [Add-on para firefox](http://convergence.io/releases/firefox/convergence-current.application=x-xpinstall)
- Precedido pelo Perspectives (http://perspectives-project.org)
- "Trust agility"
- Problema: se o MITM estiver exatamente no provedor upstream, o Convergence pode não perceber.
Funcionamento
-------------
_______________ 5 cert
| |----<----.
| Notary server | \
|_______________|---->---. \
| | 4 \ \
6 v ^ 3 h+fp \ \
_|__|____ 2 cert __\__\____
| |------<-------| |
| Cliente | | Servidor |
|_________|------>-------|__________|
1
Bundles
-------
____
.-----<-| |
| .-->-| N1 |<
___________|_|_ |____| \
| | ____ \
| Notary proxy |->-| | \
|_______________|-<-| N2 |<. \
| | |____| \ \
v ^ . \ \
| | . \ \
| | . \ \
v ^ ____ \ \
| | | | \ \
| | | Nn | \ .
v ^ |____|-<-->. . |
___|__|__ _\__v_v___
| |------<----------| |
| Cliente | | Servidor |
|_________|------>----------|__________|
Monkeysphere
------------
- http://web.monkeysphere.info
- [Add-on pra firefox](https://addons.mozilla.org/pt-BR/firefox/addon/monkeysphere/?src=search)
- Atrela a autenticação à identificações pessoais pela Web Of Trust
- Também provê autorização
Demonstrações
-------------
- Monkeysphere
- Convergence
Integração
----------
- O Monkeysphere ainda é muito geeky porém oferece um nível de segurança muito mais alto
para a verificação de certificados; o código está maduro porém é preciso muito mais desenvolvimento
de UI e usabilidade.
- O Convergence pode utilizar como backend o Monkeysphere, o que pode reduzir o problema do MITM
upstream.
Perspectivas
------------
- A indústria sabe que o modelo de CAs está falido, mas ainda assim existe uma insistência
em dizer que o problema são as "maçãs podres" ou o excesso de CAs.
- Os fabricantes de navegadores tem peso maior na decisão, porém dificilmente farão mudanças bruscas uma vez que a internet hoje é muito dependente na infraestrutura de CAs.
- A pluralidade de métodos e a _plugalidade_ (:P) de soluções podem convergir num esquema de validação híbrido.
- Conscientização do público é fundamental.
|
