Work

xDECAF: An Extensible Data Flow Diagram Analysis Framework for Information Security

Year: 2026

Type: conference-paper

Abstract: xDECAF is an extensible tool for architecture-based data flow analysis with a focus on information security. It combines an extended data flow diagram metamodel of labeled flows and nodes, a domain-specific constraint language with different flow operations, and a browser-based editor backed by an analysis engine. In this paper, we present the xDECAF tool library and a curated catalog of over 20 example models with documented constraints and expected violations, intended as a reusable dataset for the community. The tool has already been adopted by several research lines, providing concrete evidence of its utility.

Source: IEEE/ACM International Conference on Automated Software Engineering (ASE)

DOI: 10.1145/3832783.3834604

Authors: Benjamin Arp, Felix Schwickerath, Alexander Vogt, Tom Hüller, Nils Niehues, Nicolas Boltz

Institution: Karlsruhe Institute of Technology

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: Deutsche Forschungsgemeinschaft, Helmholtz Association

Award: SFB 1608: Konsistenz in der sichtenbasierten Entwicklung CyberPhysikalischer Systeme