Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis-Reference-Cited by-同舟云学术

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis

Published:2015 Issue: Volume: Page:201-217
ISSN:0302-9743
Container-title:Logic-Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

Mantel Heiko,Müller-Olm Markus,Perner Matthias,Wenner Alexander

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-27436-2_12

Reference20 articles.

1. Andrews, G., Reitman, R.: An axiomatic approach to information flow in programs. ACM Trans. Program. Lang. Syst. 2(1), 56–76 (1980)

2. Arden, O., Chong, S., Liu, J., Myers, A.C., Nystrom, N., Vikram, K., Zdancewic, S., Zhang, D., Zheng, L.: Jif. Software release: http://www.cs.cornell.edu/jif/ (2014)

3. Askarov, A., Chong, S., Mantel, H.: Hybrid monitors for concurrent noninterference. In: 28th IEEE Computer Security Foundations Symposium, pp. 137–151 (2015)

4. Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-insensitive noninterference leaks more than just a bit. In: 13th European Symposium on Research in Computer Security, pp. 333–348 (2008)

5. Lecture Notes in Computer Science;N Broberg,2013

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Compositional noninterference on hardware weak memory models;Science of Computer Programming;2022-05

2. Backwards-directed information flow analysis for concurrent programs;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

3. Verified secure compilation for mixed-sensitivity concurrent programs;Journal of Functional Programming;2021

4. Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms;2020 IEEE 33rd Computer Security Foundations Symposium (CSF);2020-06

5. Low-deterministic security for low-nondeterministic programs1;Journal of Computer Security;2018-04-09