full-disclosure - Re: Gödel and kernel backdoors

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <184835.89901.qm@web28405.mail.ukl.yahoo.com>
Date: Mon, 20 Sep 2010 01:03:21 -0700 (PDT)
From: Hurgel Bumpf <l0rd_lunatic@...oo.com>
To: full-disclosure@...ts.grok.org.uk, Georgi Guninski <guninski@...inski.com>
Subject: Re: Gödel and kernel backdoors

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@...inski.com> schrieb am Sa, 18.9.2010:

> Von: Georgi Guninski <guninski@...inski.com>
> Betreff: [Full-disclosure] Gödel and kernel backdoors
> An: full-disclosure@...ts.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/