The solution could be a virtualized operating system, which has a control layer between the operating system and the hardware abstraction layer. Changes to data could be non-persistent in the first step, and only written to the hdd after a heuristic check of the changes and a interaction with the user.
In the end, the problem is on one side the os vendor bothering endusers with stupid stop signs that can be disabled with a simple click, and on the other side the user again, clicking on every accept button like a woodpecker. --- Georgi Guninski <gunin...@guninski.com> schrieb am Sa, 18.9.2010: > Von: Georgi Guninski <gunin...@guninski.com> > Betreff: [Full-disclosure] Gödel and kernel backdoors > An: full-disclosure@lists.grok.org.uk > Datum: Samstag, 18. September, 2010 15:51 Uhr > 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/ > _______________________________________________ Full-Disclosure - We believe in it. Charter: http://lists.grok.org.uk/full-disclosure-charter.html Hosted and sponsored by Secunia - http://secunia.com/