Before revision:  In this work, we provide a new information-theoretic definition for information flow in a computational system, which we motivate using a series of examples. We then show that this definition satisfies intuitively desirable properties, including the existence of "information paths", along which information flows from the input of the computational system to its output .
After revision:  In this work, we provide a new information-theoretic definition for information flow that is based on conditional mutual information, and which satisfies desirable properties, including the existence of "information paths", along which information flows from the input of the computational system to its output .