SD3: um sistema de gerenciamento de confiança com avaliação certificada

Apresentamos o SD3, um sistema de gerenciamento de confiança composto por uma linguagem de políticas de alto nível, uma avaliação de políticas local e um sistema de recuperação de certificados. Uma característica única do SD3 é seu avaliador certificado. Enquanto o avaliador calcula a resposta a uma consulta, ele também calcula uma prova de que a resposta segue da política de segurança. Antes que a resposta seja retornada, a prova é submetida a um verificador simples e provas incorretas são relatadas como erros. O avaliador certificado reduz a base de computação confiável e aumenta significativamente nossa confiança de que as respostas produzidas pelo avaliador seguem da especificação, apesar de otimizações complexas. Para ilustrar as capacidades do SD3, mostramos como implementar um serviço de nomes seguro, semelhante ao DNSSEC, inteiramente no SD3.