[cap-talk] Selling capabilities programming

[Pierre THIERRY]

Scribit Marcus Brinkmann dies 25/07/2007 hora 20:12:
> You could also ask why people are working on formal verification of
> software although they can't prove that it is impossible to enter ring
> 0 from ring 3 on a Pentium 4.

Do you have references on this issue?

> Coincidentially, in this case covert channels are practically
> insignificant on most systems, because there are so many things easier
> to exploit it's not even funny.

Yes, but shouldn't it be a reasonably plausible result of the design of
capability-based systems that they would not provide those easier things
to exploit anymore?

Curiously,
Pierre
-- 
nowhere.man at levallois.eu.org
OpenPGP 0xD9D50D8A
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://www.eros-os.org/pipermail/cap-talk/attachments/20070801/19896beb/attachment.bin