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

[Neal H. Walfield]

At Fri, 30 May 2008 12:23:22 -0400,
Jonathan S. Shapiro wrote:
> 
> 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.

The 1974 HYDRA paper from Wulf et al. cites it as:

  Jones, A.K. Protection in programming systems.  Ph.D. Th.
  Carnegie-Mellon U., 1973.

I've never found a copy, however.

Neal