1987 IEEE Symposium on Security and Privacy (1987)
Apr. 27, 1987 to Apr. 29, 1987
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SP.1987.10012
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.
Synchronization, Concurrent computing, Equations, Calculus, Numerical analysis, Process control, Educational institutions
S. N. Foley, "A Universal Theory of Information Flow," 1987 IEEE Symposium on Security and Privacy(SP), Oakland, CA, 1987, pp. 116.