[cap-talk] Wikipedia: Object-capability model - confused deputy?

[Darius Bacon]

"Mark S. Miller" <markm at cs.jhu.edu> wrote:
> > After all, in E there are no "c-list indexes".
> 
> My big epiphany happened when I heard or read Jonathan Rees say "C-list 
> indexes serve the same role in capability operating systems as do names in the 
> lambda calculus."[1]

> [1] Both Rees and I remember this from his writing, but neither of us can find 
> it. Googling only turns up email where I attribute this phrase to him. If you 
> know where this comes from, please post it. Thanks.

I think you mean section 2.4 of
http://mumble.net/~jar/pubs/secureos/secureos.html
"Just as a domain maps a name (address or descriptor number) to an
accessible object (memory segment or descriptor), an environment in W7
maps a name (identifier) to its denotation (value or object)."

(I haven't seen anyone answer this, but I haven't been following much
of the discussion.)

Darius