论文信息 - A Universal Theory of Information Flow

A Universal Theory of Information Flow

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.

Simon N. Foley | S. Foley

[1] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.

[2] Lawrence Robinson,et al. Proving multilevel security of a system design , 1977, SOSP '77.

[3] Lishing Liu. On Security Flow Analysis in Computer Systems (Preliminary Report) , 1980, 1980 IEEE Symposium on Security and Privacy.

[4] Gregory R. Andrews,et al. An Axiomatic Approach to Information Flow in Programs , 1980, TOPL.

[5] Viktor Mikhaĭlovich Glushkov,et al. An Introduction to Cybernetics , 1957, The Mathematical Gazette.