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

Marcus Brinkmann marcus.brinkmann at ruhr-uni-bochum.de
Wed Jun 10 10:29:26 EDT 2009


Sandro Magi wrote:
> Marcus Brinkmann wrote:
>> I don't see how that follows.  In my mind, these undeniable capabilities are
>> received by creation. 
> 
> Yes, but not *explicitly* received, they are *implicitly* received, and
> thus cannot be denied or exchanged for arbitrary objects that you may
> want to confine. This would preclude it from being an ocap system.

You can assume that I understood by now that this is what you want "ocap"
system to mean.  Unfortunately, I can neither see this from the formal
definition, nor can I imagine a real world system where the properties you
desire exist, as I explained.

Is there a real world ocap system which allows to (at least at startup) deny
or exchange the integer number "5"?

Thanks,
Marcus



More information about the cap-talk mailing list