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: <4C953681.4090008@propergander.org.uk>
Date: Sat, 18 Sep 2010 23:00:33 +0100
From: mrx <mrx@...pergander.org.uk>
To: full-disclosure@...ts.grok.org.uk
Subject: Re: Gödel and kernel backdoors

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 18/09/2010 20:51, Georgi Guninski wrote:
> 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.

Can software monitor, identify and log (measure) without interacting with and thus affecting the OS?
Perhaps this is the reason why mankind has not yet found a GUT.
Perhaps a paradox is all we have to work with.

- -- 
Mankind's systems are white sticks tapping walls.
Thanks Roy
http://www.propergander.org.uk
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (MingW32)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEVAwUBTJU2gbIvn8UFHWSmAQKBSgf/ZOo6VSxEPABLKYfnTdLHsHIZhqNoKJAT
VYjf9TrczpcNmX+eg9w/R/tmyRHz4hwYqy72rI8J8gbax7gFo4x65PmGwOu27u5L
7u4jmee6CGvY354KwDvLpI0sI3901u4xkY2/n3mGOdQHTAmtWLL0B2ov8/1+/gc3
Wsr1M88qV/2vlFDb48gzyicHf8BHYlHIw0JKvu8Zt+is98BbLsEycOdBdK2Wve//
Sdq3XaADyaZ09oeYj2rZNs8NGm7nh38B3EBgQMyHYiE6Wy7Z8zztAgpk4heKAPm1
AHU/9kiCgnTozhPz8ROt9ZSKFnZuc4S+9SINGJl14GHOSGfSNBpRCw==
=i3Rx
-----END PGP SIGNATURE-----

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