Re: "Mike Laskin": EROS Problems we discovered Mark S. Miller (markm@caplet.com)
Tue, 27 Apr 1999 12:41:23 -0700

At 11:43 AM 4/27/99 , Bill Frantz wrote:
>I am interested in different solutions to the secure restart problem.

How about state bundles?
http://www.erights.org/to-be-sorted/StateSerialization.html

Apologies to the list: The E-level concepts are in terms of Original-E, and should be understandable as translated into the current E. OTOH, the Unum-level concepts require background that has never been publicly explained. Perhaps it will suffice to think of an Unum as a designed aggregate of mutually trusting objects -- a granule of mutual suspicion.

(Arturo, the discussion in progress is archived at http://eros.cis.upenn.edu/%7Emajordomo/eros-arch/index.html )