The Community for Technology Leaders
1987 IEEE Symposium on Security and Privacy (1987)
Oakland, CA
Apr. 27, 1987 to Apr. 29, 1987
ISSN: 1540-7993
ISBN: 0-8186-0771-8
pp: 116
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.
INDEX TERMS
Synchronization, Concurrent computing, Equations, Calculus, Numerical analysis, Process control, Educational institutions
CITATION

S. N. Foley, "A Universal Theory of Information Flow," 1987 IEEE Symposium on Security and Privacy(SP), Oakland, CA, 1987, pp. 116.
doi:10.1109/SP.1987.10012
95 ms
(Ver 3.3 (11022016))