DocumentCode
2562851
Title
A Universal Theory of Information Flow
Author
Foley, Simon N.
fYear
1987
fDate
27-29 April 1987
Firstpage
116
Lastpage
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.
Keywords
Calculus; Concurrent computing; Educational institutions; Equations; Numerical analysis; Process control; Synchronization;
fLanguage
English
Publisher
ieee
Conference_Titel
Security and Privacy, 1987 IEEE Symposium on
Conference_Location
Oakland, CA, USA
ISSN
1540-7993
Print_ISBN
0-8186-0771-8
Type
conf
DOI
10.1109/SP.1987.10012
Filename
6234882
Link To Document