Re: Windows' future (reprise)

[Georgi Guninski <guninski () guninski com>]

On Tue, May 18, 2010 at 11:27:22AM -0400, Valdis.Kletnieks () vt edu wrote:
> (Note that the esteemed Mr <READ_THE_LIST_CHARTER>   overlooked "unknown knowns" - that class
> of stuff we don't realize or refuse to admit we actually *do* know:
ok, i know i am a writer not a reader (like a narcisist chukcha is ;) )

can you recommend reading about malware that belongs to a class of malware "the existence of which provably cannot be 
proved within <current technology> ... if one assumes <current technology> itself is consistent> [1]"

the disclosed idea of backdooring the compiler doesn't count, because currently people are *examining* compilers (well, 
assuming they can do it).

did someone {\TeX , .pdf } producer managed to represent in text some _abstract??_ backdooring that is undetectable 
with current plausible budgets (as in "god can backdoor all of your bases" or "it may be possible to screw the electric 
field in exploitable way in any circumstances" ) ?


[1] http://en.wikipedia.org/w/index.php?title=Large_cardinal_property&oldid=18071390

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