[cap-talk] Wikipedia: Object-capability model - reference vs. capability?

[Mark S. Miller]

Charles Landau wrote:
> By "distinguished by their identity", do you mean keys that can be 
> distinguished by EQ but not by any other means? I don't think there 
> are any such keys in KeyKOS.
> 
> Since you've used that distinction in KeyKOS, can you give examples?

Two start keys served by the same domain, but with different facet-ids, where 
the serving domain ignores this difference.

If there's interest, I believe I can generate other examples along these lines.

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

     Cheers,
     --MarkM