INVESTIGAÇÃO
A investigação por trás da conceção.
A integridade de dados demonstrável significa que nunca tem de aceitar a nossa palavra: cada garantia é enunciada como uma propriedade e depois derivada, para que o seu auditor a possa seguir, contestar e aprovar outra coisa que não uma apresentação comercial. É nesta página que esses documentos são publicados, e é aqui que serão publicados também os que cobrem o que construirmos a seguir. A documentação técnica já está disponível e cobre a mesma conceção noutra forma.
Artigo DataPrism
A conceção do sistema de ponta a ponta e as garantias formais por trás das três propriedades.
O QUE DEMONSTRA
Que as propriedades são consequências da conceção, não opções de configuração. Pode seguir cada derivação até ao pressuposto em que assenta e, se um deles não se verificar no seu ambiente, verá exatamente onde o argumento deixa de se aguentar.
PARA QUEM É
Para o arquiteto ou o auditor de segurança que tem de aprovar uma conceção de armazenamento e responder por essa assinatura mais tarde. Para a história em vez da derivação, leia como a conceção se torna um produto.
Publicação em breve
Artigo sobre fiabilidade
Os modelos de fiabilidade por trás da dispersão: como a redundância por fornecedores independentes se traduz em falhas e recusas sobreviváveis, até ao limiar de redundância que escolher. A matemática da durabilidade, exposta para ser verificada, não para ser aceite em confiança.
O QUE DEMONSTRA
Que a sobrevivência sob falha é calculada, não esperada: ponha nos modelos o seu próprio número de fornecedores e o seu próprio limiar e obtém as combinações de indisponibilidades e recusas que a dispersão absorve, e aquela em que deixa de absorver.
PARA QUEM É
Para o engenheiro que tem de responder ao que acontece quando um fornecedor falha, com um modelo em vez de um adjetivo.
Publicação em breve
Visão geral da arquitetura de segurança
O modelo de ameaças por inteiro: o que cada ator consegue ver, em que assenta cada garantia e as escolhas criptográficas por trás delas.
O QUE DEMONSTRA
Quem consegue ler o quê e em que condições: fornecedor, operador, autoridade, atacante, cada um percorrido face à arquitetura. A maior parte do que um questionário de segurança pergunta pode ser respondida diretamente a partir deste documento.
PARA QUEM É
Para o CISO ou o engenheiro de segurança que faz a diligência prévia antes de um piloto e prefere ler a marcar uma chamada.
Publicação em breve
O QUE OS ARTIGOS COBREM
O que significa, formalmente, integridade de dados demonstrável.
GARANTIAS FORMAIS
As propriedades enunciadas e derivadas, para que possa testar cada uma face ao seu próprio modelo de ameaças.
MODELOS DE FIABILIDADE
O que sobrevive quando os fornecedores falham ou recusam, e onde está o limite, para que fixe o seu limiar de redundância com base em provas.
ARQUITETURA
A arquitetura completa, do cliente ao registo, com o pressuposto de confiança de cada etapa escrito por extenso.
GARANTIAS ENUNCIADAS
Quatro frases que esperamos ver citadas de volta.
Fazemos estas afirmações em todo este site. As três primeiras são propriedades enunciadas com uma derivação por trás, nos artigos. A quarta é o que delas decorre na prática. Cite-as na sua revisão de segurança e exija-nos que as cumpramos.
-
CONFIDENCIALIDADE
A cifragem acontece antes do upload. Ninguém consegue ler os seus dados, nós incluídos.
-
DISPONIBILIDADE
Os ficheiros são dispersos com redundância por fornecedores independentes. Nenhuma indisponibilidade de um fornecedor isolado consegue derrubar os seus dados.
-
INTEGRIDADE
Cada fragmento é endereçado pelo seu conteúdo. A adulteração é detetável de ponta a ponta.
-
COERÇÃO
Um operador a quem seja dirigido um pedido só pode apresentar fragmentos incompletos de texto cifrado. A chave é derivada do seu lado e não é armazenada em lado nenhum, aqui incluído.
PORQUE PUBLICAMOS
Preferimos ser verificados a ser acreditados.
Uma infraestrutura que pede os seus dados mais sensíveis não devia ser avaliada por adjetivos, e você não devia ter de aprovar por fé. Publicar a conceção, com as suas garantias enunciadas e derivadas, transforma a nossa história de segurança em algo que o seu auditor pode atacar: leia as afirmações, siga as derivações, procure a falha. A sua diligência prévia recebe um documento em vez de uma reunião e, se encontrar uma falha, queremos saber antes de qualquer outra pessoa.
Os artigos são uma camada de uma pilha verificável: o modelo de ameaças em termos simples tem a sua própria visão geral acima, e o SDK de cifragem do lado do cliente está documentado abertamente. Cada documento acima liga ao seu PDF assim que esse documento for publicado.
Esta página é um local de publicação, não a fotografia de uma versão. Os documentos acima cobrem o sistema tal como está hoje. À medida que a conceção ganha capacidades, os artigos que enunciam e derivam as garantias que essas capacidades trazem são publicados aqui da mesma forma, sob a mesma regra: primeiro a afirmação, depois a derivação por trás dela.
Assente em investigação que publicamos.
A documentação mostra como a conceção se torna um SDK que os seus engenheiros podem ler linha a linha.