Author:
Alur Rajeev,Černý Pavol,Zdancewic Steve
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;M. Abadi,1998
2. Lecture Notes in Computer Science;R. Alur,1998
3. Barthe, G., D’Argenio, P., Rezk, T.: Secure Information Flow by Self-Composition. In: Proc. of CSFW 2004, pp. 100–114 (2004)
4. : A Theorem Proving Approach to Analysis of Secure Information Flow. In: Proc. of SPC 2005, pp. 193–208 (2005)
5. Halpern, J., O’Neill, K.: Secrecy in multiagent systems. In: Proc. of CSFW 2002, pp. 32–46 (2002)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献