At 13:46 28/09/00 -0300, you wrote:
>Estamos chegando a uma discussão que surgiu na sekurenet meses atrás...
>Mesmo se o fizermos em linux, teriamos que escrever nosso próprio compilador
>pois o compilador também pode estar "marretado"...
>Isso se parece com o paradoxo da avó...

Olá  Celso,
Se for ser rigoroso, esta sua afirmação está correta. O Compilador pode
estar "bichado" e inserir código fraudulento num fonte limpo.

Esta briga ou paradoxo não acaba nunca e por isto eu prefiro poder conferir
a apuração com o voto impresso do que tentar validar e certificar um
sistema complexo por inteiro.



[]s ,
    Amilcar
        



__________________________________________________
Pagina, Jornal e Forum do Voto Eletronico
       http://www.votoseguro.org
__________________________________________________

Responder a