Full Disclosure mailing list archives

Previous By Date Next
Previous By Thread Next

Gödel and kernel backdoors

From: Georgi Guninski <guninski () guninski com>
Date: Sat, 18 Sep 2010 22:51:26 +0300
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.






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

Current thread: