Author:
Popescu Andrei,Hölzl Johannes,Nipkow Tobias
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Agat, J.: Transforming out timing leaks. In: POPL, pp. 40–53 (2000)
2. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: IEEE Computer Security Foundations Workshop, pp. 100–114 (2004)
3. Barthe, G., Nieto, L.P.: Formally verifying information flow type systems for concurrent and thread systems. In: FMSE, pp. 13–22 (2004)
4. Lecture Notes in Computer Science;G. Boudol,2005
5. Lecture Notes in Computer Science;G. Boudol,2001
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献