On Improvements of Low-Deterministic Security-Reference-Cited by-同舟云学术

On Improvements of Low-Deterministic Security

Published:2016 Issue: Volume: Page:68-88
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Breitner Joachim,Graf Jürgen,Hecker Martin,Mohr Martin,Snelting Gregor

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-49635-0_4

Reference24 articles.

1. Lecture Notes in Computer Science;A Askarov,2008

2. De Sutter, B., Van Put, L., De Bosschere, K.: A practical interprocedural dominance algorithm. ACM Trans. Program. Lang. Syst. 29(4), 19 (2007)

3. Lecture Notes in Computer Science;TM Gawlitza,2011

4. Giffhorn, D.: Slicing of concurrent programs and its application to information flow control. Ph.D. thesis, Karlsruher Institut für Technologie, Fakultät für Informatik, May 2012

5. Giffhorn, D., Snelting, G.: A new algorithm for low-deterministic security. Int. J. Inf. Secur. 14(3), 263–287 (2015)

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

1. On Time-sensitive Control Dependencies;ACM Transactions on Programming Languages and Systems;2022-03-31

2. Hybrid taint analysis for Java EE;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29

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

4. Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler;Journal of Automated Reasoning;2018-02-08

5. Compositional Non-interference for Concurrent Programs via Separation and Framing;Lecture Notes in Computer Science;2018