[cap-talk] Announcing "Analysing Object-Capability Security" Paper and Authodox v. 0.2.0

[Jonathan S. Shapiro]

On Fri, 2008-05-30 at 15:35 +0100, Toby Murray wrote:
> The OCap model differs significantly from the earlier work cited in that
> it is an informal model....

I wasn't trying to take away from the OCap model, and I apologize for
not citing your work and Fred's. I should have. I also agree that an
informal model is a tremendously useful thing to have.

All I was trying to say is that the OCap model -- and your work, and
Fred's, and mine, and Larry's, sits in an extended context of formal and
semi-formal models, and to some extent can be seen as an outgrowth of
the work that preceded it.

shap