Author:
Waye Lucas,Buiras Pablo,King Dan,Chong Stephen,Russo Alejandro
Publisher
Springer International Publishing
Reference26 articles.
1. Almeida Matos, A., Boudol, G.: On declassification and the non-disclosure policy. In: Proceedingsof the 18th IEEE Computer Security Foundations Workshop, pp. 226–240 (2005)
2. Askarov, A., Myers, A.: A semantic framework for declassification and endorsement. In: Proceedings of the 19th European Symposium on Programming (2010)
3. Biba, K.J.: Integrity considerations for secure computer systems. ESD-TR-76-372 (1977)
4. Birgisson, A., Russo, A., Sabelfeld, A.: Capabilities for information flow. In: Proceedings of the 6th Workshop on Programming Languages and Analysis for Security (2011)
5. Chong, S., Myers, A.C.: Language-based information erasure. In: Proceeding of the 18th IEEE Computer Security Foundations Workshop, pp. 241–254, June 2005
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HasTEE: Programming Trusted Execution Environments with Haskell;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
2. Giving semantics to program-counter labels via secure effects;Proceedings of the ACM on Programming Languages;2021-01-04
3. Nontransitive Security Types for Coarse-grained Information Flow Control;2020 IEEE 33rd Computer Security Foundations Symposium (CSF);2020-06
4. Many-to-many information flow policies;Science of Computer Programming;2018-12
5. A Better Facet of Dynamic Information Flow Control;Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18;2018