From: marcs <>
Replying To: Bill Frantz <>
Date: Sat, 7 Dec 2002 14:15:31 -0700
Subject: Re: [e-lang] "Capability Myths Demolished" (was: Software security workshop)

> program's correctness.  You do have to consider the program's correctness
> when you need to use object capabilities* in your proof.  Consider proving
> that a program does not perform actions that fall into the confused deputy
> category.
> * Thanks Dean, for this terminology.
> Cheers - Bill

Looks like this is another vote in favor of "object capability".  

e-lang mailing list