From: marcs <marcs@skyhunter.com>
Replying To: Bill Frantz <frantz@pwpconsult.com>
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".  
:-)

--marcs
_______________________________________________
e-lang mailing list
e-lang@mail.eros-os.org
http://www.eros-os.org/mailman/listinfo/e-lang