[cap-talk] Partial authority (was Re: Analyzing Authority with CSP - link broken (was: Backwater: some small progress))

[Pierre THIERRY]

Scribit Toby Murray dies 29/04/2007 hora 14:07:
> ie. if we remove all of o's events from s (to produce some sequence
> s') and if e can't follow s', then we conclude that o causes this
> occurrence of e and hence, that o has the authority to cause e to
> occur.

How would you characterize the following: Carol creates a wrapper object
that holds a send capability to Ted, and has two methods, shakeLeftHand
and shakeRightHand. Only if both methods are called is Ted sent a fixed
message. If Carol gives Alice a capability to a facet of the wrapper
with only the shakeLeftHand method and Bob one with only shakeRightHand,
has Alice or Bob authority to send the message to Ted?

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/20070507/e2d8bdf2/attachment.bin