Full Disclosure mailing list archives
Re: Linux big bang theory....
From: Vincent Archer <varcher () denyall com>
Date: Mon, 28 May 2007 11:08:51 +0200
On Sun, 2007-05-27 at 14:22 +0200, Pavel Kankovsky wrote:
"All memory" involves any aspect of the system mutable by the software. If the microcode is mutable than the memory used to store it is a part of "all memory".
Yes. And for typical systems, that also includes all of the mass storage (i.e. the file systems) attached to it: your software needs to require every single byte of data storage. I think such a system would come close to have a self-provable integrity, but such a system must be extremely carefully designed for it, and notably is non-expandable. Any expansion breaks down the proved state by introducing external unvalidated states, and you're back to square one. Being able to validate the integrity of a system requires *at least* the entire potential system, which is why systems in general cannot self-prove: they require more than themselves. -- Vincent ARCHER varcher () denyall com Tel : +33 (0)1 40 07 47 14 Fax : +33 (0)1 40 07 47 27 Deny All - 23, rue Notre Dame des Victoires - 75002 Paris - France _______________________________________________ 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:
- Re: Linux big bang theory...., (continued)
- Re: Linux big bang theory.... Mike Owen (May 15)
- Re: Linux big bang theory.... Just1n T1mberlake (May 13)
- Re: Linux big bang theory.... Tremaine Lea (May 13)
- Re: Linux big bang theory.... Andrew Farmer (May 13)
- Re: Linux big bang theory.... Vincent Archer (May 21)
- Re: Linux big bang theory.... J. Oquendo (May 21)
- Re: Linux big bang theory.... gary sweet (May 21)
- Re: Linux big bang theory.... Pavel Kankovsky (May 26)
- Re: Linux big bang theory.... Valdis . Kletnieks (May 26)
- Re: Linux big bang theory.... Pavel Kankovsky (May 27)
- Re: Linux big bang theory.... Vincent Archer (May 28)
- Re: Linux big bang theory.... Tremaine Lea (May 13)
- Re: Linux big bang theory.... scott (May 13)
- Re: Linux big bang theory.... Kradorex Xeron (May 14)
- Re: Linux big bang theory.... Troy (May 14)
- Re: Linux big bang theory.... Kradorex Xeron (May 15)