[cap-talk] Concening entry "ambient authority" in Wikipedia

[Mark Miller]

On Wed, Jun 10, 2009 at 10:47 AM, Mark Miller <erights at gmail.com> wrote:
>
>
> 5 is not authority bearing. Possessing a 5 does not allow the holder to
> cause any effects on the world outside itself. The last part of section 10.4
> makes the connection between what capabilities (like 5) may be safely
> undeniable and Popek & Goldberg's earlier work explaining what kinds of
> instructions may safely be user-mode instructions without violating "full
> virtualizability".
>

The Popek & Goldberg term I was thinking of is "cleanly virtualizable", not
"fully".

-- 
Text by me above is hereby placed in the public domain

   Cheers,
   --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/cap-talk/attachments/20090610/cc160dfb/attachment.html