Proof Engine.
Cinco motores que respondem com evidência, não com opinião.
Evidência em vez de opinião
Opinião é barata em segurança. Estes motores devolvem algo que você pode conferir: um certificado, um contraexemplo, uma linha de fatura, um rastro de política.
Proof of Annihilation
Calcula o número de extinção (k): o menor conjunto de identidades privilegiadas ou controles que um adversário precisa comprometer para destruir todas as cópias recuperáveis dos seus dados. Quanto maior o k, mais difícil o ataque.
Z3 Digital Proof
Codifica a política atual e a correção proposta e faz uma única pergunta a um solver SMT: esta mudança pode remover um acesso que precisa continuar?
Regulated Data Proof
Avalia juntas SCPs, permission boundaries e políticas de recurso, endpoint e chave, e mostra se alguém fora da fronteira permitida alcança dados regulados, e por qual caminho.
CVE Ground Truth
Um pacote vulnerável não é um sistema vulnerável. O Ground Truth verifica se o código vulnerável pode ser alcançado e executado.
Provas que você pode entregar ao auditor
Um certificado, não uma nota
O Proof of Annihilation devolve um certificado que um verificador independente, sem código em comum com as bibliotecas de grafo do motor, pode conferir. Depois propõe o corte mais barato que aumenta o k.
Limites: calculado sobre o grafo modelado e os provedores conectados; não testa a velocidade de restauração.
Corrigir sem medo
O medo de quebrar produção é o que mantém os achados abertos. O Z3 Digital Proof responde com o contraexemplo exato, ou com um não provado, sob a semântica de política modelada.
Limites: cobre as camadas de política que a Arkhein modela; não observa o comportamento em execução.
Ledger Truth Engine
A sua fatura conhece recursos que o seu inventário não conhece. O motor concilia as linhas de cobrança com o grafo e aponta gastos sem dono conhecido: shadow IT, ambientes esquecidos, computação sequestrada.
Evidência mapeada para os seus reguladores
O Regulated Data Proof gera evidência mapeada para controles de BACEN 4893, LGPD, PCI-DSS, GDPR e HIPAA, mostrando quem alcança dados regulados e por qual caminho.
Limites: evidência mapeada para o seu auditor; não é uma certificação.
Respostas sobre
Proof Engine
O menor número de identidades privilegiadas ou controles que um atacante precisa comprometer para destruir todas as cópias recuperáveis dos seus dados. Quanto maior o k, mais difícil o ataque.
Um verificador independente, sem código em comum com as bibliotecas de grafo do motor, faz a conferência, então o resultado não depende de confiar no motor.
Não. Ele prova propriedades das camadas de política que a Arkhein modela, sob a semântica modelada. O comportamento em execução é coberto pelo Live Defense.
Não. Ele gera evidência mapeada para controles de BACEN 4893, LGPD, PCI-DSS, GDPR e HIPAA que o seu auditor pode revisar.
Fica visível como desconhecida. A alcançabilidade depende do suporte à linguagem e da visibilidade em execução, e o CVE Ground Truth nunca descarta em silêncio um achado que não consegue avaliar.
Pronto para ver sua nuvem
como um atacante vê?
Agende uma demonstração e nossa equipe vai te mostrar o Arkhein na sua própria nuvem.