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
128 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Decision and Complexity of Dolev-Yao Hyperproperties;Proceedings of the ACM on Programming Languages;2024-01-05
2. Deciding Asynchronous Hyperproperties for Recursive Programs;Proceedings of the ACM on Programming Languages;2024-01-05
3. Sound Abstract Nonexploitability Analysis;Lecture Notes in Computer Science;2023-12-30
4. Handling of Past and Future with Phenesthe+;Electronic Proceedings in Theoretical Computer Science;2023-09-30
5. Model Checking Time Window Temporal Logic for Hyperproperties;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21