Re: Pony talks about Deny Capabilities

my takeaway from scanning this was that race-free message passing
could be securely implemented with immutables by creating the
immutable and then passing to the recipient a read-cap that verifies
that it is being executed by the recipient. This presumes an identity
schema of some kind, between processes on one machine PID would be
adequate; in a cloud environment something slightly more complicated
but equally basic. Identifying all actors by public key and messaging
to one in particular by general publication of encrypted messages (and
somehow alerting the recipient of the publication) would work but
could be overkill.


On Mon, May 4, 2015 at 10:31 AM, Raoul Duke <[email protected]> wrote:
> http://ponylang.org/papers/fast-cheap.pdf
> _______________________________________________
> cap-talk mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/cap-talk



-- 
Case law is made by litigants questioning Judges' decisions.