Author:
Sabelfeld Andrei,Sands David
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. M. Abadi, A. Banerjee, N. Heintze, and J. Riecke. A core calculus of dependency. In POPL’ 99, Proceedings of the 26th Annual ACM Symposium on Principles of Programming Languages (January 1999), 1999.
2. M. Abadi and G. Plotkin. A per model of polymorphism and recursive Types. In Logic in Computer Science. IEEE, 1990.
3. G. R. Andrews and R. P. Reitman. An axiomatic approach to information flow in programs. ACM TOPLAS, 2(1):56–75, January 1980.
4. D.E. Bell and L.J. LaPadula. Secure Computer Systems: Unified Exposition and Multics Interpretation. MTR-2997, Rev. 1, The MITRE Corporation, Bedford, Mass., 1976.
5. Dorothy E. Denning and Peter J. Denning. Certification of programs for secure information flow. Communications of the ACM, 20(7):504–513, July 1977.
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献