Author:
Clarkson Michael R.,Finkbeiner Bernd,Koleini Masoud,Micinski Kristopher K.,Rabe Markus N.,Sánchez César
Publisher
Springer Berlin Heidelberg
Reference61 articles.
1. Lecture Notes in Computer Science;R. Alur,2007
2. Lecture Notes in Computer Science;R. Alur,2006
3. Andersen, H.R.: A polyadic modal mu-calculus. Technical Report 1994-145, Technical University of Denmark, DTU (1994)
4. Balliu, M., Dam, M., Guernic, G.L.: Epistemic temporal logic for information flow security. In: Proc. Workshop on Programming Languages and Analysis for Security (June 2011)
5. Banerjee, A., Naumann, D.A.: Stack-based access control and secure information flow. Journal of Functional Programming 15(2), 131–177 (2005)
Cited by
142 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献