Affiliation:
1. Karlsruhe Institute of Technology
Abstract
Abstract
JOANA is a tool for software security analysis, checking up to
100 kLOC of full multi-threaded Java. JOANA is based on sophisticated
program analysis techniques and thus very precise. It includes a new
algorithm guaranteeing probabilistic noninterference, named
RLSOD. JOANA needs few annotations and has a nice GUI. The tool is
open source and was applied in several case studies. The article
presents an overview of JOANA and its underlying technology.
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security;Lecture Notes in Computer Science;2024
2. Data-Dependent Confidentiality in DCR Graphs;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Dynamic Access Control in Industry 4.0 Systems;Digital Transformation;2023
4. C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification;MILCOM 2022 - 2022 IEEE Military Communications Conference (MILCOM);2022-11-28
5. Dynamic Policies Revisited;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06