[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