Auditoria privada de SCT, revisitada

Resumo

Revisitamos o problema de auditoria de SCT diante das mudanças recentes no ecossistema de Certificate Transparency (CT) e melhorias na recuperação privada de informações (PIR). Para que um cliente se conecte de forma segura a um servidor na web, o cliente deve confiar nos certificados das autoridades de certificação (CAs) apenas para emitir certificados ao operador legítimo do servidor. Se um certificado for emitido de forma errada, é possível que um atacante se passe pelo servidor para o cliente. O objetivo da Certificate Transparency (CT) é registrar todos os certificados emitidos de uma forma que permita a qualquer pessoa auditar os logs para emissão errada. Um cliente pode até auditar um log CT por conta própria, mas isso vazaria dados de navegação sensíveis para o operador do log. Como resultado, auditorias no lado do cliente são raras na prática. Neste trabalho, revisitamos a auditoria privada de CT de uma perspectiva do mundo real. Nosso estudo é motivado por mudanças recentes no ecossistema de CT e avanços na Recuperação Privada de Informações (PIR). Primeiramente, descobrimos que a verificação da inclusão de Carimbos de Certificado Assinados (SCTs) em um log — a auditoria realizada pelos clientes — agora é possível com PIR em menos de um segundo e com menos de 100kb de comunicação, com ajustes menores no protocolo que foram propostos anteriormente. Nossos resultados também mostram como dimensionar auditorias usando técnicas de batching existentes e a estrutura algébrica dos protocolos PIR, em particular para obter hashes de certificado incluídos no log. Como os protocolos PIR são mais performáticos com bancos de dados menores, também sugerimos um número de estratégias para reduzir o tamanho do banco de dados de SCT para auditorias. Nossa observação principal é que a web provavelmente fará a transição para um novo modelo de emissão de certificados. Embora essa transição seja principalmente motivada pela necessidade de adaptar a PKI a esquemas de assinatura pós-quântica maiores, ela também remove a necessidade de auditorias de SCT na maioria dos casos. Apresentamos as primeiras estimativas de como essa transição pode impactar a auditoria de SCT, com base em dados coletados de logs CT públicos. Descobrimos que a implantação em larga escala do novo modelo de emissão pode reduzir o número de auditorias de SCT necessárias por um fator de 1.000, tornando a auditoria baseada em PIR prática para implantação.