Auditor

From Erights

(Difference between revisions)
Jump to: navigation, search
(geCZTwdijzPHXbQkue)
m (Reverted edits by 209.212.77.225 (Talk); changed back to last version by Kevin Reid)
 
(One intermediate revision not shown)
Line 1: Line 1:
-
Very true! Makes a change to see soomene spell it out like that. :)
+
{{XXX|write general explanation}}
 +
 
 +
==Protocol==
 +
 
 +
{{instance msgdoc|audit|1|<var>audition</var> :[[Audition]]|[[boolean]]}}
 +
 
 +
{{unspecified message}}
 +
 
 +
CAUTION: If the auditor uses the [[Audition#ask/1]] method to apply [[stamp]]s, then the auditor '''must''' check that the audition is a genuine system-created Audition or it will be vulnerable to fake auditions which supply the wrong object-examination answers but forward ask/1, or simply steal the stamps and misapply them itself.
 +
 
 +
Note that under [[guard-based auditing]], the ''as''-auditor of an object is stored in the binding as if the object passed the auditor as a guard; therefore, objects which implement this Auditor protocol as well as the [[Guard]] protocol should make them consistent with each other.
 +
 
 +
[[Category:ELib specification]]

Latest revision as of 05:19, 21 April 2011

XXX write general explanation

Protocol

audit/1

Signature: audit(audition :Audition) :boolean

The specification for this message has not been written.

CAUTION: If the auditor uses the Audition#ask/1 method to apply stamps, then the auditor must check that the audition is a genuine system-created Audition or it will be vulnerable to fake auditions which supply the wrong object-examination answers but forward ask/1, or simply steal the stamps and misapply them itself.

Note that under guard-based auditing, the as-auditor of an object is stored in the binding as if the object passed the auditor as a guard; therefore, objects which implement this Auditor protocol as well as the Guard protocol should make them consistent with each other.

Personal tools
more tools