Author:
van der Meyden Ron,Zhang Chenyi
Subject
General Computer Science,Theoretical Computer Science
Reference47 articles.
1. J. Agat, Transforming out timing leaks, in: Proc. ACM Symp. on Principles of Programming Languages, 2000, pp. 40–53.
2. Typing noninterference for reactive programs;Almeida Matos;Journal of Logic and Algebraic Programming,2007
3. G. Barthe, L.P. Nieto, Formally verifying information flow type systems for concurrent and thread systems, in: Proc. ACM Workshop on Formal Methods in Security Engineering, 2004, pp. 13–22.
4. Structural non-interference in elementary and trace nets;Busi;Mathematical Structures in Computer Science,2009
5. W.R. Bevier, W.D. Young, A state-based approach to noninterference, in: Proc. IEEE Computer Security Foundation Workshop, 1994, pp. 11–21.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献