[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
https://ecardfile.com/id/Alan_Karp
http://www.hpl.hp.com/personal/Alan_Karp


-------------- 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