Full Disclosure mailing list archives
Re: Gödel and kernel backdoors
From: Hurgel Bumpf <l0rd_lunatic () yahoo com>
Date: Mon, 20 Sep 2010 01:03:21 -0700 (PDT)
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 <guninski () guninski com> schrieb am Sa, 18.9.2010:
Von: Georgi Guninski <guninski () 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/
Current thread:
- Gödel and kernel backdoors Georgi Guninski (Sep 18)
- Re: Gödel and kernel backdoors mrx (Sep 18)
- Re: Gödel and kernel backdoors Giuseppe Fuggiano (Sep 18)
- Re: Gödel and kernel backdoors BMF (Sep 18)
- Re: Gödel and kernel backdoors wmsecurity (Sep 20)
- Re: Gödel and kernel backdoors Pavel Kankovsky (Sep 19)
- Re: Gödel and kernel backdoors Georgi Guninski (Sep 19)
- Re: Gödel and kernel backdoors Berend-Jan Wever (Sep 19)
- Re: Gödel and kernel backdoors Christian Sciberras (Sep 19)
- Re: Gödel and kernel backdoors Georgi Guninski (Sep 19)
- Re: Gödel and kernel backdoors Hurgel Bumpf (Sep 20)
- Re: Gödel and kernel backdoors Georgi Guninski (Sep 20)
- Re: Gödel and kernel backdoors Valdis . Kletnieks (Sep 20)
- <Possible follow-ups>
- Re: Gödel and kernel backdoors dave b (Sep 20)