Re: "Perfect" or "Provable" security both crypto and non-crypto?

From: Paul Rubin (//phr.cx_at_NOSPAM.invalid)
Date: 09/14/04


Date: 13 Sep 2004 17:07:37 -0700


"Douglas A. Gwyn" <DAGwyn@null.net> writes:
> for (i = 0; i < n; ++i) {
> /* code that doesn't modify i */
> something(a[i]);
> /* code that doesn't modify i */
> } /*assert: ...*/
> clearly performs that "something" exactly once on
> each element of a[0..(n-1)],

How do you know that? Maybe the loop modifies a, so that a[3] is at a
different address depending on which iteration of the loop is running.