http://50.77.162.165/mediawiki/index.php?action=history&feed=atom&title=DeepFrozen 2026-05-05T10:20:56Z Revision history for this page on the wiki MediaWiki 1.15.5-7 http://50.77.162.165/mediawiki/index.php?title=DeepFrozen&diff=2119&oldid=prev 2010-12-14T11:31:01Z

<p>add sketchy info on DF and EDF as inspired by current mailing list discussion.</p> <p><b>New page</b></p><div>[[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.<br /> <br /> 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.<br /> <br /> {{stub}}<br /> <br /> ==EventuallyDeepFrozen==<br /> <br /> 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.<br /> <br /> [[Category:E specification]]</div>

Kevin Reid