[cap-talk] Forgeable capabilities

[David Wagner]

Toby Murray writes:
>Notwithstanding, I believe that the level of accuracy of the CSP model
>is probably about what Pierre had in  mind with his original question.
>(Although Pierre, please correct me if I'm wrong.)

Ahh, I see!  Thanks.  If that's the level of accuracy Pierre had in mind,
he might also be interested in looking at Jif and other work on reasoning
about information flow using programming language mechanisms -- it might
complement Toby's work nicely and give you a view into some of the work
that has been going on in the academic research community.  Jif has the
nice feature that it is an extension to Java and thus the learning curve
is not too terribly steep.