full-disclosure - Re: Gödel and kernel backdoors

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Date: Sun, 19 Sep 2010 00:30:59 +0200
From: Giuseppe Fuggiano <giuseppe.fuggiano@...il.com>
To: Georgi Guninski <guninski@...inski.com>
Cc: full-disclosure@...ts.grok.org.uk
Subject: Re: Gödel and kernel backdoors

On Sat, 2010-09-18 at 22:51 +0300, Georgi Guninski wrote:
> http://plus.maths.org/content/goumldel-and-limits-logic
> Gödel and the limits of logic
> 
> Quote:
> 
> Another result that derives from Gödel's ideas is the demonstration that
> no  program that does not alter a computer's operating system can detect
> all programs that do. In other words, no program can find all the
> viruses on your computer, unless it interferes with *and alters* the operating system.

Interesting, especially because actually Antiviruses do alter my
operating system, usually making it unstable.  That's why I don't use
them.

Giuseppe.

_______________________________________________
Full-Disclosure - We believe in it.
Charter: http://lists.grok.org.uk/full-disclosure-charter.html
Hosted and sponsored by Secunia - http://secunia.com/