[Harmony Proxies] Proposal: Property fixing

Mark S. Miller erights at google.com
Thu May 12 19:19:15 PDT 2011

On Thu, May 12, 2011 at 7:18 PM, Mark S. Miller <erights at google.com> wrote:

> On Thu, May 12, 2011 at 6:48 PM, Allen Wirfs-Brock <allen at wirfs-brock.com>wrote:
>> [...]

> You can presumably still do that cache based upon the implied invariant. A
>> failure to respect the invariant within the proxy is a bug that you might
>> want to have a test case for but probably shouldn't cause you to change your
>> design.   Just like most of the other  object invariants that proxies don't
>> guarantee but your program probably depends upon.
> This is equivalent to saying that attacks can choose to be nice to
> defenders. If attackers aren't nice, then their code is buggy, so problem
> solved.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20110512/653c7979/attachment.html>

More information about the es-discuss mailing list