On 6/6/2011 11:05, Darren New wrote:
> I'm pretty sure, for example, that there's no formal mathematical
> proof that keeps Linux, for example, from letting a process access memory
> belonging to another process.

For that matter, there's very few systems out there that require all your 
code to be digitally signed and which checks it every time you fire it up, 
other than game consoles and phones for copy-protection purposes.

-- 
Darren New, San Diego CA, USA (PST)
   "Coding without comments is like
    driving without turn signals."

Post a reply to this message