**Due**: May 19, 2017**Points**: 30

- (
*30 points*) Revisit the example for`x := y + z`in Section 17.1.1. Assume that*x*does not exist in state*s*. Confirm that information flows from*y*and*z*to*x*by computing*H*(*y*|_{s}*x*),_{t}*H*(*y*),_{s}*H*(*z*|_{s}*x*), and_{t}*H*(*z*) and showing that_{s}*H*(*y*|_{s}*x*) <_{t}*H*(*y*) and_{s}*H*(*z*|_{s}*x*) <_{t}*H*(*z*)._{s}

You can also obtain a PDF version of this. | Version of May 5, 2017 at 12:45AM |