Fornecer um Helpdesk segura e eficiente
Em uma discussão que vai soar familiar para os leitores da Austrália, US agência de desenvolvimento militar DARPA quer criar software comprovadamente seguro.
De acordo com Threatpost , diretor DARPA Arati Prabhakar disse em uma conferência de segurança Washington Post que os sistemas embarcados estão entre os tipos de aplicações para as quais ele é viável a criação de tais sistemas operacionais.
Como o Departamento de Defesa write-up do discurso, Prabhakar descreveu o projeto como buscando "uma prova matemática de que esta função não pode ser cortado a partir de um caminho que não se destinava. Isso não vai resolver todo o problema, mas pode torná-lo mais controlável. "
A escala de um sistema operacional de desktop faz um gol "comprovadamente seguro" esticar muito grande, mas ela disse na conferência que é viável "para sistemas embarcados com um número modesto de linhas de código".
É uma aposta justa que da Austrália NICTA estará dando um grande interesse no projeto. Esse grupo desenvolveu um microkernel comprovadamente seguro que cindidas em uma empresa chamada OK Labs, adquirida em 2012 pela General Dynamics.
Em julho deste ano, NICTA-fonte aberto o código para seu seL4 microkernel , identificando DARPA entre os usuários do software.
Na conferência WashPo, Prabhakar também destacou os planos de Cyber Grande Desafio DARPA para 2016 para esse evento, ela disse: DARPA criou um sistema operacional construído para o efeito: "É um ambiente separado, com um novo sistema operacional. Estamos criando uma liga própria para máquinas para combatê-lo ", disse ela, com 90 equipes já registrados para tentar sua mão no concurso de capturar a bandeira.
A ruga é que os concorrentes têm de defender as redes contra ameaças de alta velocidade, sem interação humana, porque ela disse DARPA quer "chegar onde nós podemos fazer a defesa da segurança cibernética na velocidade da máquina". ®
Nenhum comentário:
Postar um comentário