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

[Mark Miller]

On Fri, May 30, 2008 at 8:53 AM, Toby Murray
<toby.murray at comlab.ox.ac.uk> wrote:
> I'd be curious to know how this lines up with others'?


It's all quite good, and matches my memory. However, we often forget
to mention an earlier formal model that got most of this right for the
right reasons, back in 1977:

http://www.erights.org/history/actors.html#locality-laws
(To be understood in the context of the overall Actors formalism.)

On the evolution of my own thinking, this was the first significant
influence. I came across it well before I met Norm and Shap or learned
about the world of formal access control models.

-- 
Text by me above is hereby placed in the public domain

 Cheers,
 --MarkM