A Universal Theory of Information Flow
暂无分享,去创建一个
[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.