[cap-talk] Is "Authority" Subjective?

[Pierre THIERRY]

Scribit Toby Murray dies 22/06/2007 hora 16:12:
> I don't understand. Alice and Bob both have permission to invoke
> Carol.  She can't refuse invocations from either of them. This is
> represented by the possibility of both aliceInvokesCarol and
> bobInvokesCarol initially.  If Alice invokes Carol first, (ie.
> aliceInvokesCarol occurs), then Bob has to wait until the invocation
> finishes (ie. until carolRespondsToAlice occurs) until he can invoke
> Carol himself by performing bobInvokesCarol.

I'm not sure that this CSP models effectively any used ocaps system. It
seems to me that most of them, if not all, are concurrent. That is,
while Alice waits for Carol's response, Bob can still send Carol a
request.

> What I'm after is that if Alice can /ever/ cause Carol to be invoked,
> then we consider that Alice has authority to invoke Carol.

That seems the way authority is described here so far. It's pretty
conservative but you better be exagerating the authority of some
subjects than underestimating it.

Conservatively,
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/20070622/1cff360c/attachment.bin