[cap-talk] A problem in EQ-free grant matcher?

[Dean Tribble]

I'm heads-down on a deadline at the moment, but will surface later this
week.  The basic approach is to recursively apply the sealer/unsealer
techniques to the establishment of synergy in the sealers. That may be
roughly equivalent to "some sort of synergy between the GrantMatcher and
every possible charity", though....

On Feb 18, 2008 4:11 AM, Toby Murray <toby.murray at comlab.ox.ac.uk> wrote:

> Very cool.
>
> I modelled this same example in CSP to see whether I could detect this
> attack. I could, but I also found a simpler one, which is described at
> the end of this message.
>
> The upshot of both attacks is that in order to do Grant Matching without
> EQ, we need some sort of synergy between the GrantMatcher and every
> possible charity so that every possible charity can distinguish when it
> has been passed an unsealer from GrantMatcher or not. Without this, both
> attacks seem possible.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.eros-os.org/pipermail/cap-talk/attachments/20080218/5e7a49d2/attachment.html