[cap-talk] Re: Question on web calculus
Karp, Alan H
alan.karp at hp.com
Mon Feb 6 20:39:35 EST 2006
> When you say "it is possible to do a theoretical analysis" any
> listener worth their salt should ask something along the lines of,
> "What sorts of analyses have been done? What did they show?
> Do you provide tools for doing such analyses? Are there approved
> auditing procedures that utilize the output of these tools/analyses?"
I'll let Tyler answer those questions. However, the only challenges
I've received are along the lines of "What do you mean by theoretical
analysis?" My response is "a graph traversal to find all nodes
reachable from a particular node." Given the audience and forum, the
discussion has never gone deeper.
Virus Safe Computing Initiative
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
Size: 423 bytes
Desc: Karp, Alan H.vcf
Url : http://eros.cs.jhu.edu/pipermail/cap-talk/attachments/20060206/9c8b2087/KarpAlanH.vcf
More information about the cap-talk