4 ms·
From the article: "Its unique feature is that it has been mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, p
by allwein 16y ago
From the article:
"Its unique feature is that it has been mathematically proven to operate correctly, enabling it to separate trusted from untrusted software, protecting critical services from a failure or a malicious attack, say the scientists"
He may have been basing his reply on this paragraph. If the OS could successfully answer whether any arbitrary program was trusted or untrusted, that this is equivalent to solving the halting problem.
- shasta 16y agoI don't think you're reading that quote right. "Trusted" doesn't mean "trustworthy". What the implementors were probably trying to explain to this poor technical writer is that they have proven that their kernel correctly implements the isolation policies they have formally specified - enabling it to separate (isolate) trusted (kernel level) from untrusted (user level) software.