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

[Jonathan S. Shapiro]

On Fri, 2008-05-30 at 17:11 +0100, Toby Murray wrote:
> Shame I sent it without remembering to include the references...
> 
> [1] R. J. Lipton and L. Snyder, A Linear Time Algorithm for Deciding
> Subject Security, Journal of the ACM, volume 24, number 3, 1977.

As a side note, Anita Jones was the advisor for these two, and one early
paper on this work has Jones, Lipton, Snyder as the author set.

Anita's dissertation should go on the list as well. I can't find a
citation at the moment, but her development of the concept of
"memoryless procedures" is noteworthy in this context.


shap