Title :
A Universal Theory of Information Flow
Abstract :
A new theory of information flow is presented. This theory is used to determine the information flows between the users of a system. Information flows when variety in the actions of a source user can be conveyed to a destination user. This theory is developed around Hoare´a calculus for communicating sequential processes. Information flows due to concurrency, non-determinism and input/output can be examined within the framework of this calculus.
Keywords :
Calculus; Concurrent computing; Educational institutions; Equations; Numerical analysis; Process control; Synchronization;
Conference_Titel :
Security and Privacy, 1987 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0771-8
DOI :
10.1109/SP.1987.10012
