Stephan van Staden
stephanvanstaden at tuks.co.za
Wed May 30 10:59:16 EDT 2007
I have a couple of questions regarding auditors:
Suppose I create a discriminating, not closely held auditor x in Vat A.
Does "not closely held" mean that references to x are made freely
available, such that Vat B can call x <- audit(script)? Will the result
of the audit then be recorded in Vat B such that a guard in Vat B can
use local information? As I have it, x may also cache auditing results
in Vat A, e.g. if it is functional and the script has an empty syntactic
environment. Suppose that an object o in Vat B passed an audit by x. If
a reference to o is then sent to Vat C, will this reference install
information regarding its x audit in Vat C? Can Vat C trust Vat B on the
results of the audit? Suppose now that x is instead PassByCopy and that
Vat B can execute the audit locally. To which extent can Vat B trust
that x is auditing what it claims to audit? In other words, is there an
auditing system for auditors? Perhaps a bit more radical: is
vat-auditing a possiblity?
I'll appreciate any help!
More information about the e-lang