Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Almeida Matos, A., Boudol, G.: On declassification and the non-disclosure policy. To appear in the proceedings of the 18th IEEE Computer Security Foundations Workshop (2005)
2. Boudol, G., Castellani, I.: Non-interference for concurrent programs and thread systems. Theoretical Comput. Sci. 281(1), 109–130 (2002)
3. Cohen, E.: Information transmission in computational systems. In: 6th ACM Symp. on Operating Systems Principles, pp. 133–139 (1977)
4. Crary, K., Kliger, A., Pfenning, F.: A monadic analysis of information flow security with mutable state. J. of Functional Programming 15(2), 249–291 (2005)
5. Denning, D.E.: A lattice model of secure information flow. CACM 19(5), 236–243 (1976)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Information Flow Security Certification for SPARK Programs;Data and Applications Security and Privacy XXXIV;2020
2. Formalizing Probabilistic Noninterference;Certified Programs and Proofs;2013
3. Proving Concurrent Noninterference;Certified Programs and Proofs;2012
4. End-to-end Multilevel Hybrid Information Flow Control;Programming Languages and Systems;2012
5. Non-disclosure for distributed mobile code;Mathematical Structures in Computer Science;2011-10-27