Kevin Reid: add sketchy info on DF and EDF as inspired by current mailing list discussion.

Kevin Reid — Tue, 14 Dec 2010 11:31:01 GMT

add sketchy info on DF and EDF as inspired by current mailing list discussion.

New page

[[DeepFrozen]] is a guard and auditor for the property that a [[reference]] is ''transitively immutable'': the authority granted by that reference does not include any observable side effects.

Most E implementations provide the DeepFrozen guard, but the DeepFrozen auditor has as yet only been implemented in [[E-on-CL]], as it is the only implementation yet providing the [[guard-based auditing]] facility.

{{stub}}

==EventuallyDeepFrozen==

EventuallyDeepFrozen is a variant of the DeepFrozen auditor provided by E-on-CL. Instead of requiring at audit time that the object audited is shown to be immutable, the object is written to be [http://www.erights.org/data/serial/jhu-paper/subgraph-security.html selectively transparent] to the DeepFrozen system. Then when the DeepFrozen guard is applied to the object, it recursively examines the object's internal references (through the transparency), just as it would for an ordinary [[Transparent]] object, to determine if the object is ''now'' DeepFrozen.

[[Category:E specification]]

DeepFrozen - Revision history

Kevin Reid: add sketchy info on DF and EDF as inspired by current mailing list discussion.