[cap-talk] Re: Question on web calculus
lefevrol at yahoo.com
Tue Feb 7 14:08:06 EST 2006
> When developing a capability-based application, the developer is
> constantly doing exactly this sort of analysis.
Yes but it is a stretch to label that a "theoretical analysis". And I
can guarantee you that most developers don't use the LC to reason about
their programs ;-) Maybe they should but that is another story.
> I built the Waterken Server toolkit to support developing
> capability-based applications. I have built some fairly large,
> security sensitive applications with it. [I showed] code
> fragments to the audience that proved the software implemented
> these guarantees.
Still not a _theoretical_ analysis.
> DARPA Browser + Joe-E
These are clearly capability-based efforts but AFAIK not related to
More information about the cap-talk