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

[Mark Miller]

On Fri, May 30, 2008 at 10:35 AM, Charles Landau <clandau at macslab.com> wrote:
> So is KeyKOS a non-model that contributed to later models?


As I've been using terminology in this discussion, yes. Obviously,
these boundaries are fuzzy. If someone wanted to call, for example,
the KeyKOS as documented in the OSR paper, a "model", I would have no
objection.


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

 Cheers,
 --MarkM