Re: Gödel and kernel backdoors

[Pavel Kankovsky <peak () argo troja mff cuni cz>]

On Sat, 18 Sep 2010, Georgi Guninski wrote:

> 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.

What is impossible is reliable and perfect discrimination between "good"
and "bad" programs for any nontrivial definition of "good" and "bad"
(this follows from Rice's theorem).

On the other hand, It is possible to "detect all bad programs" if it is
allowed to err on the safe side and mistake some good programs for bad
programs. An extreme example is to call all programs bad unless their
exact code appears on the list of known good programs.

-- 
Pavel Kankovsky aka Peak                          / Jeremiah 9:21        \
"For death is come up into our MS Windows(tm)..." \ 21st century edition /

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