Engenheiros da Universidade de Colúmbia, nos EUA, afirmam ter criado o “primeiro sistema de software multiprocessador do mundo real que é matematicamente correto e seguro”.

Batizado de SeKVM, é o primeiro sistema formalmente verificado para computação em nuvem.

A verificação formal é o processo de provar matematicamente que o software faz o que se espera dele, que o código do programa funciona como deveria e que não há bugs de segurança ocultos com que se preocupar.

Por exemplo, quando alguém faz uma compra em um site, os dados desse cliente são atualizados automaticamente e armazenados em milhares de máquinas virtuais na nuvem. Qualquer vulnerabilidade, em qualquer uma dessas máquinas virtuais, abre a possibilidade de vazamento de dados e prejuízos.

Assim como os hackers não param, as equipes anti-hacker também têm dado muita atenção à verificação formal, incluindo o trabalho de verificação dos sistemas operacionais com multiprocessador.

Fonte Inovacao tecnologica

Imagem: quora