[cap-talk] Wall banging (was: Bellizzomi - Capabilities and Shapiro's focus, Coyotos, etc.)

Toby Murray toby.murray at comlab.ox.ac.uk
Wed Nov 29 11:58:04 CST 2006


On Wed, 2006-11-29 at 10:31 -0600, Karp, Alan H wrote:
> While you can't prevent wall banging, you can prevent wall listening by
> removing all forms of indeterminacy, such as access to the system clock.
> Any process that is deterministically replayable meets this criterion.

Are there generally accepted definitions for "indeterminacy" and
"deterministically replayable"? If so, how do these definitions relate
to non-interference? At first glance, it would seem that they are
intrinsically linked to me.



More information about the cap-talk mailing list