Full Disclosure mailing list archives

Re: Gödel and kernel backdoors


From: wmsecurity <wmsecurity () gmail com>
Date: Sun, 19 Sep 2010 00:57:43 +0200

Nowadays most vendors interferes and alters *a lot* in your operating system,
from hooking Win32 API functions to modification of the IAT.
It's only a question of who came first, the malware or the protection program.


On Sun, Sep 19, 2010 at 00:30, Giuseppe Fuggiano
<giuseppe.fuggiano () gmail com> wrote:
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/

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


Current thread: