Quote:
There is no patch for human stupidity.
Hence to take control of security out of the user's hands and only allow them to operate in sealed compartments.
Quote:
Perspective is not objective. If it's not objective, it's nearly impossible to measure.
There is no such thing as subjectivity... everything is object. "Subjective" is merely a word devised to makes us feel better about a lack of understanding.
Quote:
Being able to map all freakin states is theoretically possible, but it's not gonne make stuff more secure.
These chips are mapped as they are developed... it's not like Intel just randomly dumps a design on a chip and then says "Now let's figure it out!"
Security is not a matter of chip design... chips are only capable of binary logic. the insecurities come from the flow between the user and the hardware. This is controlled by the security model at an abstract level and the operating system code and a more practical level.
Quote:
There's the math to prove it for ya.
Well yeah, KSOS spent it's entire development cycle against the Boyer-Moore theorum provers... until it came up clean. The 16 of 34 was the first run (after traditional methods came up clean) and KSOS was the first OS to utilize such an approach, which is what made the effort significant.
Quote:
The only way a computer can be formally and verifiably "secure" is by limiting the number and type of machine instructions so that no unexpected or unanticipated code can execute.
oh rcgreen... unless your day job deals with secure operating systems... don't quit it.
Allow me to simplify something for you.
Compartment A contains secret information.
Compartment B allows any application to run.
A has full rights over B. B has no rights over A.
All of A's processes gain A's rights. All of B's processes gain B's rights.
Can a malicious application in B compromise secret data?
Do users in A suffer any undue restraints?
Quote:
Yes I have young Will but apparently the detail that escaped your attention did not escape another young agent by the name of Meastr0.
Meastr0 unwittingly indentified the flaw in seeing each thing as a thing unto itself. The whole of the universe is a system... ignorance masked as myopia does no one any favors.
Quote:
The primary security weakness has always been the human factor.
Thank god for least privilege.
Quote:
Getting slightly philosophical, but machines are designed by humans (imperfect beings). And I think that means any thing we make is going to be imperfect. Its simple set theory... We can't create/make/use anything outside our own capabilities...
Again myopia strikes...
computer's are closed systems and every closed system can be broken as it were. Can be quantified to their atomic components. This quantification is not bounded to supersets... subsets never are. A fine example is spelling... language was created by humans, the written word is a subset of language and "The quick brown fox jumped over the lazy dog." is a subset the written word... Human's may or may not be perfect, language sure the hell isn't perfect, the written word is hardly perfect, yet I spelled that example perfectly.
Quote:
A perfect machine would have to do the laundry, clean the house
I'm gonna give that an amen... but then you get a little creepy, so I'll leave it there. ;)
cheers,
catch