[cap-talk] membrane challenge - an Attack! - discussion

Karp, Alan H alan.karp at hp.com
Wed Nov 17 18:02:21 EST 2004

Bill Frantz wrote:
> Some questions to ask are:
> * Is keeping the E language "makeSturdyRef" function inaccessible
> through membranes sufficient to keep the CapTP system from leaking
> time-unlimited authority around a time-limiting membrane?
A good question, but I think we can simplify the discussion by limiting
ourselves to a single vat.  If we can't understand that case, we won't
be able to handle the distributed case.
Alan Karp
Principal Scientist
Virus Safe Computing Initiative
Hewlett-Packard Laboratories
1501 Page Mill Road
Palo Alto, CA 94304
(650) 857-3967, fax (650) 857-7029

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Karp, Alan H.vcf
Type: text/x-vcard
Size: 433 bytes
Desc: Karp, Alan H.vcf
Url : http://www.eros-os.org/pipermail/cap-talk/attachments/20041117/c7a409b2/KarpAlanH-0001.vcf

More information about the cap-talk mailing list