Private symbols vs property attributes

[Tom Van Cutsem]

2013/2/13 David Bruant <bruant.d at gmail.com>

>  The trap in itself no, but it's possible to keep track of all exchanged
> symbols and add them to the whitelists as they are observed before being
> shared. It all relies on the fact that for 2 parties to exchange symbols,
> they have to share it through a "public" communication first (get trap,
> etc.).
>
At some point, I thought it had a runtime cost, but Tom proved me wrong [1].
> It seems realistic to consider that all proxies of the same membrane can
> all share the same set instance as a whitelist making the space cost as
> small as it could be.
>

This doesn't solve Mark's use case: he wants to be able to share symbols
freely among trust boundaries without those symbols necessarily flowing
through a membrane.
At that point, there's no way for the proxy to intercept the symbol and add
it to its whitelist, and transparency is broken.

As I said before, I think Andreas' proposal is agnostic to the interaction
between proxies and symbols.

Cheers,
Tom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20130214/a64051d0/attachment-0001.html>